Language.Syntactic.Sugar.MonadTyped