Agda.TypeChecking.Reduce
traceFun
traceFun'
class Instantiate t
class Reduce t
unfoldDefinition
class Normalise t
class InstantiateFull t
telViewM