monad-control icon indicating copy to clipboard operation
monad-control copied to clipboard
verified publisher icon basvandijk

Functor StT and StM

Open phadej opened this issue 4 years ago • 0 comments

And idea from #39, cc @duog

Unfortuntely, forall x y. Coercible x y => Coercible (f x) (f y) isn't a superclass of Functor (yet?!), so we have some explicit fmap coerces.

phadej avatar Jun 24 '21 10:06 phadej