Test.SmallCheck.Laws.Monad