Agda.Syntax.Internal.Pattern