@hackage / test-monad-laws

Laws for mtl classes as QuickCheck properties.