Agda.Syntax.Abstract.Views
data AppView
appView
unAppView
asView
isSet
unScope
deepUnScope
class ExprLike a