Language.Syntactic.Functional.WellScoped

class Ext ext orig

lookEnv

data BindingWS sig

lamWS

evalOpenWS

evalClosedWS

type family LiftReader env sig

type family UnReader a

type family LowerReader sig

data ReaderSym sym sig

type WS sym env a

fromWS

smartWS