Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- record Monad (M : Set → Set) : Set1 where
- field return : {A : Set} → A → M A
- _>>=_ : {A B : Set} → M A → (A → M B) → M B
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
