Agda.TypeChecking.Abstract
class AbstractTerm a