强类型绑定
是一个用于操作包含变量的术语的库。 使用该库编写的术语保证范围很广。 我很高兴地在描述一个强类型版本片段，这意味着术语也保证了很好的类型的。
包含了一切：类型家族、数据种类、更高级别的 monad 转换器、对unsafePerformIO和unsafeCoerce优雅使用，甚至是对 comonad 的无偿使用。 它只有 255 行代码，是展示这些更高级 Haskell 功能用途的一种紧凑方式，但阅读起来也有点令人生畏。
为了让强类型绑定的思想更容易理解，我写了一个不太通用的版本，使用较少的技巧，并有更多的评论。
动机
如果我被要求表示简单类型的 lambda 演算，我的第一次尝试可能看起来像这样。
data Exp a where
Unit :: Exp ()
App :: Exp ( a -> b ) -> Exp a -> Exp b
Lam
