search

ekmett / free

free monads
http://hackage.haskell.org/package/free
Other
159 stars 65 forks source link

Nu-based distributive cofree #207

Open ekmett opened 3 years ago

ekmett commented 3 years ago 
data Cofree g a where                                   
  Cofree :: Distributive f => f a -> g (Endo f) -> Log f -> Cofree g a