Clément Delafargue divarvel

The Learning Haskell guide has been moved to a git repo to enable outside contribution



	data Dependency : String -> Type -> Type
	where MkDep : (name: String) -> a -> Dependency name a

	DepWrapper : Type -> Type
	DepWrapper t = (String ** Dependency _ t)


	dep1 : Dependency "toto" Int

	sealed abstract trait Tree
	case class Leaf(a: String) extends Tree
	case class Node(l: Tree, r: Tree) extends Tree

	implicit val treeR: Reads[Tree] =
	__.read[Leaf].map(x => x:Tree) orElse
	(
	(__ \ "l").lazyRead(treeR) and (__ \ "r").lazyRead(treeR)
	)(Node.apply _).map(x => x:Tree)