DDF.PE

data P repr h a

isOpen

type family K (repr :: * -> * -> *) h a

data Fun repr h a b

mkFun

data EnvT repr hin hout

dynamic

app_open

pe