- made LneM a newtype instead of a type synonym
 - use do, return and standard monad functions
 - removed custom versions of monad functions