replace Maybe.apply with Just.apply. add MaybeMonadLawsSpec