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