úÎ#¤L     (C) 2017 Ryan Scott BSD-style (see the file LICENSE) Ryan Scott ExperimentalGHCUnsafe ² eliminators dataName> generates a top-level elimination function for the datatype dataNameS. The eliminator will follow these naming conventions: The naming conventions are:UIf the datatype has an alphanumeric name, its eliminator will have that name with elim prepended.PIf 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. eliminatorsConstruct a type of the form  x given x. eliminatorsConstruct a type of the form  p ty given p and ty. eliminatorsKGenerate a list of fresh names with a common prefix, and numbered suffixes.(C) 2017 Ryan Scott BSD-style (see the file LICENSE) Ryan Scott ExperimentalGHC Trustworthy&',-.EHSUVXfká   (C) 2017 Ryan Scott BSD-style (see the file LICENSE) Ryan Scott ExperimentalGHC Trustworthy -.HSUVXk@ eliminators Although k is not actually an inductive data type in GHC, we can (crudely) pretend that it is using this eliminator.      eliminators-0.6-inplaceData.Eliminator.THData.EliminatorData.Eliminator.TypeNats deriveElimderiveElimNamedelimBool elimEither elimMaybeelimNat elimNonEmpty elimOrderingelimVoidelimList elimTuple0 elimTuple2 elimTuple3 elimTuple4 elimTuple5 elimTuple6 elimTuple7singTypeOsingletons-2.6-77212b43ba783721faac04991825c825af031229e0c528469d263c4427014315Data.Singletons.InternalSingpredTypeApply newNameListghc-prim GHC.TypesNat