Data.Lambda
Make function-like things
type
LambdaTy
src snk
class
Lambda
src snk
Dissect function-like things
class
Unlambda
src snk
Dual dissections
class
Colambda
f