Commit b5b9d5e8 authored by simonpj's avatar simonpj
Browse files

Stop rebindable9 relying on Control.Monad.Identity

parent 7d3ceb38
......@@ -5,7 +5,12 @@
module Foo where
import qualified Prelude
import Prelude hiding (Monad(..))
import Control.Monad.Identity (Identity(..))
newtype Identity a = Identity { runIdentity :: a }
instance Prelude.Monad Identity where
return a = Identity a
m >>= k = k (runIdentity m)
class Bind m1 m2 m3 | m1 m2 -> m3 where
(>>=) :: m1 a -> (a -> m2 b) -> m3 b
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment