4 ms·
Silly and wonderful there is always data Fake a = Fake which is trivially a monad instance Monad Fake where return _ = Fake Fake >>= f =
by tel 11y ago
Silly and wonderful there is always
data Fake a = Fake
which is trivially a monad
instance Monad Fake where
return _ = Fake
Fake >>= f = Fake
yet it clearly contains nothing.