Îõ³h% ¹Á      !"#$%&'()*+,-./0123456789:;<=>?@(C) 2017 Ryan Scott BSD-style (see the file LICENSE) Ryan Scott ExperimentalGHCUnsafe0Ëî‘ eliminators dataName> generates a top-level elimination function for the datatype dataName6. The eliminator will follow these naming conventions:ÕIf the datatype has an alphanumeric name, its eliminator will have that name with elim prepended.ÐIf the datatype has a symbolic name, its eliminator will have that name with ~> prepended. eliminators funName dataName3 generates a top-level elimination function named funName for the datatype dataName. eliminators dataName5 generates a type-level eliminator for the datatype dataName6. The eliminator will follow these naming conventions:ÕIf the datatype has an alphanumeric name, its eliminator will have that name with Elim prepended.ÐIf the datatype has a symbolic name, its eliminator will have that name with ~> prepended. eliminators funName dataName* generates a type-level eliminator named funName for the datatype dataName.(C) 2017 Ryan Scott BSD-style (see the file LICENSE) Ryan Scott ExperimentalGHC Trustworthy()./0ÈËÖØÙÛéîø,:  !"#$%&'()*+,-./0123456789:;<=>?: !"#$%01&'( ) * + , -98:7;6<5=4>3?2./(C) 2017 Ryan Scott BSD-style (see the file LICENSE) Ryan Scott ExperimentalGHC Trustworthy /0ËÖØÙÛî³@ eliminators Although Aë is not actually an inductive data type in GHC, we can (crudely) pretend that it is using this eliminator.@@      !"#$%&'()*+,-./0123456789:;<=>?@ABC-DEFÇeliminators-0.8-inplaceData.Eliminator.THData.EliminatorData.Eliminator.TypeNats deriveElimderiveElimNamedderiveTypeElimderiveTypeElimNamed$fEliminatorIsType$fEliminatorIsTermElimWrappedMonoidElimVoidElimSum ElimProduct ElimOrdering ElimNonEmptyElimNatElimMin ElimMaybeElimMaxElimLast ElimIdentity ElimFirst ElimEitherElimDualElimDown ElimConstElimBoolElimArgElimAnyElimAllelimAllelimAnyelimArgelimBool elimConstelimDownelimDual elimEither elimFirst elimIdentityelimLastelimMax elimMaybeelimMinelimNat elimNonEmpty elimOrdering elimProductelimSumelimVoidelimWrappedMonoidelimListElimList ElimTuple7 ElimTuple6 ElimTuple5 ElimTuple4 ElimTuple3 ElimTuple2 ElimTuple0 elimTuple0 elimTuple2 elimTuple3 elimTuple4 elimTuple5 elimTuple6 elimTuple7ghc-prim GHC.TypesNat