Buobe
    Breaking GHC and the monad laws | Buobe