Control.Effect.Helpers.Mapping

data k :-> v

data Var k

select

type Select a b p q

type family Choose o p q

class Chooser o