Agda.Compiler.Treeless.Subst
data UnderLambda
data SeqArg
data Occurs
once
inSeq
underLambda
class HasFree a
freeIn
occursIn
data Binder a
data InSeq a