Test your Monads. Are they law-abiding? - View it on GitHub