Agda.TypeChecking.EtaContract
data
BinAppView
binAppView
etaContract
etaOnce