Agda.Syntax.Internal.Names

class NamesIn a

data PSyn