Agda adds the data type Agda.Syntax.Internal.ConHead.