3 ms·
>The point is that Monad, Applicative and Functor are well defined interfaces with laws (properties) you can count on. except you can't because you can have un
by mlevental 7y ago
>The point is that Monad, Applicative and Functor are well defined interfaces with laws (properties) you can count on.
except you can't because you can have unlawful implementations.