Agda.TypeChecking.Substitute
class Apply t
class Abstract t
class Subst t
class Raise t
data TelView