AgdaInternal.EtaExpansion.