Agda.Syntax.Abstract.Views

data AppView

data Head

appView

headToExpr

unAppView