search

ekmett / comonad

Haskell 98 comonads
http://hackage.haskell.org/package/comonad
Other
77 stars 32 forks source link

Add `Comonad` instances for `Tagged s` with `s` of any kind #43

Closed vlopezj closed 6 years ago

vlopezj commented 6 years ago

Before the change, s had to be of kind *.

The new instances are obtained by enabling the PolyKinds extension in the Control.Comonad module.