2 ms·

At this very moment I am checking the applicative and monad laws for the state applicative / monad discussed in Hutton's book. Wish me luck ...