DDF.PE

data P repr h a

know

static

isOpen

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

mkFun

data EnvT repr hin hout

dynamic

app_open

data Fun repr h a b

pe