Data.Syntactic.Sugar.MonadT