Discussion:
Lost MonadFix instances
(too old to reply)
박신환
2018-08-09 02:33:14 UTC
Permalink
instance MonadFix Down where
mfix f = Down (fix (\x -> let
Down x' = f x
in x'
))

instance MonadFix Proxy where
mfix _ = Proxy

instance MonadFix U1 where
mfix _ = U1

instance MonadFix Complex where
mfix f = fix (realPart . f) :+ fix (imagPart . f)

Loading...