4 ms·
Psuedocode then. Given a type `m` and a type `a` a monad provides functions with types: bind : m a → (a → m b) → m b wrap : a → m a
by dons 12y ago
Psuedocode then.
Given a type `m` and a type `a` a monad provides functions with types:
bind : m a → (a → m b) → m b
wrap : a → m a