Data.Syntactic.Sugar.Monad