first version of LisstMonadLawsSpec