Agda.Syntax.Concrete.Definitions
data Clause
type Nice