{-#语言CPP#-}
{-#LANGUAGE无法确定实例#-}

#如果__GLASGOW_HASKELL__<708
#定义TYPEABLE类型1
#其他
#定义TYPEABLE类型
#结束语

--基于“Typed”和
--'绑定T'

模块 语言.句法.糖.单色打印 哪里



进口 控制.莫纳德.Cont（续）
进口 数据.可输入

进口 语言.句法
进口 语言.句法.功能
进口 语言.句法.糖.绑定类型d ()



--|一元行为的一层糖霜
苏加莫纳德
    :: ( sym（对称） ~ 键入 秒
       , 绑定T :<: 秒
       , 蒙纳德 米  :<: 秒
       , 可打字 米
       , 可输入 一
       )
    => ASTF公司 sym（对称） (米 一) -> 雷蒙 sym（对称） 米 (ASTF公司 sym（对称） 一)
苏加莫纳德 妈妈 = 雷蒙 $ 续 $ sugar符号类型 绑定 妈妈

实例
    ( sym（对称） ~ 键入 秒
    , 句法 一, 域 一 ~ sym（对称）
    , 绑定T ：<： 秒
    , 蒙纳德 米  :<: 秒
    , 可打字 米
    , 可输入 (内部 一)
    ) =>
      句法 (雷蒙 sym（对称） 米 一)
  哪里
    类型 域 (雷蒙 sym（对称） 米 一)   = 符号
    类型 内部 (雷蒙 sym（对称） 米 一) = 米 (内部 一)
    去糖 = desugarMonad类型 . 功能性维修计划 去糖
    糖   = 功能性维修计划 糖   . 苏加莫纳德