3 ms·
type Burrito is a monad, because the functions >>= and returnBurrito are defined. Any type for which those two functions are defined is a monad.
by burkaman 2y ago
type Burrito is a monad, because the functions >>= and returnBurrito are defined. Any type for which those two functions are defined is a monad.