3 ms·
Saying that a concrete type like Int is the identity monad is incorrect. Monads must have kind * -> *.
by hcase 13y ago
Saying that a concrete type like Int is the identity monad is incorrect. Monads must have kind * -> *.
loading thread…
3 ms·