Bound.Scope

data Scope b f a

Abstraction

abstract

abstract1

Instantiation

instantiate

instantiate1

Traditional de Bruijn

fromScope

toScope

Bound variable manipulation

splat

bindings

mapBound

mapScope

liftMBound

liftMScope

foldMapBound

foldMapScope

traverseBound_

traverseScope_

mapMBound_

mapMScope_

traverseBound

traverseScope

mapMBound

mapMScope

serializeScope

deserializeScope

hoistScope

bitraverseScope

bitransverseScope

transverseScope

instantiateVars