monad laws for MonadFix.