returnNat :: a -> NatM a
returnNat result
        = NatM $ \st ->  (result, st)
returnNat :: a -> NatM a
returnNat result
        = NatM $ \st ->  (result, st)
returnNat result
        = NatM $ \st ->  (result, st)