úÎ$7      !"#$%&'()*+,-./0123456(C) 2017 Ryan Scott BSD-style (see the file LICENSE) Ryan Scott ExperimentalGHC Trustworthy&'+,-CFQSTVh Z An infix synonym for .Something which has both a  and an .Things which can be applied.An application of a  to an argument.5Note that this can't be defined in the same class as 6 due to GHC restrictions on associated type families.Things which have arrow kinds.An arrow kind.]An enumeration which represents the possible choices of arrow kind for eliminator functions.'(->)''(~>)'7  !"#$%&'()*+,-./01234563  !"#$%&'()*+,-./0123  !"#$%&'(*)+,-./0123  !"#$%&'()*+,-./012345607      !"#$%&'()*+,-./0123456789&eliminators-0.1-5mJAXnfznBVGO4SrXuINcEData.Eliminator-?>FunAppAppTypeAppFunTypeFunFunArrow:->:~>elimBool elimEitherelimList elimMaybeelimNat elimNonEmpty elimOrdering elimTuple0 elimTuple2 elimTuple3 elimTuple4 elimTuple5 elimTuple6 elimTuple7 elimBoolTyFunelimEitherTyFun elimListTyFunelimMaybeTyFun elimNatTyFunelimNonEmptyTyFunelimOrderingTyFunelimTuple0TyFunelimTuple2TyFunelimTuple3TyFunelimTuple4TyFunelimTuple5TyFunelimTuple6TyFunelimTuple7TyFun elimBoolPolyelimEitherPoly elimListPoly elimMaybePoly elimNatPolyelimNonEmptyPolyelimOrderingPolyelimTuple0PolyelimTuple2PolyelimTuple3PolyelimTuple4PolyelimTuple5PolyelimTuple6PolyelimTuple7Poly $fFunType:~> $fFunType:-> $fAppType:~> $fAppType:->