Guest User

Untitled

a guest
Jan 17th, 2018
84
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.16 KB | None | 0 0
  1. data M a = M a deriving (Show)
  2. unitM a = M a
  3. bindM (M a) f = f a
  4.  
  5. joinM :: M (M a) -> M a
  6. joinM m = m `bindM` id
  7.  
  8. joinM' :: M a -> a
  9. joinM' m = m `bindM` id
Add Comment
Please, Sign In to add comment