Agda.TypeChecking.EtaContract
data BinAppView