Data.Profunctor.Closed
class
Closed
p
data
Closure
p a b
close
unclose
data
Environment
p a b
curry'