Agda.TypeChecking.DisplayForm
class Match a