Copyright	(C) 2013 Richard Eisenberg
License	BSD-style (see LICENSE)
Maintainer	Richard Eisenberg (eir@cis.upenn.edu)
Stability	experimental
Portability	non-portable
Safe Haskell	None
Language	Haskell2010

Data.Promotion.TH

Contents

Primary Template Haskell generation functions
Auxiliary definitions

Description

This module contains everything you need to promote your own functions via Template Haskell.

Synopsis

Primary Template Haskell generation functions

promote :: DsMonad q => q [Dec] -> q [Dec] Source

Promote every declaration given to the type level, retaining the originals.

promoteOnly :: DsMonad q => q [Dec] -> q [Dec] Source

Promote each declaration, discarding the originals.

genDefunSymbols :: DsMonad q => [Name] -> q [Dec] Source

Generate defunctionalization symbols for existing type family

genPromotions :: DsMonad q => [Name] -> q [Dec] Source

Generate promoted definitions from a type that is already defined. This is generally only useful with classes.

Functions to generate `Eq` instances

promoteEqInstances :: DsMonad q => [Name] -> q [Dec] Source

Produce instances for '(:==)' (type-level equality) from the given types

promoteEqInstance :: DsMonad q => Name -> q [Dec] Source

Produce an instance for '(:==)' (type-level equality) from the given type

Functions to generate `Ord` instances

promoteOrdInstances :: DsMonad q => [Name] -> q [Dec] Source

Produce instances for Compare from the given types

promoteOrdInstance :: DsMonad q => Name -> q [Dec] Source

Produce an instance for Compare from the given type

Functions to generate `Bounded` instances

promoteBoundedInstances :: DsMonad q => [Name] -> q [Dec] Source

Produce instances for MinBound and MaxBound from the given types

promoteBoundedInstance :: DsMonad q => Name -> q [Dec] Source

Produce an instance for MinBound and MaxBound from the given type

defunctionalization

data TyFun :: * -> * -> * Source

Representation of the kind of a type-level function. The difference between term-level arrows and this type-level arrow is that at the term level applications can be unsaturated, whereas at the type level all applications have to be fully saturated.

Instances

SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:&&$$)
SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:\|\|$$)
SuppressUnusedWarnings (Ordering -> TyFun Ordering Ordering -> *) ThenCmpSym1
SuppressUnusedWarnings (Nat -> TyFun Nat Nat -> *) (:^$$)
SuppressUnusedWarnings (Nat -> TyFun Nat Nat -> ) (:$$)
SuppressUnusedWarnings (Nat -> TyFun Nat Nat -> *) (:-$$)
SuppressUnusedWarnings (Nat -> TyFun Nat Nat -> *) (:+$$)
SuppressUnusedWarnings (TyFun Bool Bool -> *) NotSym0
SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> ) -> ) (:&&$)
SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> ) -> ) (:\|\|$)
SuppressUnusedWarnings (TyFun [Bool] Bool -> *) AndSym0
SuppressUnusedWarnings (TyFun [Bool] Bool -> *) OrSym0
SuppressUnusedWarnings (TyFun [Nat] Nat -> *) SumSym0
SuppressUnusedWarnings (TyFun [Nat] Nat -> *) ProductSym0
SuppressUnusedWarnings (TyFun Ordering (TyFun Ordering Ordering -> ) -> ) ThenCmpSym0
SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> ) -> ) (:^$)
SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> ) -> ) (:*$)
SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> ) -> ) (:-$)
SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> ) -> ) (:+$)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun (TyFun k k -> ) (TyFun k k -> ) -> ) (UntilSym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> (TyFun k k -> ) -> TyFun k k -> *) (UntilSym2 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] Bool -> ) (Any_Sym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> TyFun [k] (TyFun [k] [k] -> ) -> ) (DeleteFirstsBySym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> [k] -> TyFun [k] [k] -> *) (DeleteFirstsBySym2 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Ordering -> ) -> ) -> TyFun [k] k -> *) (MinimumBySym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Ordering -> ) -> ) -> TyFun [k] k -> *) (MaximumBySym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun [k] k -> *) (Foldl1Sym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun [k] k -> *) (Foldl1'Sym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun [k] k -> *) (Foldr1Sym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] Bool -> ) (AllSym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun [k] [k] -> *) (Scanl1Sym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun [k] [k] -> *) (Scanr1Sym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> TyFun k (TyFun [k] [k] -> ) -> ) (DeleteBySym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> k -> TyFun [k] [k] -> *) (DeleteBySym2 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Ordering -> ) -> ) -> TyFun [k] [k] -> *) (SortBySym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Ordering -> ) -> ) -> TyFun k (TyFun [k] [k] -> ) -> ) (InsertBySym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Ordering -> ) -> ) -> k -> TyFun [k] [k] -> *) (InsertBySym2 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] (Maybe Nat) -> ) (FindIndexSym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] [Nat] -> ) (FindIndicesSym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] [k] -> ) (TakeWhileSym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] [k] -> ) (DropWhileSym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] [k] -> ) (DropWhileEndSym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> TyFun [k] [[k]] -> *) (GroupBySym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] ((,) [k] [k]) -> ) (SpanSym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] ((,) [k] [k]) -> ) (BreakSym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] (Maybe k) -> ) (FindSym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> TyFun [k] (TyFun [k] [k] -> ) -> ) (IntersectBySym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> [k] -> TyFun [k] [k] -> *) (IntersectBySym2 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] [k] -> ) (FilterSym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] ((,) [k] [k]) -> ) (PartitionSym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> TyFun [k] (TyFun [k] [k] -> ) -> ) (UnionBySym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> [k] -> TyFun [k] [k] -> *) (UnionBySym2 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> TyFun [k] [k] -> *) (NubBySym1 k)
SuppressUnusedWarnings ([k] -> TyFun [k] [k] -> *) ((:++$$) k)
SuppressUnusedWarnings ([k] -> TyFun [k] Bool -> *) (IsSuffixOfSym1 k)
SuppressUnusedWarnings ([k] -> TyFun [[k]] [k] -> *) (IntercalateSym1 k)
SuppressUnusedWarnings ([k] -> TyFun [k] [k] -> *) ((:\\$$) k)
SuppressUnusedWarnings ([k] -> TyFun [k] Bool -> *) (IsInfixOfSym1 k)
SuppressUnusedWarnings ([k] -> TyFun [k] Bool -> *) (IsPrefixOfSym1 k)
SuppressUnusedWarnings ([k] -> TyFun [k] (Maybe [k]) -> *) (StripPrefixSym1 k)
SuppressUnusedWarnings ([k] -> TyFun [k] [k] -> *) (IntersectSym1 k)
SuppressUnusedWarnings ([k] -> TyFun Nat k -> *) ((:!!$$) k)
SuppressUnusedWarnings ([k] -> TyFun [k] [k] -> *) (UnionSym1 k)
SuppressUnusedWarnings (Nat -> TyFun [k] ((,) [k] [k]) -> *) (SplitAtSym1 k)
SuppressUnusedWarnings (Nat -> TyFun [k] [k] -> *) (TakeSym1 k)
SuppressUnusedWarnings (Nat -> TyFun [k] [k] -> *) (DropSym1 k)
SuppressUnusedWarnings (Nat -> TyFun k [k] -> *) (ReplicateSym1 k)
SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) ((:$$) k)
SuppressUnusedWarnings (k -> TyFun k (TyFun Bool k -> ) -> ) (Bool_Sym1 k)
SuppressUnusedWarnings (k -> k -> TyFun Bool k -> *) (Bool_Sym2 k)
SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:/=$$) k)
SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:==$$) k)
SuppressUnusedWarnings (k -> TyFun k k -> *) (MinSym1 k)
SuppressUnusedWarnings (k -> TyFun k k -> *) (MaxSym1 k)
SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:<=$$) k)
SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:>$$) k)
SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:>=$$) k)
SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:<$$) k)
SuppressUnusedWarnings (k -> TyFun k Ordering -> *) (CompareSym1 k)
SuppressUnusedWarnings (k -> TyFun k k -> *) (AsTypeOfSym1 k)
SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) (IntersperseSym1 k)
SuppressUnusedWarnings (k -> TyFun [k] Bool -> *) (ElemSym1 k)
SuppressUnusedWarnings (k -> TyFun [k] Bool -> *) (NotElemSym1 k)
SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) (DeleteSym1 k)
SuppressUnusedWarnings (k -> TyFun (Maybe k) k -> *) (FromMaybeSym1 k)
SuppressUnusedWarnings (k -> TyFun [k] (Maybe Nat) -> *) (ElemIndexSym1 k)
SuppressUnusedWarnings (k -> TyFun [k] [Nat] -> *) (ElemIndicesSym1 k)
SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) (InsertSym1 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun (TyFun k k -> ) (TyFun k k -> ) -> ) -> *) (UntilSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] Bool -> ) -> *) (Any_Sym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Bool -> ) -> ) (TyFun [k] (TyFun [k] [k] -> ) -> ) -> *) (DeleteFirstsBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Ordering -> ) -> ) (TyFun [k] k -> ) -> ) (MinimumBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Ordering -> ) -> ) (TyFun [k] k -> ) -> ) (MaximumBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun [k] k -> ) -> ) (Foldl1Sym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun [k] k -> ) -> ) (Foldl1'Sym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun [k] k -> ) -> ) (Foldr1Sym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] Bool -> ) -> *) (AllSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun [k] [k] -> ) -> ) (Scanl1Sym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun [k] [k] -> ) -> ) (Scanr1Sym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Bool -> ) -> ) (TyFun k (TyFun [k] [k] -> ) -> ) -> *) (DeleteBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Ordering -> ) -> ) (TyFun [k] [k] -> ) -> ) (SortBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Ordering -> ) -> ) (TyFun k (TyFun [k] [k] -> ) -> ) -> *) (InsertBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] (Maybe Nat) -> ) -> *) (FindIndexSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] [Nat] -> ) -> *) (FindIndicesSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] [k] -> ) -> *) (TakeWhileSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] [k] -> ) -> *) (DropWhileSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] [k] -> ) -> *) (DropWhileEndSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Bool -> ) -> ) (TyFun [k] [[k]] -> ) -> ) (GroupBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] ((,) [k] [k]) -> ) -> *) (SpanSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] ((,) [k] [k]) -> ) -> *) (BreakSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] (Maybe k) -> ) -> *) (FindSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Bool -> ) -> ) (TyFun [k] (TyFun [k] [k] -> ) -> ) -> *) (IntersectBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] [k] -> ) -> *) (FilterSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] ((,) [k] [k]) -> ) -> *) (PartitionSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Bool -> ) -> ) (TyFun [k] (TyFun [k] [k] -> ) -> ) -> *) (UnionBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Bool -> ) -> ) (TyFun [k] [k] -> ) -> ) (NubBySym0 k)
SuppressUnusedWarnings (TyFun [[k]] [k] -> *) (ConcatSym0 k)
SuppressUnusedWarnings (TyFun [[k]] [[k]] -> *) (TransposeSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] [k] -> ) -> ) ((:++$) k)
SuppressUnusedWarnings (TyFun [k] k -> *) (HeadSym0 k)
SuppressUnusedWarnings (TyFun [k] k -> *) (LastSym0 k)
SuppressUnusedWarnings (TyFun [k] [k] -> *) (TailSym0 k)
SuppressUnusedWarnings (TyFun [k] [k] -> *) (InitSym0 k)
SuppressUnusedWarnings (TyFun [k] Bool -> *) (NullSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] Bool -> ) -> ) (IsSuffixOfSym0 k)
SuppressUnusedWarnings (TyFun [k] [k] -> *) (ReverseSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [[k]] [k] -> ) -> ) (IntercalateSym0 k)
SuppressUnusedWarnings (TyFun [k] [[k]] -> *) (SubsequencesSym0 k)
SuppressUnusedWarnings (TyFun [k] [[k]] -> *) (PermutationsSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] [k] -> ) -> ) ((:\\$) k)
SuppressUnusedWarnings (TyFun [k] [[k]] -> *) (InitsSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] Bool -> ) -> ) (IsInfixOfSym0 k)
SuppressUnusedWarnings (TyFun [k] [[k]] -> *) (TailsSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] Bool -> ) -> ) (IsPrefixOfSym0 k)
SuppressUnusedWarnings (TyFun [k] (Maybe k) -> *) (ListToMaybeSym0 k)
SuppressUnusedWarnings (TyFun [k] Nat -> *) (LengthSym0 k)
SuppressUnusedWarnings (TyFun [k] [[k]] -> *) (GroupSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] (Maybe [k]) -> ) -> ) (StripPrefixSym0 k)
SuppressUnusedWarnings (TyFun [k] k -> *) (MaximumSym0 k)
SuppressUnusedWarnings (TyFun [k] k -> *) (MinimumSym0 k)
SuppressUnusedWarnings (TyFun [k] [k] -> *) (SortSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] [k] -> ) -> ) (IntersectSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun Nat k -> ) -> ) ((:!!$) k)
SuppressUnusedWarnings (TyFun [k] [k] -> *) (NubSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] [k] -> ) -> ) (UnionSym0 k)
SuppressUnusedWarnings (TyFun [Maybe k] [k] -> *) (CatMaybesSym0 k)
SuppressUnusedWarnings (TyFun Nat (TyFun [k] ((,) [k] [k]) -> ) -> ) (SplitAtSym0 k)
SuppressUnusedWarnings (TyFun Nat (TyFun [k] [k] -> ) -> ) (TakeSym0 k)
SuppressUnusedWarnings (TyFun Nat (TyFun [k] [k] -> ) -> ) (DropSym0 k)
SuppressUnusedWarnings (TyFun Nat (TyFun k [k] -> ) -> ) (ReplicateSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> ) -> ) ((:$) k)
SuppressUnusedWarnings (TyFun k (Maybe k) -> *) (JustSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun k (TyFun Bool k -> ) -> ) -> *) (Bool_Sym0 k)
SuppressUnusedWarnings (TyFun k (TyFun k Bool -> ) -> ) ((:/=$) k)
SuppressUnusedWarnings (TyFun k (TyFun k Bool -> ) -> ) ((:==$) k)
SuppressUnusedWarnings (TyFun k (TyFun k k -> ) -> ) (MinSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun k k -> ) -> ) (MaxSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun k Bool -> ) -> ) ((:<=$) k)
SuppressUnusedWarnings (TyFun k (TyFun k Bool -> ) -> ) ((:>$) k)
SuppressUnusedWarnings (TyFun k (TyFun k Bool -> ) -> ) ((:>=$) k)
SuppressUnusedWarnings (TyFun k (TyFun k Bool -> ) -> ) ((:<$) k)
SuppressUnusedWarnings (TyFun k (TyFun k Ordering -> ) -> ) (CompareSym0 k)
SuppressUnusedWarnings (TyFun k k -> *) (IdSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun k k -> ) -> ) (AsTypeOfSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> ) -> ) (IntersperseSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun [k] Bool -> ) -> ) (ElemSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun [k] Bool -> ) -> ) (NotElemSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> ) -> ) (DeleteSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun (Maybe k) k -> ) -> ) (FromMaybeSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun [k] (Maybe Nat) -> ) -> ) (ElemIndexSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun [k] [Nat] -> ) -> ) (ElemIndicesSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> ) -> ) (InsertSym0 k)
SuppressUnusedWarnings (TyFun (Maybe k) Bool -> *) (IsJustSym0 k)
SuppressUnusedWarnings (TyFun (Maybe k) Bool -> *) (IsNothingSym0 k)
SuppressUnusedWarnings (TyFun (Maybe k) k -> *) (FromJustSym0 k)
SuppressUnusedWarnings (TyFun (Maybe k) [k] -> *) (MaybeToListSym0 k)
(SingKind k1 (KProxy k1), SingKind k2 (KProxy k2)) => SingKind (TyFun k1 k2 -> ) (KProxy (TyFun k1 k2 -> ))
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun k (TyFun [k] k -> ) -> ) (FoldrSym1 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> k -> TyFun [k] k -> *) (FoldrSym2 k k)
SuppressUnusedWarnings ((TyFun k k -> ) -> TyFun [k] [k] -> ) (MapSym1 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun k (TyFun [k] k -> ) -> ) (FoldlSym1 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> k -> TyFun [k] k -> *) (FoldlSym2 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun k (TyFun [k] k -> ) -> ) (Foldl'Sym1 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> k -> TyFun [k] k -> *) (Foldl'Sym2 k k)
SuppressUnusedWarnings ((TyFun k [k] -> ) -> TyFun [k] [k] -> ) (ConcatMapSym1 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun k (TyFun [k] [k] -> ) -> ) (ScanlSym1 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> k -> TyFun [k] [k] -> *) (ScanlSym2 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun k (TyFun [k] [k] -> ) -> ) (ScanrSym1 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> k -> TyFun [k] [k] -> *) (ScanrSym2 k k)
SuppressUnusedWarnings ((TyFun k (Maybe ((,) k k)) -> ) -> TyFun k [k] -> ) (UnfoldrSym1 k k)
SuppressUnusedWarnings ((TyFun k (Maybe k) -> ) -> TyFun [k] [k] -> ) (MapMaybeSym1 k k)
SuppressUnusedWarnings ([k] -> TyFun [k] [(,) k k] -> *) (ZipSym1 k k)
SuppressUnusedWarnings ([k] -> TyFun k k -> *) (GenericIndexSym1 k k)
SuppressUnusedWarnings (k -> TyFun k ((,) k k) -> *) (Tuple2Sym1 k k)
SuppressUnusedWarnings (k -> TyFun k k -> *) (ConstSym1 k k)
SuppressUnusedWarnings (k -> TyFun k k -> *) (SeqSym1 k k)
SuppressUnusedWarnings (k -> TyFun (TyFun k k -> ) (TyFun (Maybe k) k -> ) -> *) (Maybe_Sym1 k k)
SuppressUnusedWarnings (k -> (TyFun k k -> ) -> TyFun (Maybe k) k -> ) (Maybe_Sym2 k k)
SuppressUnusedWarnings (k -> TyFun k [k] -> *) (GenericReplicateSym1 k k)
SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) (GenericTakeSym1 k k)
SuppressUnusedWarnings (k -> TyFun [k] ((,) [k] [k]) -> *) (GenericSplitAtSym1 k k)
SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) (GenericDropSym1 k k)
SuppressUnusedWarnings (k -> TyFun [(,) k k] (Maybe k) -> *) (LookupSym1 k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun k (TyFun [k] k -> ) -> ) -> *) (FoldrSym0 k k)
SuppressUnusedWarnings (TyFun (TyFun k k -> ) (TyFun [k] [k] -> ) -> *) (MapSym0 k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun k (TyFun [k] k -> ) -> ) -> *) (FoldlSym0 k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun k (TyFun [k] k -> ) -> ) -> *) (Foldl'Sym0 k k)
SuppressUnusedWarnings (TyFun (TyFun k [k] -> ) (TyFun [k] [k] -> ) -> *) (ConcatMapSym0 k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun k (TyFun [k] [k] -> ) -> ) -> *) (ScanlSym0 k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun k (TyFun [k] [k] -> ) -> ) -> *) (ScanrSym0 k k)
SuppressUnusedWarnings (TyFun (TyFun k (Maybe ((,) k k)) -> ) (TyFun k [k] -> ) -> *) (UnfoldrSym0 k k)
SuppressUnusedWarnings (TyFun (TyFun k (Maybe k) -> ) (TyFun [k] [k] -> ) -> *) (MapMaybeSym0 k k)
SuppressUnusedWarnings (TyFun [Either k k] [k] -> *) (LeftsSym0 k k)
SuppressUnusedWarnings (TyFun [Either k k] [k] -> *) (RightsSym0 k k)
SuppressUnusedWarnings (TyFun [(,) k k] ((,) [k] [k]) -> *) (UnzipSym0 k k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] [(,) k k] -> ) -> ) (ZipSym0 k k)
SuppressUnusedWarnings (TyFun [k] k -> *) (GenericLengthSym0 k k)
SuppressUnusedWarnings (TyFun [k] (TyFun k k -> ) -> ) (GenericIndexSym0 k k)
SuppressUnusedWarnings (TyFun (Either k k) Bool -> *) (IsLeftSym0 k k)
SuppressUnusedWarnings (TyFun (Either k k) Bool -> *) (IsRightSym0 k k)
SuppressUnusedWarnings (TyFun ((,) k k) k -> *) (FstSym0 k k)
SuppressUnusedWarnings (TyFun ((,) k k) k -> *) (SndSym0 k k)
SuppressUnusedWarnings (TyFun ((,) k k) ((,) k k) -> *) (SwapSym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun k ((,) k k) -> ) -> ) (Tuple2Sym0 k k)
SuppressUnusedWarnings (TyFun k (Either k k) -> *) (RightSym0 k k)
SuppressUnusedWarnings (TyFun k (Either k k) -> *) (LeftSym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun k k -> ) -> ) (ConstSym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun k k -> ) -> ) (SeqSym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun (TyFun k k -> ) (TyFun (Maybe k) k -> ) -> ) -> ) (Maybe_Sym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun k [k] -> ) -> ) (GenericReplicateSym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> ) -> ) (GenericTakeSym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun [k] ((,) [k] [k]) -> ) -> ) (GenericSplitAtSym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> ) -> ) (GenericDropSym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun [(,) k k] (Maybe k) -> ) -> ) (LookupSym0 k k)
SuppressUnusedWarnings ((TyFun ((,) k k) k -> ) -> TyFun k (TyFun k k -> ) -> *) (CurrySym1 k k k)
SuppressUnusedWarnings ((TyFun ((,) k k) k -> ) -> k -> TyFun k k -> ) (CurrySym2 k k k)
SuppressUnusedWarnings ((TyFun k k -> ) -> TyFun (TyFun k k -> ) (TyFun k k -> ) -> ) ((:.$$) k k k)
SuppressUnusedWarnings ((TyFun k k -> ) -> (TyFun k k -> ) -> TyFun k k -> *) ((:.$$$) k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun k (TyFun k k -> ) -> ) (FlipSym1 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> k -> TyFun k k -> *) (FlipSym2 k k k)
SuppressUnusedWarnings ((TyFun k k -> ) -> TyFun (TyFun k k -> ) (TyFun (Either k k) k -> ) -> ) (Either_Sym1 k k k)
SuppressUnusedWarnings ((TyFun k k -> ) -> (TyFun k k -> ) -> TyFun (Either k k) k -> *) (Either_Sym2 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun ((,) k k) k -> *) (UncurrySym1 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k ((,) k k) -> ) -> ) -> TyFun k (TyFun [k] ((,) k [k]) -> ) -> ) (MapAccumLSym1 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k ((,) k k) -> ) -> ) -> k -> TyFun [k] ((,) k [k]) -> *) (MapAccumLSym2 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k ((,) k k) -> ) -> ) -> TyFun k (TyFun [k] ((,) k [k]) -> ) -> ) (MapAccumRSym1 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k ((,) k k) -> ) -> ) -> k -> TyFun [k] ((,) k [k]) -> *) (MapAccumRSym2 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun [k] (TyFun [k] [k] -> ) -> ) (ZipWithSym1 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> [k] -> TyFun [k] [k] -> *) (ZipWithSym2 k k k)
SuppressUnusedWarnings ([k] -> TyFun [k] (TyFun [k] [(,,) k k k] -> ) -> ) (Zip3Sym1 k k k)
SuppressUnusedWarnings ([k] -> [k] -> TyFun [k] [(,,) k k k] -> *) (Zip3Sym2 k k k)
SuppressUnusedWarnings (k -> TyFun k (TyFun k ((,,) k k k) -> ) -> ) (Tuple3Sym1 k k k)
SuppressUnusedWarnings (k -> k -> TyFun k ((,,) k k k) -> *) (Tuple3Sym2 k k k)
SuppressUnusedWarnings (TyFun (TyFun ((,) k k) k -> ) (TyFun k (TyFun k k -> ) -> ) -> ) (CurrySym0 k k k)
SuppressUnusedWarnings (TyFun (TyFun k k -> ) (TyFun (TyFun k k -> ) (TyFun k k -> ) -> ) -> *) ((:.$) k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun k (TyFun k k -> ) -> ) -> *) (FlipSym0 k k k)
SuppressUnusedWarnings (TyFun (TyFun k k -> ) (TyFun (TyFun k k -> ) (TyFun (Either k k) k -> ) -> ) -> *) (Either_Sym0 k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun ((,) k k) k -> ) -> ) (UncurrySym0 k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k ((,) k k) -> ) -> ) (TyFun k (TyFun [k] ((,) k [k]) -> ) -> ) -> *) (MapAccumLSym0 k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k ((,) k k) -> ) -> ) (TyFun k (TyFun [k] ((,) k [k]) -> ) -> ) -> *) (MapAccumRSym0 k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun [k] (TyFun [k] [k] -> ) -> ) -> *) (ZipWithSym0 k k k)
SuppressUnusedWarnings (TyFun [(,,) k k k] ((,,) [k] [k] [k]) -> *) (Unzip3Sym0 k k k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] (TyFun [k] [(,,) k k k] -> ) -> ) -> *) (Zip3Sym0 k k k)
SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k ((,,) k k k) -> ) -> ) -> *) (Tuple3Sym0 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) (ZipWith3Sym1 k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> [k] -> TyFun [k] (TyFun [k] [k] -> ) -> *) (ZipWith3Sym2 k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> [k] -> [k] -> TyFun [k] [k] -> ) (ZipWith3Sym3 k k k k)
SuppressUnusedWarnings ([k] -> TyFun [k] (TyFun [k] (TyFun [k] [(,,,) k k k k] -> ) -> ) -> *) (Zip4Sym1 k k k k)
SuppressUnusedWarnings ([k] -> [k] -> TyFun [k] (TyFun [k] [(,,,) k k k k] -> ) -> ) (Zip4Sym2 k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> TyFun [k] [(,,,) k k k k] -> *) (Zip4Sym3 k k k k)
SuppressUnusedWarnings (k -> TyFun k (TyFun k (TyFun k ((,,,) k k k k) -> ) -> ) -> *) (Tuple4Sym1 k k k k)
SuppressUnusedWarnings (k -> k -> TyFun k (TyFun k ((,,,) k k k k) -> ) -> ) (Tuple4Sym2 k k k k)
SuppressUnusedWarnings (k -> k -> k -> TyFun k ((,,,) k k k k) -> *) (Tuple4Sym3 k k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> *) (ZipWith3Sym0 k k k k)
SuppressUnusedWarnings (TyFun [(,,,) k k k k] ((,,,) [k] [k] [k] [k]) -> *) (Unzip4Sym0 k k k k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,) k k k k] -> ) -> ) -> ) -> ) (Zip4Sym0 k k k k)
SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k (TyFun k ((,,,) k k k k) -> ) -> ) -> ) -> ) (Tuple4Sym0 k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) (ZipWith4Sym1 k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> *) (ZipWith4Sym2 k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> [k] -> [k] -> TyFun [k] (TyFun [k] [k] -> ) -> ) (ZipWith4Sym3 k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> TyFun [k] [k] -> *) (ZipWith4Sym4 k k k k k)
SuppressUnusedWarnings ([k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,) k k k k k] -> ) -> ) -> ) -> ) (Zip5Sym1 k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [(,,,,) k k k k k] -> ) -> ) -> *) (Zip5Sym2 k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> TyFun [k] (TyFun [k] [(,,,,) k k k k k] -> ) -> ) (Zip5Sym3 k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> [k] -> TyFun [k] [(,,,,) k k k k k] -> *) (Zip5Sym4 k k k k k)
SuppressUnusedWarnings (k -> TyFun k (TyFun k (TyFun k (TyFun k ((,,,,) k k k k k) -> ) -> ) -> ) -> ) (Tuple5Sym1 k k k k k)
SuppressUnusedWarnings (k -> k -> TyFun k (TyFun k (TyFun k ((,,,,) k k k k k) -> ) -> ) -> *) (Tuple5Sym2 k k k k k)
SuppressUnusedWarnings (k -> k -> k -> TyFun k (TyFun k ((,,,,) k k k k k) -> ) -> ) (Tuple5Sym3 k k k k k)
SuppressUnusedWarnings (k -> k -> k -> k -> TyFun k ((,,,,) k k k k k) -> *) (Tuple5Sym4 k k k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> *) (ZipWith4Sym0 k k k k k)
SuppressUnusedWarnings (TyFun [(,,,,) k k k k k] ((,,,,) [k] [k] [k] [k] [k]) -> *) (Unzip5Sym0 k k k k k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,) k k k k k] -> ) -> ) -> ) -> ) -> *) (Zip5Sym0 k k k k k)
SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,) k k k k k) -> ) -> ) -> ) -> ) -> *) (Tuple5Sym0 k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> ) (ZipWith5Sym1 k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> *) (ZipWith5Sym2 k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) (ZipWith5Sym3 k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] [k] -> ) -> *) (ZipWith5Sym4 k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> [k] -> TyFun [k] [k] -> ) (ZipWith5Sym5 k k k k k k)
SuppressUnusedWarnings ([k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,) k k k k k k] -> ) -> ) -> ) -> ) -> *) (Zip6Sym1 k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,) k k k k k k] -> ) -> ) -> ) -> ) (Zip6Sym2 k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,) k k k k k k] -> ) -> ) -> *) (Zip6Sym3 k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] [(,,,,,) k k k k k k] -> ) -> ) (Zip6Sym4 k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> [k] -> [k] -> TyFun [k] [(,,,,,) k k k k k k] -> *) (Zip6Sym5 k k k k k k)
SuppressUnusedWarnings (k -> TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,) k k k k k k) -> ) -> ) -> ) -> ) -> *) (Tuple6Sym1 k k k k k k)
SuppressUnusedWarnings (k -> k -> TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,) k k k k k k) -> ) -> ) -> ) -> ) (Tuple6Sym2 k k k k k k)
SuppressUnusedWarnings (k -> k -> k -> TyFun k (TyFun k (TyFun k ((,,,,,) k k k k k k) -> ) -> ) -> *) (Tuple6Sym3 k k k k k k)
SuppressUnusedWarnings (k -> k -> k -> k -> TyFun k (TyFun k ((,,,,,) k k k k k k) -> ) -> ) (Tuple6Sym4 k k k k k k)
SuppressUnusedWarnings (k -> k -> k -> k -> k -> TyFun k ((,,,,,) k k k k k k) -> *) (Tuple6Sym5 k k k k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> ) -> *) (ZipWith5Sym0 k k k k k k)
SuppressUnusedWarnings (TyFun [(,,,,,) k k k k k k] ((,,,,,) [k] [k] [k] [k] [k] [k]) -> *) (Unzip6Sym0 k k k k k k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,) k k k k k k] -> ) -> ) -> ) -> ) -> ) -> ) (Zip6Sym0 k k k k k k)
SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,) k k k k k k) -> ) -> ) -> ) -> ) -> ) -> ) (Tuple6Sym0 k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> ) -> ) (ZipWith6Sym1 k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> *) (ZipWith6Sym2 k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) (ZipWith6Sym3 k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> *) (ZipWith6Sym4 k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] [k] -> ) -> ) (ZipWith6Sym5 k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> [k] -> [k] -> TyFun [k] [k] -> *) (ZipWith6Sym6 k k k k k k k)
SuppressUnusedWarnings ([k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> ) -> ) -> ) -> ) -> ) -> ) (Zip7Sym1 k k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> ) -> ) -> ) -> ) -> *) (Zip7Sym2 k k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> ) -> ) -> ) -> ) (Zip7Sym3 k k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> ) -> ) -> *) (Zip7Sym4 k k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> ) -> ) (Zip7Sym5 k k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> [k] -> [k] -> [k] -> TyFun [k] [(,,,,,,) k k k k k k k] -> *) (Zip7Sym6 k k k k k k k)
SuppressUnusedWarnings (k -> TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) -> ) -> ) -> ) -> ) (Tuple7Sym1 k k k k k k k)
SuppressUnusedWarnings (k -> k -> TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) -> ) -> ) -> *) (Tuple7Sym2 k k k k k k k)
SuppressUnusedWarnings (k -> k -> k -> TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) -> ) -> ) (Tuple7Sym3 k k k k k k k)
SuppressUnusedWarnings (k -> k -> k -> k -> TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) -> *) (Tuple7Sym4 k k k k k k k)
SuppressUnusedWarnings (k -> k -> k -> k -> k -> TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) (Tuple7Sym5 k k k k k k k)
SuppressUnusedWarnings (k -> k -> k -> k -> k -> k -> TyFun k ((,,,,,,) k k k k k k k) -> *) (Tuple7Sym6 k k k k k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> ) -> ) -> *) (ZipWith6Sym0 k k k k k k k)
SuppressUnusedWarnings (TyFun [(,,,,,,) k k k k k k k] ((,,,,,,) [k] [k] [k] [k] [k] [k] [k]) -> *) (Unzip7Sym0 k k k k k k k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> ) -> ) -> ) -> ) -> ) -> ) -> *) (Zip7Sym0 k k k k k k k)
SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) -> ) -> ) -> ) -> ) -> *) (Tuple7Sym0 k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> ) -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> ) -> ) -> ) (ZipWith7Sym1 k k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> ) -> *) (ZipWith7Sym2 k k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> ) (ZipWith7Sym3 k k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> *) (ZipWith7Sym4 k k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) (ZipWith7Sym5 k k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] [k] -> ) -> *) (ZipWith7Sym6 k k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> [k] -> [k] -> [k] -> TyFun [k] [k] -> ) (ZipWith7Sym7 k k k k k k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> ) (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> ) -> ) -> ) -> *) (ZipWith7Sym0 k k k k k k k k)
data Sing (TyFun k1 k2 -> *) = SLambda { applySing :: forall t. Sing k1 t -> Sing k2 ((@@) k2 k1 f t) }
type Apply (TyFun Bool Bool -> *) Bool (:&&$) l0 = (:&&$$) l0
type Apply (TyFun Bool Bool -> *) Bool (:\|\|$) l0 = (:\|\|$$) l0
type Apply (TyFun Ordering Ordering -> *) Ordering ThenCmpSym0 l0 = ThenCmpSym1 l0
type Apply (TyFun Nat Nat -> *) Nat (:^$) l0 = (:^$$) l0
type Apply (TyFun Nat Nat -> ) Nat (:$) l0 = (:*$$) l0
type Apply (TyFun Nat Nat -> *) Nat (:-$) l0 = (:-$$) l0
type Apply (TyFun Nat Nat -> *) Nat (:+$) l0 = (:+$$) l0
type Apply (TyFun [k] [k] -> *) k ((:$) k) l0 = (:$$) k l0
type Apply (TyFun [k] [k] -> *) k (IntersperseSym0 k) l0 = IntersperseSym1 k l0
type Apply (TyFun [k] Bool -> *) k (ElemSym0 k) l0 = ElemSym1 k l0
type Apply (TyFun [k] Bool -> *) k (NotElemSym0 k) l0 = NotElemSym1 k l0
type Apply (TyFun [k] [k] -> *) k (DeleteSym0 k) l0 = DeleteSym1 k l0
type Apply (TyFun [k] (Maybe Nat) -> *) k (ElemIndexSym0 k) l0 = ElemIndexSym1 k l0
type Apply (TyFun [k] [Nat] -> *) k (ElemIndicesSym0 k) l0 = ElemIndicesSym1 k l0
type Apply (TyFun [k] ((,) [k] [k]) -> *) Nat (SplitAtSym0 k) l0 = SplitAtSym1 k l0
type Apply (TyFun [k] [k] -> *) Nat (TakeSym0 k) l0 = TakeSym1 k l0
type Apply (TyFun [k] [k] -> *) Nat (DropSym0 k) l0 = DropSym1 k l0
type Apply (TyFun [k] [k] -> *) k (InsertSym0 k) l0 = InsertSym1 k l0
type Apply (TyFun k (TyFun Bool k -> ) -> ) k (Bool_Sym0 k) l0 = Bool_Sym1 k l0
type Apply (TyFun k Bool -> *) k ((:/=$) k) l0 = (:/=$$) k l0
type Apply (TyFun k Bool -> *) k ((:==$) k) l0 = (:==$$) k l0
type Apply (TyFun k k -> *) k (MinSym0 k) l0 = MinSym1 k l0
type Apply (TyFun k k -> *) k (MaxSym0 k) l0 = MaxSym1 k l0
type Apply (TyFun k Bool -> *) k ((:<=$) k) l0 = (:<=$$) k l0
type Apply (TyFun k Bool -> *) k ((:>$) k) l0 = (:>$$) k l0
type Apply (TyFun k Bool -> *) k ((:>=$) k) l0 = (:>=$$) k l0
type Apply (TyFun k Bool -> *) k ((:<$) k) l0 = (:<$$) k l0
type Apply (TyFun k Ordering -> *) k (CompareSym0 k) l0 = CompareSym1 k l0
type Apply (TyFun k k -> *) k (AsTypeOfSym0 k) l0 = AsTypeOfSym1 k l0
type Apply (TyFun k [k] -> *) Nat (ReplicateSym0 k) l0 = ReplicateSym1 k l0
type Apply (TyFun (Maybe k) k -> *) k (FromMaybeSym0 k) l0 = FromMaybeSym1 k l0
type Apply (TyFun Bool k -> *) k (Bool_Sym1 k l1) l0 = Bool_Sym2 k l1 l0
type Apply (TyFun (TyFun k1 k -> ) (TyFun (Maybe k1) k -> ) -> *) k (Maybe_Sym0 k k1) l0 = Maybe_Sym1 k k1 l0
type Apply (TyFun [(,) k k1] (Maybe k1) -> *) k (LookupSym0 k k1) l0 = LookupSym1 k k1 l0
type Apply (TyFun [k] [k] -> *) k (DeleteBySym1 k l1) l0 = DeleteBySym2 k l1 l0
type Apply (TyFun [k] [k] -> *) k (InsertBySym1 k l1) l0 = InsertBySym2 k l1 l0
type Apply (TyFun [k1] [k1] -> *) k (GenericTakeSym0 k k1) l0 = GenericTakeSym1 k k1 l0
type Apply (TyFun [k1] ((,) [k1] [k1]) -> *) k (GenericSplitAtSym0 k k1) l0 = GenericSplitAtSym1 k k1 l0
type Apply (TyFun [k1] [k1] -> *) k (GenericDropSym0 k k1) l0 = GenericDropSym1 k k1 l0
type Apply (TyFun k1 ((,) k k1) -> *) k (Tuple2Sym0 k k1) l0 = Tuple2Sym1 k k1 l0
type Apply (TyFun k1 k -> *) k (ConstSym0 k k1) l0 = ConstSym1 k k1 l0
type Apply (TyFun k1 k1 -> *) k (SeqSym0 k k1) l0 = SeqSym1 k k1 l0
type Apply (TyFun k1 [k1] -> *) k (GenericReplicateSym0 k k1) l0 = GenericReplicateSym1 k k1 l0
type Apply (TyFun [k1] k -> *) k (FoldrSym1 k1 k l1) l0 = FoldrSym2 k1 k l1 l0
type Apply (TyFun [k1] k -> *) k (FoldlSym1 k k1 l1) l0 = FoldlSym2 k k1 l1 l0
type Apply (TyFun [k1] k -> *) k (Foldl'Sym1 k k1 l1) l0 = Foldl'Sym2 k k1 l1 l0
type Apply (TyFun [k1] [k] -> *) k (ScanlSym1 k k1 l1) l0 = ScanlSym2 k k1 l1 l0
type Apply (TyFun [k1] [k] -> *) k (ScanrSym1 k1 k l1) l0 = ScanrSym2 k1 k l1 l0
type Apply (TyFun k1 (TyFun k2 ((,,) k k1 k2) -> ) -> ) k (Tuple3Sym0 k k1 k2) l0 = Tuple3Sym1 k k1 k2 l0
type Apply (TyFun [k1] ((,) k [k2]) -> *) k (MapAccumLSym1 k k1 k2 l1) l0 = MapAccumLSym2 k k1 k2 l1 l0
type Apply (TyFun [k1] ((,) k [k2]) -> *) k (MapAccumRSym1 k k1 k2 l1) l0 = MapAccumRSym2 k k1 k2 l1 l0
type Apply (TyFun k1 k2 -> *) k (TyCon2 k k1 k2 f) x = TyCon1 k1 k2 (f x)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 ((,,,) k k1 k2 k3) -> ) -> ) -> *) k (Tuple4Sym0 k k1 k2 k3) l0 = Tuple4Sym1 k k1 k2 k3 l0
type Apply (TyFun k1 ((,,) k2 k k1) -> *) k (Tuple3Sym1 k2 k k1 l1) l0 = Tuple3Sym2 k2 k k1 l1 l0
type Apply (TyFun k1 k2 -> *) k (FlipSym1 k1 k k2 l1) l0 = FlipSym2 k1 k k2 l1 l0
type Apply (TyFun k1 k2 -> *) k (CurrySym1 k k1 k2 l1) l0 = CurrySym2 k k1 k2 l1 l0
type Apply (TyFun k1 (TyFun k2 k3 -> ) -> ) k (TyCon3 k k1 k2 k3 f) x = TyCon2 k1 k2 k3 (f x)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 ((,,,,) k k1 k2 k3 k4) -> ) -> ) -> ) -> ) k (Tuple5Sym0 k k1 k2 k3 k4) l0 = Tuple5Sym1 k k1 k2 k3 k4 l0
type Apply (TyFun k1 (TyFun k2 ((,,,) k3 k k1 k2) -> ) -> ) k (Tuple4Sym1 k3 k k1 k2 l1) l0 = Tuple4Sym2 k3 k k1 k2 l1 l0
type Apply (TyFun k1 (TyFun k2 (TyFun k3 k4 -> ) -> ) -> *) k (TyCon4 k k1 k2 k3 k4 f) x = TyCon3 k1 k2 k3 k4 (f x)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 ((,,,,,) k k1 k2 k3 k4 k5) -> ) -> ) -> ) -> ) -> *) k (Tuple6Sym0 k k1 k2 k3 k4 k5) l0 = Tuple6Sym1 k k1 k2 k3 k4 k5 l0
type Apply (TyFun k1 (TyFun k2 (TyFun k3 ((,,,,) k4 k k1 k2 k3) -> ) -> ) -> *) k (Tuple5Sym1 k4 k k1 k2 k3 l1) l0 = Tuple5Sym2 k4 k k1 k2 k3 l1 l0
type Apply (TyFun k1 ((,,,) k2 k3 k k1) -> *) k (Tuple4Sym2 k2 k3 k k1 l1 l2) l0 = Tuple4Sym3 k2 k3 k k1 l1 l2 l0
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 k5 -> ) -> ) -> ) -> ) k (TyCon5 k k1 k2 k3 k4 k5 f) x = TyCon4 k1 k2 k3 k4 k5 (f x)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 (TyFun k6 ((,,,,,,) k k1 k2 k3 k4 k5 k6) -> ) -> ) -> ) -> ) -> ) -> ) k (Tuple7Sym0 k k1 k2 k3 k4 k5 k6) l0 = Tuple7Sym1 k k1 k2 k3 k4 k5 k6 l0
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 ((,,,,,) k5 k k1 k2 k3 k4) -> ) -> ) -> ) -> ) k (Tuple6Sym1 k5 k k1 k2 k3 k4 l1) l0 = Tuple6Sym2 k5 k k1 k2 k3 k4 l1 l0
type Apply (TyFun k1 (TyFun k2 ((,,,,) k3 k4 k k1 k2) -> ) -> ) k (Tuple5Sym2 k3 k4 k k1 k2 l1 l2) l0 = Tuple5Sym3 k3 k4 k k1 k2 l1 l2 l0
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 k6 -> ) -> ) -> ) -> ) -> *) k (TyCon6 k k1 k2 k3 k4 k5 k6 f) x = TyCon5 k1 k2 k3 k4 k5 k6 (f x)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 ((,,,,,,) k6 k k1 k2 k3 k4 k5) -> ) -> ) -> ) -> ) -> *) k (Tuple7Sym1 k6 k k1 k2 k3 k4 k5 l1) l0 = Tuple7Sym2 k6 k k1 k2 k3 k4 k5 l1 l0
type Apply (TyFun k1 (TyFun k2 (TyFun k3 ((,,,,,) k4 k5 k k1 k2 k3) -> ) -> ) -> *) k (Tuple6Sym2 k4 k5 k k1 k2 k3 l1 l2) l0 = Tuple6Sym3 k4 k5 k k1 k2 k3 l1 l2 l0
type Apply (TyFun k1 ((,,,,) k2 k3 k4 k k1) -> *) k (Tuple5Sym3 k2 k3 k4 k k1 l1 l2 l3) l0 = Tuple5Sym4 k2 k3 k4 k k1 l1 l2 l3 l0
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 (TyFun k6 k7 -> ) -> ) -> ) -> ) -> ) -> ) k (TyCon7 k k1 k2 k3 k4 k5 k6 k7 f) x = TyCon6 k1 k2 k3 k4 k5 k6 k7 (f x)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 ((,,,,,,) k5 k6 k k1 k2 k3 k4) -> ) -> ) -> ) -> ) k (Tuple7Sym2 k5 k6 k k1 k2 k3 k4 l1 l2) l0 = Tuple7Sym3 k5 k6 k k1 k2 k3 k4 l1 l2 l0
type Apply (TyFun k1 (TyFun k2 ((,,,,,) k3 k4 k5 k k1 k2) -> ) -> ) k (Tuple6Sym3 k3 k4 k5 k k1 k2 l1 l2 l3) l0 = Tuple6Sym4 k3 k4 k5 k k1 k2 l1 l2 l3 l0
type Apply (TyFun k1 (TyFun k2 (TyFun k3 ((,,,,,,) k4 k5 k6 k k1 k2 k3) -> ) -> ) -> *) k (Tuple7Sym3 k4 k5 k6 k k1 k2 k3 l1 l2 l3) l0 = Tuple7Sym4 k4 k5 k6 k k1 k2 k3 l1 l2 l3 l0
type Apply (TyFun k1 ((,,,,,) k2 k3 k4 k5 k k1) -> *) k (Tuple6Sym4 k2 k3 k4 k5 k k1 l1 l2 l3 l4) l0 = Tuple6Sym5 k2 k3 k4 k5 k k1 l1 l2 l3 l4 l0
type Apply (TyFun k1 (TyFun k2 ((,,,,,,) k3 k4 k5 k6 k k1 k2) -> ) -> ) k (Tuple7Sym4 k3 k4 k5 k6 k k1 k2 l1 l2 l3 l4) l0 = Tuple7Sym5 k3 k4 k5 k6 k k1 k2 l1 l2 l3 l4 l0
type Apply (TyFun k1 ((,,,,,,) k2 k3 k4 k5 k6 k k1) -> *) k (Tuple7Sym5 k2 k3 k4 k5 k6 k k1 l1 l2 l3 l4 l5) l0 = Tuple7Sym6 k2 k3 k4 k5 k6 k k1 l1 l2 l3 l4 l5 l0
type DemoteRep (TyFun k1 k2 -> ) (KProxy (TyFun k1 k2 -> )) = DemoteRep k1 (KProxy k1) -> DemoteRep k2 (KProxy k2)
type Apply (TyFun [[k]] [k] -> *) [k] (IntercalateSym0 k) l0 = IntercalateSym1 k l0
type Apply (TyFun [k] [k] -> *) [k] ((:++$) k) l0 = (:++$$) k l0
type Apply (TyFun [k] Bool -> *) [k] (IsSuffixOfSym0 k) l0 = IsSuffixOfSym1 k l0
type Apply (TyFun [k] [k] -> *) [k] ((:\\$) k) l0 = (:\\$$) k l0
type Apply (TyFun [k] Bool -> *) [k] (IsInfixOfSym0 k) l0 = IsInfixOfSym1 k l0
type Apply (TyFun [k] Bool -> *) [k] (IsPrefixOfSym0 k) l0 = IsPrefixOfSym1 k l0
type Apply (TyFun [k] (Maybe [k]) -> *) [k] (StripPrefixSym0 k) l0 = StripPrefixSym1 k l0
type Apply (TyFun [k] [k] -> *) [k] (IntersectSym0 k) l0 = IntersectSym1 k l0
type Apply (TyFun [k] [k] -> *) [k] (UnionSym0 k) l0 = UnionSym1 k l0
type Apply (TyFun Nat k -> *) [k] ((:!!$) k) l0 = (:!!$$) k l0
type Apply (TyFun [k] [k] -> *) [k] (DeleteFirstsBySym1 k l1) l0 = DeleteFirstsBySym2 k l1 l0
type Apply (TyFun [k1] [(,) k k1] -> *) [k] (ZipSym0 k k1) l0 = ZipSym1 k k1 l0
type Apply (TyFun [k] [k] -> *) [k] (IntersectBySym1 k l1) l0 = IntersectBySym2 k l1 l0
type Apply (TyFun [k] [k] -> *) [k] (UnionBySym1 k l1) l0 = UnionBySym2 k l1 l0
type Apply (TyFun k1 k -> *) [k] (GenericIndexSym0 k k1) l0 = GenericIndexSym1 k k1 l0
type Apply (TyFun [k1] (TyFun [k2] [(,,) k k1 k2] -> ) -> ) [k] (Zip3Sym0 k k1 k2) l0 = Zip3Sym1 k k1 k2 l0
type Apply (TyFun [k1] [(,,) k2 k k1] -> *) [k] (Zip3Sym1 k2 k k1 l1) l0 = Zip3Sym2 k2 k k1 l1 l0
type Apply (TyFun [k1] [k2] -> *) [k] (ZipWithSym1 k k1 k2 l1) l0 = ZipWithSym2 k k1 k2 l1 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] [(,,,) k k1 k2 k3] -> ) -> ) -> *) [k] (Zip4Sym0 k k1 k2 k3) l0 = Zip4Sym1 k k1 k2 k3 l0
type Apply (TyFun [k1] (TyFun [k2] [k3] -> ) -> ) [k] (ZipWith3Sym1 k k1 k2 k3 l1) l0 = ZipWith3Sym2 k k1 k2 k3 l1 l0
type Apply (TyFun [k1] (TyFun [k2] [(,,,) k3 k k1 k2] -> ) -> ) [k] (Zip4Sym1 k3 k k1 k2 l1) l0 = Zip4Sym2 k3 k k1 k2 l1 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] [(,,,,) k k1 k2 k3 k4] -> ) -> ) -> ) -> ) [k] (Zip5Sym0 k k1 k2 k3 k4) l0 = Zip5Sym1 k k1 k2 k3 k4 l0
type Apply (TyFun [k2] [k3] -> *) [k1] (ZipWith3Sym2 k k1 k2 k3 l1 l2) l0 = ZipWith3Sym3 k k1 k2 k3 l1 l2 l0
type Apply (TyFun [k1] [(,,,) k2 k3 k k1] -> *) [k] (Zip4Sym2 k2 k3 k k1 l1 l2) l0 = Zip4Sym3 k2 k3 k k1 l1 l2 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] [(,,,,) k4 k k1 k2 k3] -> ) -> ) -> *) [k] (Zip5Sym1 k4 k k1 k2 k3 l1) l0 = Zip5Sym2 k4 k k1 k2 k3 l1 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] [(,,,,,) k k1 k2 k3 k4 k5] -> ) -> ) -> ) -> ) -> *) [k] (Zip6Sym0 k k1 k2 k3 k4 k5) l0 = Zip6Sym1 k k1 k2 k3 k4 k5 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] [k4] -> ) -> ) -> *) [k] (ZipWith4Sym1 k k1 k2 k3 k4 l1) l0 = ZipWith4Sym2 k k1 k2 k3 k4 l1 l0
type Apply (TyFun [k1] (TyFun [k2] [(,,,,) k3 k4 k k1 k2] -> ) -> ) [k] (Zip5Sym2 k3 k4 k k1 k2 l1 l2) l0 = Zip5Sym3 k3 k4 k k1 k2 l1 l2 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] [(,,,,,) k5 k k1 k2 k3 k4] -> ) -> ) -> ) -> ) [k] (Zip6Sym1 k5 k k1 k2 k3 k4 l1) l0 = Zip6Sym2 k5 k k1 k2 k3 k4 l1 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] (TyFun [k6] [(,,,,,,) k k1 k2 k3 k4 k5 k6] -> ) -> ) -> ) -> ) -> ) -> ) [k] (Zip7Sym0 k k1 k2 k3 k4 k5 k6) l0 = Zip7Sym1 k k1 k2 k3 k4 k5 k6 l0
type Apply (TyFun [k2] (TyFun [k3] [k4] -> ) -> ) [k1] (ZipWith4Sym2 k k1 k2 k3 k4 l1 l2) l0 = ZipWith4Sym3 k k1 k2 k3 k4 l1 l2 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] [k5] -> ) -> ) -> ) -> ) [k] (ZipWith5Sym1 k k1 k2 k3 k4 k5 l1) l0 = ZipWith5Sym2 k k1 k2 k3 k4 k5 l1 l0
type Apply (TyFun [k1] [(,,,,) k2 k3 k4 k k1] -> *) [k] (Zip5Sym3 k2 k3 k4 k k1 l1 l2 l3) l0 = Zip5Sym4 k2 k3 k4 k k1 l1 l2 l3 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] [(,,,,,) k4 k5 k k1 k2 k3] -> ) -> ) -> *) [k] (Zip6Sym2 k4 k5 k k1 k2 k3 l1 l2) l0 = Zip6Sym3 k4 k5 k k1 k2 k3 l1 l2 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] [(,,,,,,) k6 k k1 k2 k3 k4 k5] -> ) -> ) -> ) -> ) -> *) [k] (Zip7Sym1 k6 k k1 k2 k3 k4 k5 l1) l0 = Zip7Sym2 k6 k k1 k2 k3 k4 k5 l1 l0
type Apply (TyFun [k3] [k4] -> *) [k2] (ZipWith4Sym3 k k1 k2 k3 k4 l1 l2 l3) l0 = ZipWith4Sym4 k k1 k2 k3 k4 l1 l2 l3 l0
type Apply (TyFun [k2] (TyFun [k3] (TyFun [k4] [k5] -> ) -> ) -> *) [k1] (ZipWith5Sym2 k k1 k2 k3 k4 k5 l1 l2) l0 = ZipWith5Sym3 k k1 k2 k3 k4 k5 l1 l2 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] [k6] -> ) -> ) -> ) -> ) -> *) [k] (ZipWith6Sym1 k k1 k2 k3 k4 k5 k6 l1) l0 = ZipWith6Sym2 k k1 k2 k3 k4 k5 k6 l1 l0
type Apply (TyFun [k1] (TyFun [k2] [(,,,,,) k3 k4 k5 k k1 k2] -> ) -> ) [k] (Zip6Sym3 k3 k4 k5 k k1 k2 l1 l2 l3) l0 = Zip6Sym4 k3 k4 k5 k k1 k2 l1 l2 l3 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] [(,,,,,,) k5 k6 k k1 k2 k3 k4] -> ) -> ) -> ) -> ) [k] (Zip7Sym2 k5 k6 k k1 k2 k3 k4 l1 l2) l0 = Zip7Sym3 k5 k6 k k1 k2 k3 k4 l1 l2 l0
type Apply (TyFun [k3] (TyFun [k4] [k5] -> ) -> ) [k2] (ZipWith5Sym3 k k1 k2 k3 k4 k5 l1 l2 l3) l0 = ZipWith5Sym4 k k1 k2 k3 k4 k5 l1 l2 l3 l0
type Apply (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] [k6] -> ) -> ) -> ) -> ) [k1] (ZipWith6Sym2 k k1 k2 k3 k4 k5 k6 l1 l2) l0 = ZipWith6Sym3 k k1 k2 k3 k4 k5 k6 l1 l2 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] (TyFun [k6] [k7] -> ) -> ) -> ) -> ) -> ) -> ) [k] (ZipWith7Sym1 k k1 k2 k3 k4 k5 k6 k7 l1) l0 = ZipWith7Sym2 k k1 k2 k3 k4 k5 k6 k7 l1 l0
type Apply (TyFun [k1] [(,,,,,) k2 k3 k4 k5 k k1] -> *) [k] (Zip6Sym4 k2 k3 k4 k5 k k1 l1 l2 l3 l4) l0 = Zip6Sym5 k2 k3 k4 k5 k k1 l1 l2 l3 l4 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] [(,,,,,,) k4 k5 k6 k k1 k2 k3] -> ) -> ) -> *) [k] (Zip7Sym3 k4 k5 k6 k k1 k2 k3 l1 l2 l3) l0 = Zip7Sym4 k4 k5 k6 k k1 k2 k3 l1 l2 l3 l0
type Apply (TyFun [k4] [k5] -> *) [k3] (ZipWith5Sym4 k k1 k2 k3 k4 k5 l1 l2 l3 l4) l0 = ZipWith5Sym5 k k1 k2 k3 k4 k5 l1 l2 l3 l4 l0
type Apply (TyFun [k3] (TyFun [k4] (TyFun [k5] [k6] -> ) -> ) -> *) [k2] (ZipWith6Sym3 k k1 k2 k3 k4 k5 k6 l1 l2 l3) l0 = ZipWith6Sym4 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l0
type Apply (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] (TyFun [k6] [k7] -> ) -> ) -> ) -> ) -> *) [k1] (ZipWith7Sym2 k k1 k2 k3 k4 k5 k6 k7 l1 l2) l0 = ZipWith7Sym3 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l0
type Apply (TyFun [k1] (TyFun [k2] [(,,,,,,) k3 k4 k5 k6 k k1 k2] -> ) -> ) [k] (Zip7Sym4 k3 k4 k5 k6 k k1 k2 l1 l2 l3 l4) l0 = Zip7Sym5 k3 k4 k5 k6 k k1 k2 l1 l2 l3 l4 l0
type Apply (TyFun [k4] (TyFun [k5] [k6] -> ) -> ) [k3] (ZipWith6Sym4 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l4) l0 = ZipWith6Sym5 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l4 l0
type Apply (TyFun [k3] (TyFun [k4] (TyFun [k5] (TyFun [k6] [k7] -> ) -> ) -> ) -> ) [k2] (ZipWith7Sym3 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3) l0 = ZipWith7Sym4 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l0
type Apply (TyFun [k1] [(,,,,,,) k2 k3 k4 k5 k6 k k1] -> *) [k] (Zip7Sym5 k2 k3 k4 k5 k6 k k1 l1 l2 l3 l4 l5) l0 = Zip7Sym6 k2 k3 k4 k5 k6 k k1 l1 l2 l3 l4 l5 l0
type Apply (TyFun [k5] [k6] -> *) [k4] (ZipWith6Sym5 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l4 l5) l0 = ZipWith6Sym6 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l4 l5 l0
type Apply (TyFun [k4] (TyFun [k5] (TyFun [k6] [k7] -> ) -> ) -> *) [k3] (ZipWith7Sym4 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4) l0 = ZipWith7Sym5 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l0
type Apply (TyFun [k5] (TyFun [k6] [k7] -> ) -> ) [k4] (ZipWith7Sym5 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5) l0 = ZipWith7Sym6 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l0
type Apply (TyFun [k6] [k7] -> *) [k5] (ZipWith7Sym6 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6) l0 = ZipWith7Sym7 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6 l0
type Apply (TyFun (TyFun k k -> ) (TyFun k k -> ) -> ) (TyFun k Bool -> ) (UntilSym0 k) l0 = UntilSym1 k l0
type Apply (TyFun [k] Bool -> ) (TyFun k Bool -> ) (Any_Sym0 k) l0 = Any_Sym1 k l0
type Apply (TyFun [k] (TyFun [k] [k] -> ) -> ) (TyFun k (TyFun k Bool -> ) -> ) (DeleteFirstsBySym0 k) l0 = DeleteFirstsBySym1 k l0
type Apply (TyFun [k] k -> ) (TyFun k (TyFun k Ordering -> ) -> *) (MinimumBySym0 k) l0 = MinimumBySym1 k l0
type Apply (TyFun [k] k -> ) (TyFun k (TyFun k Ordering -> ) -> *) (MaximumBySym0 k) l0 = MaximumBySym1 k l0
type Apply (TyFun [k] k -> ) (TyFun k (TyFun k k -> ) -> *) (Foldl1Sym0 k) l0 = Foldl1Sym1 k l0
type Apply (TyFun [k] k -> ) (TyFun k (TyFun k k -> ) -> *) (Foldl1'Sym0 k) l0 = Foldl1'Sym1 k l0
type Apply (TyFun [k] k -> ) (TyFun k (TyFun k k -> ) -> *) (Foldr1Sym0 k) l0 = Foldr1Sym1 k l0
type Apply (TyFun [k] Bool -> ) (TyFun k Bool -> ) (AllSym0 k) l0 = AllSym1 k l0
type Apply (TyFun [k] [k] -> ) (TyFun k (TyFun k k -> ) -> *) (Scanl1Sym0 k) l0 = Scanl1Sym1 k l0
type Apply (TyFun [k] [k] -> ) (TyFun k (TyFun k k -> ) -> *) (Scanr1Sym0 k) l0 = Scanr1Sym1 k l0
type Apply (TyFun [k] [k] -> ) (TyFun k (TyFun k Ordering -> ) -> *) (SortBySym0 k) l0 = SortBySym1 k l0
type Apply (TyFun [k] (Maybe Nat) -> ) (TyFun k Bool -> ) (FindIndexSym0 k) l0 = FindIndexSym1 k l0
type Apply (TyFun [k] [Nat] -> ) (TyFun k Bool -> ) (FindIndicesSym0 k) l0 = FindIndicesSym1 k l0
type Apply (TyFun [k] [k] -> ) (TyFun k Bool -> ) (TakeWhileSym0 k) l0 = TakeWhileSym1 k l0
type Apply (TyFun [k] [k] -> ) (TyFun k Bool -> ) (DropWhileSym0 k) l0 = DropWhileSym1 k l0
type Apply (TyFun [k] [k] -> ) (TyFun k Bool -> ) (DropWhileEndSym0 k) l0 = DropWhileEndSym1 k l0
type Apply (TyFun [k] [[k]] -> ) (TyFun k (TyFun k Bool -> ) -> *) (GroupBySym0 k) l0 = GroupBySym1 k l0
type Apply (TyFun [k] ((,) [k] [k]) -> ) (TyFun k Bool -> ) (SpanSym0 k) l0 = SpanSym1 k l0
type Apply (TyFun [k] ((,) [k] [k]) -> ) (TyFun k Bool -> ) (BreakSym0 k) l0 = BreakSym1 k l0
type Apply (TyFun [k] (Maybe k) -> ) (TyFun k Bool -> ) (FindSym0 k) l0 = FindSym1 k l0
type Apply (TyFun [k] (TyFun [k] [k] -> ) -> ) (TyFun k (TyFun k Bool -> ) -> ) (IntersectBySym0 k) l0 = IntersectBySym1 k l0
type Apply (TyFun [k] [k] -> ) (TyFun k Bool -> ) (FilterSym0 k) l0 = FilterSym1 k l0
type Apply (TyFun [k] ((,) [k] [k]) -> ) (TyFun k Bool -> ) (PartitionSym0 k) l0 = PartitionSym1 k l0
type Apply (TyFun [k] (TyFun [k] [k] -> ) -> ) (TyFun k (TyFun k Bool -> ) -> ) (UnionBySym0 k) l0 = UnionBySym1 k l0
type Apply (TyFun [k] [k] -> ) (TyFun k (TyFun k Bool -> ) -> *) (NubBySym0 k) l0 = NubBySym1 k l0
type Apply (TyFun k (TyFun [k] [k] -> ) -> ) (TyFun k (TyFun k Bool -> ) -> ) (DeleteBySym0 k) l0 = DeleteBySym1 k l0
type Apply (TyFun k (TyFun [k] [k] -> ) -> ) (TyFun k (TyFun k Ordering -> ) -> ) (InsertBySym0 k) l0 = InsertBySym1 k l0
type Apply (TyFun [k] [k1] -> ) (TyFun k k1 -> ) (MapSym0 k k1) l0 = MapSym1 k k1 l0
type Apply (TyFun [k] [k1] -> ) (TyFun k [k1] -> ) (ConcatMapSym0 k k1) l0 = ConcatMapSym1 k k1 l0
type Apply (TyFun [k] [k1] -> ) (TyFun k (Maybe k1) -> ) (MapMaybeSym0 k k1) l0 = MapMaybeSym1 k k1 l0
type Apply (TyFun k k1 -> ) (TyFun k k1 -> ) (($!$) k k1) arg = ($!$$) k k1 arg
type Apply (TyFun k k1 -> ) (TyFun k k1 -> ) (($$) k k1) arg = ($$$) k k1 arg
type Apply (TyFun k1 (TyFun [k] k1 -> ) -> ) (TyFun k (TyFun k1 k1 -> ) -> ) (FoldrSym0 k k1) l0 = FoldrSym1 k k1 l0
type Apply (TyFun k k -> ) (TyFun k k -> ) (UntilSym1 k l1) l0 = UntilSym2 k l1 l0
type Apply (TyFun k (TyFun [k1] k -> ) -> ) (TyFun k (TyFun k1 k -> ) -> ) (FoldlSym0 k k1) l0 = FoldlSym1 k k1 l0
type Apply (TyFun k (TyFun [k1] k -> ) -> ) (TyFun k (TyFun k1 k -> ) -> ) (Foldl'Sym0 k k1) l0 = Foldl'Sym1 k k1 l0
type Apply (TyFun k (TyFun [k1] [k] -> ) -> ) (TyFun k (TyFun k1 k -> ) -> ) (ScanlSym0 k k1) l0 = ScanlSym1 k k1 l0
type Apply (TyFun k1 (TyFun [k] [k1] -> ) -> ) (TyFun k (TyFun k1 k1 -> ) -> ) (ScanrSym0 k k1) l0 = ScanrSym1 k k1 l0
type Apply (TyFun k [k1] -> ) (TyFun k (Maybe ((,) k1 k)) -> ) (UnfoldrSym0 k k1) l0 = UnfoldrSym1 k k1 l0
type Apply (TyFun (TyFun k2 k -> ) (TyFun k2 k1 -> ) -> ) (TyFun k k1 -> ) ((:.$) k k1 k2) l0 = (:.$$) k k1 k2 l0
type Apply (TyFun (TyFun k2 k1 -> ) (TyFun (Either k k2) k1 -> ) -> ) (TyFun k k1 -> ) (Either_Sym0 k k1 k2) l0 = Either_Sym1 k k1 k2 l0
type Apply (TyFun [k] (TyFun [k1] [k2] -> ) -> ) (TyFun k (TyFun k1 k2 -> ) -> ) (ZipWithSym0 k k1 k2) l0 = ZipWithSym1 k k1 k2 l0
type Apply (TyFun ((,) k k1) k2 -> ) (TyFun k (TyFun k1 k2 -> ) -> *) (UncurrySym0 k k1 k2) l0 = UncurrySym1 k k1 k2 l0
type Apply (TyFun k1 (TyFun k k2 -> ) -> ) (TyFun k (TyFun k1 k2 -> ) -> ) (FlipSym0 k k1 k2) l0 = FlipSym1 k k1 k2 l0
type Apply (TyFun k (TyFun k1 k2 -> ) -> ) (TyFun ((,) k k1) k2 -> *) (CurrySym0 k k1 k2) l0 = CurrySym1 k k1 k2 l0
type Apply (TyFun k (TyFun [k1] ((,) k [k2]) -> ) -> ) (TyFun k (TyFun k1 ((,) k k2) -> ) -> ) (MapAccumLSym0 k k1 k2) l0 = MapAccumLSym1 k k1 k2 l0
type Apply (TyFun k (TyFun [k1] ((,) k [k2]) -> ) -> ) (TyFun k (TyFun k1 ((,) k k2) -> ) -> ) (MapAccumRSym0 k k1 k2) l0 = MapAccumRSym1 k k1 k2 l0
type Apply (TyFun (Maybe k) k1 -> ) (TyFun k k1 -> ) (Maybe_Sym1 k1 k l1) l0 = Maybe_Sym2 k1 k l1 l0
type Apply (TyFun [k] (TyFun [k1] (TyFun [k2] [k3] -> ) -> ) -> ) (TyFun k (TyFun k1 (TyFun k2 k3 -> ) -> ) -> ) (ZipWith3Sym0 k k1 k2 k3) l0 = ZipWith3Sym1 k k1 k2 k3 l0
type Apply (TyFun (Either k1 k) k2 -> ) (TyFun k k2 -> ) (Either_Sym1 k1 k2 k l1) l0 = Either_Sym2 k1 k2 k l1 l0
type Apply (TyFun k k2 -> ) (TyFun k k1 -> ) ((:.$$) k1 k2 k l1) l0 = (:.$$$) k1 k2 k l1 l0
type Apply (TyFun [k] (TyFun [k1] (TyFun [k2] (TyFun [k3] [k4] -> ) -> ) -> ) -> ) (TyFun k (TyFun k1 (TyFun k2 (TyFun k3 k4 -> ) -> ) -> ) -> ) (ZipWith4Sym0 k k1 k2 k3 k4) l0 = ZipWith4Sym1 k k1 k2 k3 k4 l0
type Apply (TyFun [k] (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] [k5] -> ) -> ) -> ) -> ) -> ) (TyFun k (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 k5 -> ) -> ) -> ) -> ) -> ) (ZipWith5Sym0 k k1 k2 k3 k4 k5) l0 = ZipWith5Sym1 k k1 k2 k3 k4 k5 l0
type Apply (TyFun [k] (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] [k6] -> ) -> ) -> ) -> ) -> ) -> ) (TyFun k (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 k6 -> ) -> ) -> ) -> ) -> ) -> ) (ZipWith6Sym0 k k1 k2 k3 k4 k5 k6) l0 = ZipWith6Sym1 k k1 k2 k3 k4 k5 k6 l0
type Apply (TyFun [k] (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] (TyFun [k6] [k7] -> ) -> ) -> ) -> ) -> ) -> ) -> ) (TyFun k (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 (TyFun k6 k7 -> ) -> ) -> ) -> ) -> ) -> ) -> ) (ZipWith7Sym0 k k1 k2 k3 k4 k5 k6 k7) l0 = ZipWith7Sym1 k k1 k2 k3 k4 k5 k6 k7 l0

type family Apply f x :: k2 Source

Type level function application

Instances

type Apply Bool Bool NotSym0 l0 = NotSym1 l0
type Apply Bool Bool ((:&&$$) l1) l0 = (:&&$$$) l1 l0
type Apply Bool Bool ((:\|\|$$) l1) l0 = (:\|\|$$$) l1 l0
type Apply Ordering Ordering (ThenCmpSym1 l1) l0 = ThenCmpSym2 l1 l0
type Apply Nat Nat ((:^$$) l1) l0
type Apply Nat Nat ((:*$$) l1) l0
type Apply Nat Nat ((:-$$) l1) l0
type Apply Nat Nat ((:+$$) l1) l0
type Apply k k (IdSym0 k) l0 = IdSym1 k l0
type Apply Bool k ((:/=$$) k l1) l0 = (:/=$$$) k l1 l0
type Apply Bool k ((:==$$) k l1) l0 = (:==$$$) k l1 l0
type Apply Bool k ((:<=$$) k l1) l0 = (:<=$$$) k l1 l0
type Apply Bool k ((:>$$) k l1) l0 = (:>$$$) k l1 l0
type Apply Bool k ((:>=$$) k l1) l0 = (:>=$$$) k l1 l0
type Apply Bool k ((:<$$) k l1) l0 = (:<$$$) k l1 l0
type Apply Ordering k (CompareSym1 k l1) l0 = CompareSym2 k l1 l0
type Apply k k (MinSym1 k l1) l0 = MinSym2 k l1 l0
type Apply k k (MaxSym1 k l1) l0 = MaxSym2 k l1 l0
type Apply k Symbol (ErrorSym0 Symbol k) a = Error k a
type Apply k k (AsTypeOfSym1 k l1) l0 = AsTypeOfSym2 k l1 l0
type Apply k Nat ((:!!$$) k l1) l0 = (:!!$$$) k l1 l0
type Apply k1 k (TyCon1 k k1 f) x = f x
type Apply k Bool (Bool_Sym2 k l1 l2) l0 = Bool_Sym3 k l1 l2 l0
type Apply k1 k (($!$$) k k1 f) arg = ($!$$$) k1 k f arg
type Apply k1 k (($$$) k k1 f) arg = ($$$$) k1 k f arg
type Apply k1 k (ConstSym1 k1 k l1) l0 = ConstSym2 k1 k l1 l0
type Apply k k (SeqSym1 k1 k l1) l0 = SeqSym2 k1 k l1 l0
type Apply k k (UntilSym2 k l1 l2) l0 = UntilSym3 k l1 l2 l0
type Apply k1 k (GenericIndexSym1 k1 k l1) l0 = GenericIndexSym2 k1 k l1 l0
type Apply k2 k ((:.$$$) k1 k2 k l1 l2) l0
type Apply k2 k (FlipSym2 k k1 k2 l1 l2) l0
type Apply k2 k (CurrySym2 k1 k k2 l1 l2) l0 = CurrySym3 k1 k k2 l1 l2 l0
type Apply Bool [Bool] AndSym0 l0 = AndSym1 l0
type Apply Bool [Bool] OrSym0 l0 = OrSym1 l0
type Apply Nat [Nat] SumSym0 l0 = SumSym1 l0
type Apply Nat [Nat] ProductSym0 l0 = ProductSym1 l0
type Apply Bool [k] (NullSym0 k) l0 = NullSym1 k l0
type Apply Bool (Maybe k) (IsJustSym0 k) l0 = IsJustSym1 k l0
type Apply Bool (Maybe k) (IsNothingSym0 k) l0 = IsNothingSym1 k l0
type Apply Nat [k] (LengthSym0 k) l0 = LengthSym1 k l0
type Apply k [k] (HeadSym0 k) l0 = HeadSym1 k l0
type Apply k [k] (LastSym0 k) l0 = LastSym1 k l0
type Apply k (Maybe k) (FromJustSym0 k) l0 = FromJustSym1 k l0
type Apply k [k] (MaximumSym0 k) l0 = MaximumSym1 k l0
type Apply k [k] (MinimumSym0 k) l0 = MinimumSym1 k l0
type Apply Bool [k] (Any_Sym1 k l1) l0 = Any_Sym2 k l1 l0
type Apply Bool [k] (IsSuffixOfSym1 k l1) l0 = IsSuffixOfSym2 k l1 l0
type Apply Bool [k] (AllSym1 k l1) l0 = AllSym2 k l1 l0
type Apply Bool [k] (IsInfixOfSym1 k l1) l0 = IsInfixOfSym2 k l1 l0
type Apply Bool [k] (IsPrefixOfSym1 k l1) l0 = IsPrefixOfSym2 k l1 l0
type Apply Bool [k] (ElemSym1 k l1) l0 = ElemSym2 k l1 l0
type Apply Bool [k] (NotElemSym1 k l1) l0 = NotElemSym2 k l1 l0
type Apply k [k] (MinimumBySym1 k l1) l0 = MinimumBySym2 k l1 l0
type Apply k [k] (MaximumBySym1 k l1) l0 = MaximumBySym2 k l1 l0
type Apply k [k] (Foldl1Sym1 k l1) l0 = Foldl1Sym2 k l1 l0
type Apply k [k] (Foldl1'Sym1 k l1) l0 = Foldl1'Sym2 k l1 l0
type Apply k [k] (Foldr1Sym1 k l1) l0 = Foldr1Sym2 k l1 l0
type Apply k (Maybe k) (FromMaybeSym1 k l1) l0 = FromMaybeSym2 k l1 l0
type Apply k [k1] (GenericLengthSym0 k1 k) l0 = GenericLengthSym1 k1 k l0
type Apply k1 [k] (FoldrSym2 k k1 l1 l2) l0 = FoldrSym3 k k1 l1 l2 l0
type Apply k [k1] (FoldlSym2 k k1 l1 l2) l0 = FoldlSym3 k k1 l1 l2 l0
type Apply k [k1] (Foldl'Sym2 k k1 l1 l2) l0 = Foldl'Sym3 k k1 l1 l2 l0
type Apply k (Maybe k1) (Maybe_Sym2 k k1 l1 l2) l0 = Maybe_Sym3 k k1 l1 l2 l0
type Apply Bool (Either k k1) (IsLeftSym0 k k1) l0 = IsLeftSym1 k k1 l0
type Apply Bool (Either k k1) (IsRightSym0 k k1) l0 = IsRightSym1 k k1 l0
type Apply k ((,) k k1) (FstSym0 k k1) l0 = FstSym1 k k1 l0
type Apply k ((,) k1 k) (SndSym0 k1 k) l0 = SndSym1 k1 k l0
type Apply k2 ((,) k k1) (UncurrySym1 k k1 k2 l1) l0 = UncurrySym2 k k1 k2 l1 l0
type Apply k1 (Either k k2) (Either_Sym2 k k1 k2 l1 l2) l0 = Either_Sym3 k k1 k2 l1 l2 l0
type Apply (Maybe k) k (JustSym0 k) l0 = JustSym1 k l0
type Apply [k] k (ReplicateSym1 k l1) l0 = ReplicateSym2 k l1 l0
type Apply [k1] k (UnfoldrSym1 k k1 l1) l0 = UnfoldrSym2 k k1 l1 l0
type Apply [k] k (GenericReplicateSym1 k1 k l1) l0 = GenericReplicateSym2 k1 k l1 l0
type Apply [[k]] [k] (SubsequencesSym0 k) l0 = SubsequencesSym1 k l0
type Apply [[k]] [k] (PermutationsSym0 k) l0 = PermutationsSym1 k l0
type Apply [[k]] [k] (InitsSym0 k) l0 = InitsSym1 k l0
type Apply [[k]] [k] (TailsSym0 k) l0 = TailsSym1 k l0
type Apply [[k]] [[k]] (TransposeSym0 k) l0 = TransposeSym1 k l0
type Apply [[k]] [k] (GroupSym0 k) l0 = GroupSym1 k l0
type Apply [k] [k] (TailSym0 k) l0 = TailSym1 k l0
type Apply [k] [k] (InitSym0 k) l0 = InitSym1 k l0
type Apply [k] [k] (ReverseSym0 k) l0 = ReverseSym1 k l0
type Apply [k] [[k]] (ConcatSym0 k) l0 = ConcatSym1 k l0
type Apply [k] (Maybe k) (MaybeToListSym0 k) l0 = MaybeToListSym1 k l0
type Apply [k] [Maybe k] (CatMaybesSym0 k) l0 = CatMaybesSym1 k l0
type Apply [k] [k] (SortSym0 k) l0 = SortSym1 k l0
type Apply [k] [k] (NubSym0 k) l0 = NubSym1 k l0
type Apply (Maybe k) [k] (ListToMaybeSym0 k) l0 = ListToMaybeSym1 k l0
type Apply [[k]] [k] (GroupBySym1 k l1) l0 = GroupBySym2 k l1 l0
type Apply [Nat] [k] (ElemIndicesSym1 k l1) l0 = ElemIndicesSym2 k l1 l0
type Apply [Nat] [k] (FindIndicesSym1 k l1) l0 = FindIndicesSym2 k l1 l0
type Apply [k] [k] ((:$$) k l1) l0 = (:$$$) k l1 l0
type Apply [k] [k] ((:++$$) k l1) l0
type Apply [k] [Either k k1] (LeftsSym0 k k1) l0 = LeftsSym1 k k1 l0
type Apply [k] [Either k1 k] (RightsSym0 k1 k) l0 = RightsSym1 k1 k l0
type Apply [k] [[k]] (IntercalateSym1 k l1) l0 = IntercalateSym2 k l1 l0
type Apply [k] [k] (IntersperseSym1 k l1) l0 = IntersperseSym2 k l1 l0
type Apply [k] [k] ((:\\$$) k l1) l0 = (:\\$$$) k l1 l0
type Apply [k] [k] (Scanl1Sym1 k l1) l0 = Scanl1Sym2 k l1 l0
type Apply [k] [k] (Scanr1Sym1 k l1) l0 = Scanr1Sym2 k l1 l0
type Apply [k] [k] (DeleteSym1 k l1) l0 = DeleteSym2 k l1 l0
type Apply [k] [k] (SortBySym1 k l1) l0 = SortBySym2 k l1 l0
type Apply [k] [k] (TakeSym1 k l1) l0 = TakeSym2 k l1 l0
type Apply [k] [k] (DropSym1 k l1) l0 = DropSym2 k l1 l0
type Apply [k] [k] (TakeWhileSym1 k l1) l0 = TakeWhileSym2 k l1 l0
type Apply [k] [k] (DropWhileSym1 k l1) l0 = DropWhileSym2 k l1 l0
type Apply [k] [k] (DropWhileEndSym1 k l1) l0 = DropWhileEndSym2 k l1 l0
type Apply [k] [k] (InsertSym1 k l1) l0 = InsertSym2 k l1 l0
type Apply [k] [k] (IntersectSym1 k l1) l0 = IntersectSym2 k l1 l0
type Apply [k] [k] (FilterSym1 k l1) l0 = FilterSym2 k l1 l0
type Apply [k] [k] (UnionSym1 k l1) l0 = UnionSym2 k l1 l0
type Apply [k] [k] (NubBySym1 k l1) l0 = NubBySym2 k l1 l0
type Apply (Maybe [k]) [k] (StripPrefixSym1 k l1) l0
type Apply (Maybe Nat) [k] (ElemIndexSym1 k l1) l0 = ElemIndexSym2 k l1 l0
type Apply (Maybe Nat) [k] (FindIndexSym1 k l1) l0 = FindIndexSym2 k l1 l0
type Apply (Maybe k) [k] (FindSym1 k l1) l0 = FindSym2 k l1 l0
type Apply [(,) k1 k] [k] (ZipSym1 k1 k l1) l0 = ZipSym2 k1 k l1 l0
type Apply [k1] [k] (MapSym1 k k1 l1) l0 = MapSym2 k k1 l1 l0
type Apply [k] [k] (DeleteFirstsBySym2 k l1 l2) l0 = DeleteFirstsBySym3 k l1 l2 l0
type Apply [k1] [k] (ConcatMapSym1 k k1 l1) l0 = ConcatMapSym2 k k1 l1 l0
type Apply [k] [k] (DeleteBySym2 k l1 l2) l0 = DeleteBySym3 k l1 l2 l0
type Apply [k] [k] (InsertBySym2 k l1 l2) l0 = InsertBySym3 k l1 l2 l0
type Apply [k1] [k] (MapMaybeSym1 k k1 l1) l0 = MapMaybeSym2 k k1 l1 l0
type Apply [k] [k] (GenericTakeSym1 k1 k l1) l0 = GenericTakeSym2 k1 k l1 l0
type Apply [k] [k] (GenericDropSym1 k1 k l1) l0 = GenericDropSym2 k1 k l1 l0
type Apply [k] [k] (IntersectBySym2 k l1 l2) l0
type Apply [k] [k] (UnionBySym2 k l1 l2) l0 = UnionBySym3 k l1 l2 l0
type Apply (Maybe k) [(,) k1 k] (LookupSym1 k1 k l1) l0 = LookupSym2 k1 k l1 l0
type Apply [k] [k1] (ScanlSym2 k k1 l1 l2) l0 = ScanlSym3 k k1 l1 l2 l0
type Apply [k1] [k] (ScanrSym2 k k1 l1 l2) l0 = ScanrSym3 k k1 l1 l2 l0
type Apply [(,,) k1 k2 k] [k] (Zip3Sym2 k1 k2 k l1 l2) l0 = Zip3Sym3 k1 k2 k l1 l2 l0
type Apply [k2] [k1] (ZipWithSym2 k k1 k2 l1 l2) l0 = ZipWithSym3 k k1 k2 l1 l2 l0
type Apply [(,,,) k1 k2 k3 k] [k] (Zip4Sym3 k1 k2 k3 k l1 l2 l3) l0 = Zip4Sym4 k1 k2 k3 k l1 l2 l3 l0
type Apply [k3] [k2] (ZipWith3Sym3 k k1 k2 k3 l1 l2 l3) l0
type Apply [(,,,,) k1 k2 k3 k4 k] [k] (Zip5Sym4 k1 k2 k3 k4 k l1 l2 l3 l4) l0 = Zip5Sym5 k1 k2 k3 k4 k l1 l2 l3 l4 l0
type Apply [k4] [k3] (ZipWith4Sym4 k k1 k2 k3 k4 l1 l2 l3 l4) l0
type Apply [(,,,,,) k1 k2 k3 k4 k5 k] [k] (Zip6Sym5 k1 k2 k3 k4 k5 k l1 l2 l3 l4 l5) l0 = Zip6Sym6 k1 k2 k3 k4 k5 k l1 l2 l3 l4 l5 l0
type Apply [k5] [k4] (ZipWith5Sym5 k k1 k2 k3 k4 k5 l1 l2 l3 l4 l5) l0
type Apply [(,,,,,,) k1 k2 k3 k4 k5 k6 k] [k] (Zip7Sym6 k1 k2 k3 k4 k5 k6 k l1 l2 l3 l4 l5 l6) l0 = Zip7Sym7 k1 k2 k3 k4 k5 k6 k l1 l2 l3 l4 l5 l6 l0
type Apply [k6] [k5] (ZipWith6Sym6 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l4 l5 l6) l0
type Apply [k7] [k6] (ZipWith7Sym7 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6 l7) l0
type Apply (TyFun Bool Bool -> *) Bool (:&&$) l0 = (:&&$$) l0
type Apply (TyFun Bool Bool -> *) Bool (:\|\|$) l0 = (:\|\|$$) l0
type Apply (TyFun Ordering Ordering -> *) Ordering ThenCmpSym0 l0 = ThenCmpSym1 l0
type Apply (TyFun Nat Nat -> *) Nat (:^$) l0 = (:^$$) l0
type Apply (TyFun Nat Nat -> ) Nat (:$) l0 = (:*$$) l0
type Apply (TyFun Nat Nat -> *) Nat (:-$) l0 = (:-$$) l0
type Apply (TyFun Nat Nat -> *) Nat (:+$) l0 = (:+$$) l0
type Apply (TyFun [k] [k] -> *) k ((:$) k) l0 = (:$$) k l0
type Apply (TyFun [k] [k] -> *) k (IntersperseSym0 k) l0 = IntersperseSym1 k l0
type Apply (TyFun [k] Bool -> *) k (ElemSym0 k) l0 = ElemSym1 k l0
type Apply (TyFun [k] Bool -> *) k (NotElemSym0 k) l0 = NotElemSym1 k l0
type Apply (TyFun [k] [k] -> *) k (DeleteSym0 k) l0 = DeleteSym1 k l0
type Apply (TyFun [k] (Maybe Nat) -> *) k (ElemIndexSym0 k) l0 = ElemIndexSym1 k l0
type Apply (TyFun [k] [Nat] -> *) k (ElemIndicesSym0 k) l0 = ElemIndicesSym1 k l0
type Apply (TyFun [k] ((,) [k] [k]) -> *) Nat (SplitAtSym0 k) l0 = SplitAtSym1 k l0
type Apply (TyFun [k] [k] -> *) Nat (TakeSym0 k) l0 = TakeSym1 k l0
type Apply (TyFun [k] [k] -> *) Nat (DropSym0 k) l0 = DropSym1 k l0
type Apply (TyFun [k] [k] -> *) k (InsertSym0 k) l0 = InsertSym1 k l0
type Apply (TyFun k (TyFun Bool k -> ) -> ) k (Bool_Sym0 k) l0 = Bool_Sym1 k l0
type Apply (TyFun k Bool -> *) k ((:/=$) k) l0 = (:/=$$) k l0
type Apply (TyFun k Bool -> *) k ((:==$) k) l0 = (:==$$) k l0
type Apply (TyFun k k -> *) k (MinSym0 k) l0 = MinSym1 k l0
type Apply (TyFun k k -> *) k (MaxSym0 k) l0 = MaxSym1 k l0
type Apply (TyFun k Bool -> *) k ((:<=$) k) l0 = (:<=$$) k l0
type Apply (TyFun k Bool -> *) k ((:>$) k) l0 = (:>$$) k l0
type Apply (TyFun k Bool -> *) k ((:>=$) k) l0 = (:>=$$) k l0
type Apply (TyFun k Bool -> *) k ((:<$) k) l0 = (:<$$) k l0
type Apply (TyFun k Ordering -> *) k (CompareSym0 k) l0 = CompareSym1 k l0
type Apply (TyFun k k -> *) k (AsTypeOfSym0 k) l0 = AsTypeOfSym1 k l0
type Apply (TyFun k [k] -> *) Nat (ReplicateSym0 k) l0 = ReplicateSym1 k l0
type Apply (TyFun (Maybe k) k -> *) k (FromMaybeSym0 k) l0 = FromMaybeSym1 k l0
type Apply (TyFun Bool k -> *) k (Bool_Sym1 k l1) l0 = Bool_Sym2 k l1 l0
type Apply (TyFun (TyFun k1 k -> ) (TyFun (Maybe k1) k -> ) -> *) k (Maybe_Sym0 k k1) l0 = Maybe_Sym1 k k1 l0
type Apply (TyFun [(,) k k1] (Maybe k1) -> *) k (LookupSym0 k k1) l0 = LookupSym1 k k1 l0
type Apply (TyFun [k] [k] -> *) k (DeleteBySym1 k l1) l0 = DeleteBySym2 k l1 l0
type Apply (TyFun [k] [k] -> *) k (InsertBySym1 k l1) l0 = InsertBySym2 k l1 l0
type Apply (TyFun [k1] [k1] -> *) k (GenericTakeSym0 k k1) l0 = GenericTakeSym1 k k1 l0
type Apply (TyFun [k1] ((,) [k1] [k1]) -> *) k (GenericSplitAtSym0 k k1) l0 = GenericSplitAtSym1 k k1 l0
type Apply (TyFun [k1] [k1] -> *) k (GenericDropSym0 k k1) l0 = GenericDropSym1 k k1 l0
type Apply (TyFun k1 ((,) k k1) -> *) k (Tuple2Sym0 k k1) l0 = Tuple2Sym1 k k1 l0
type Apply (TyFun k1 k -> *) k (ConstSym0 k k1) l0 = ConstSym1 k k1 l0
type Apply (TyFun k1 k1 -> *) k (SeqSym0 k k1) l0 = SeqSym1 k k1 l0
type Apply (TyFun k1 [k1] -> *) k (GenericReplicateSym0 k k1) l0 = GenericReplicateSym1 k k1 l0
type Apply (Either k1 k) k (RightSym0 k k1) l0 = RightSym1 k k1 l0
type Apply (Either k k1) k (LeftSym0 k k1) l0 = LeftSym1 k k1 l0
type Apply (TyFun [k1] k -> *) k (FoldrSym1 k1 k l1) l0 = FoldrSym2 k1 k l1 l0
type Apply (TyFun [k1] k -> *) k (FoldlSym1 k k1 l1) l0 = FoldlSym2 k k1 l1 l0
type Apply (TyFun [k1] k -> *) k (Foldl'Sym1 k k1 l1) l0 = Foldl'Sym2 k k1 l1 l0
type Apply (TyFun [k1] [k] -> *) k (ScanlSym1 k k1 l1) l0 = ScanlSym2 k k1 l1 l0
type Apply (TyFun [k1] [k] -> *) k (ScanrSym1 k1 k l1) l0 = ScanrSym2 k1 k l1 l0
type Apply (TyFun k1 (TyFun k2 ((,,) k k1 k2) -> ) -> ) k (Tuple3Sym0 k k1 k2) l0 = Tuple3Sym1 k k1 k2 l0
type Apply ((,) k1 k) k (Tuple2Sym1 k1 k l1) l0 = Tuple2Sym2 k1 k l1 l0
type Apply (TyFun [k1] ((,) k [k2]) -> *) k (MapAccumLSym1 k k1 k2 l1) l0 = MapAccumLSym2 k k1 k2 l1 l0
type Apply (TyFun [k1] ((,) k [k2]) -> *) k (MapAccumRSym1 k k1 k2 l1) l0 = MapAccumRSym2 k k1 k2 l1 l0
type Apply (TyFun k1 k2 -> *) k (TyCon2 k k1 k2 f) x = TyCon1 k1 k2 (f x)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 ((,,,) k k1 k2 k3) -> ) -> ) -> *) k (Tuple4Sym0 k k1 k2 k3) l0 = Tuple4Sym1 k k1 k2 k3 l0
type Apply (TyFun k1 ((,,) k2 k k1) -> *) k (Tuple3Sym1 k2 k k1 l1) l0 = Tuple3Sym2 k2 k k1 l1 l0
type Apply (TyFun k1 k2 -> *) k (FlipSym1 k1 k k2 l1) l0 = FlipSym2 k1 k k2 l1 l0
type Apply (TyFun k1 k2 -> *) k (CurrySym1 k k1 k2 l1) l0 = CurrySym2 k k1 k2 l1 l0
type Apply (TyFun k1 (TyFun k2 k3 -> ) -> ) k (TyCon3 k k1 k2 k3 f) x = TyCon2 k1 k2 k3 (f x)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 ((,,,,) k k1 k2 k3 k4) -> ) -> ) -> ) -> ) k (Tuple5Sym0 k k1 k2 k3 k4) l0 = Tuple5Sym1 k k1 k2 k3 k4 l0
type Apply (TyFun k1 (TyFun k2 ((,,,) k3 k k1 k2) -> ) -> ) k (Tuple4Sym1 k3 k k1 k2 l1) l0 = Tuple4Sym2 k3 k k1 k2 l1 l0
type Apply (TyFun k1 (TyFun k2 (TyFun k3 k4 -> ) -> ) -> *) k (TyCon4 k k1 k2 k3 k4 f) x = TyCon3 k1 k2 k3 k4 (f x)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 ((,,,,,) k k1 k2 k3 k4 k5) -> ) -> ) -> ) -> ) -> *) k (Tuple6Sym0 k k1 k2 k3 k4 k5) l0 = Tuple6Sym1 k k1 k2 k3 k4 k5 l0
type Apply (TyFun k1 (TyFun k2 (TyFun k3 ((,,,,) k4 k k1 k2 k3) -> ) -> ) -> *) k (Tuple5Sym1 k4 k k1 k2 k3 l1) l0 = Tuple5Sym2 k4 k k1 k2 k3 l1 l0
type Apply (TyFun k1 ((,,,) k2 k3 k k1) -> *) k (Tuple4Sym2 k2 k3 k k1 l1 l2) l0 = Tuple4Sym3 k2 k3 k k1 l1 l2 l0
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 k5 -> ) -> ) -> ) -> ) k (TyCon5 k k1 k2 k3 k4 k5 f) x = TyCon4 k1 k2 k3 k4 k5 (f x)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 (TyFun k6 ((,,,,,,) k k1 k2 k3 k4 k5 k6) -> ) -> ) -> ) -> ) -> ) -> ) k (Tuple7Sym0 k k1 k2 k3 k4 k5 k6) l0 = Tuple7Sym1 k k1 k2 k3 k4 k5 k6 l0
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 ((,,,,,) k5 k k1 k2 k3 k4) -> ) -> ) -> ) -> ) k (Tuple6Sym1 k5 k k1 k2 k3 k4 l1) l0 = Tuple6Sym2 k5 k k1 k2 k3 k4 l1 l0
type Apply (TyFun k1 (TyFun k2 ((,,,,) k3 k4 k k1 k2) -> ) -> ) k (Tuple5Sym2 k3 k4 k k1 k2 l1 l2) l0 = Tuple5Sym3 k3 k4 k k1 k2 l1 l2 l0
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 k6 -> ) -> ) -> ) -> ) -> *) k (TyCon6 k k1 k2 k3 k4 k5 k6 f) x = TyCon5 k1 k2 k3 k4 k5 k6 (f x)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 ((,,,,,,) k6 k k1 k2 k3 k4 k5) -> ) -> ) -> ) -> ) -> *) k (Tuple7Sym1 k6 k k1 k2 k3 k4 k5 l1) l0 = Tuple7Sym2 k6 k k1 k2 k3 k4 k5 l1 l0
type Apply (TyFun k1 (TyFun k2 (TyFun k3 ((,,,,,) k4 k5 k k1 k2 k3) -> ) -> ) -> *) k (Tuple6Sym2 k4 k5 k k1 k2 k3 l1 l2) l0 = Tuple6Sym3 k4 k5 k k1 k2 k3 l1 l2 l0
type Apply (TyFun k1 ((,,,,) k2 k3 k4 k k1) -> *) k (Tuple5Sym3 k2 k3 k4 k k1 l1 l2 l3) l0 = Tuple5Sym4 k2 k3 k4 k k1 l1 l2 l3 l0
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 (TyFun k6 k7 -> ) -> ) -> ) -> ) -> ) -> ) k (TyCon7 k k1 k2 k3 k4 k5 k6 k7 f) x = TyCon6 k1 k2 k3 k4 k5 k6 k7 (f x)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 ((,,,,,,) k5 k6 k k1 k2 k3 k4) -> ) -> ) -> ) -> ) k (Tuple7Sym2 k5 k6 k k1 k2 k3 k4 l1 l2) l0 = Tuple7Sym3 k5 k6 k k1 k2 k3 k4 l1 l2 l0
type Apply (TyFun k1 (TyFun k2 ((,,,,,) k3 k4 k5 k k1 k2) -> ) -> ) k (Tuple6Sym3 k3 k4 k5 k k1 k2 l1 l2 l3) l0 = Tuple6Sym4 k3 k4 k5 k k1 k2 l1 l2 l3 l0
type Apply (TyFun k1 (TyFun k2 (TyFun k3 ((,,,,,,) k4 k5 k6 k k1 k2 k3) -> ) -> ) -> *) k (Tuple7Sym3 k4 k5 k6 k k1 k2 k3 l1 l2 l3) l0 = Tuple7Sym4 k4 k5 k6 k k1 k2 k3 l1 l2 l3 l0
type Apply (TyFun k1 ((,,,,,) k2 k3 k4 k5 k k1) -> *) k (Tuple6Sym4 k2 k3 k4 k5 k k1 l1 l2 l3 l4) l0 = Tuple6Sym5 k2 k3 k4 k5 k k1 l1 l2 l3 l4 l0
type Apply (TyFun k1 (TyFun k2 ((,,,,,,) k3 k4 k5 k6 k k1 k2) -> ) -> ) k (Tuple7Sym4 k3 k4 k5 k6 k k1 k2 l1 l2 l3 l4) l0 = Tuple7Sym5 k3 k4 k5 k6 k k1 k2 l1 l2 l3 l4 l0
type Apply (TyFun k1 ((,,,,,,) k2 k3 k4 k5 k6 k k1) -> *) k (Tuple7Sym5 k2 k3 k4 k5 k6 k k1 l1 l2 l3 l4 l5) l0 = Tuple7Sym6 k2 k3 k4 k5 k6 k k1 l1 l2 l3 l4 l5 l0
type Apply (TyFun [[k]] [k] -> *) [k] (IntercalateSym0 k) l0 = IntercalateSym1 k l0
type Apply (TyFun [k] [k] -> *) [k] ((:++$) k) l0 = (:++$$) k l0
type Apply (TyFun [k] Bool -> *) [k] (IsSuffixOfSym0 k) l0 = IsSuffixOfSym1 k l0
type Apply (TyFun [k] [k] -> *) [k] ((:\\$) k) l0 = (:\\$$) k l0
type Apply (TyFun [k] Bool -> *) [k] (IsInfixOfSym0 k) l0 = IsInfixOfSym1 k l0
type Apply (TyFun [k] Bool -> *) [k] (IsPrefixOfSym0 k) l0 = IsPrefixOfSym1 k l0
type Apply (TyFun [k] (Maybe [k]) -> *) [k] (StripPrefixSym0 k) l0 = StripPrefixSym1 k l0
type Apply (TyFun [k] [k] -> *) [k] (IntersectSym0 k) l0 = IntersectSym1 k l0
type Apply (TyFun [k] [k] -> *) [k] (UnionSym0 k) l0 = UnionSym1 k l0
type Apply (TyFun Nat k -> *) [k] ((:!!$) k) l0 = (:!!$$) k l0
type Apply (TyFun [k] [k] -> *) [k] (DeleteFirstsBySym1 k l1) l0 = DeleteFirstsBySym2 k l1 l0
type Apply (TyFun [k1] [(,) k k1] -> *) [k] (ZipSym0 k k1) l0 = ZipSym1 k k1 l0
type Apply (TyFun [k] [k] -> *) [k] (IntersectBySym1 k l1) l0 = IntersectBySym2 k l1 l0
type Apply (TyFun [k] [k] -> *) [k] (UnionBySym1 k l1) l0 = UnionBySym2 k l1 l0
type Apply (TyFun k1 k -> *) [k] (GenericIndexSym0 k k1) l0 = GenericIndexSym1 k k1 l0
type Apply ((,) [k] [k1]) [(,) k k1] (UnzipSym0 k k1) l0 = UnzipSym1 k k1 l0
type Apply ((,) [k] [k]) [k] (SplitAtSym1 k l1) l0 = SplitAtSym2 k l1 l0
type Apply ((,) [k] [k]) [k] (SpanSym1 k l1) l0 = SpanSym2 k l1 l0
type Apply ((,) [k] [k]) [k] (BreakSym1 k l1) l0 = BreakSym2 k l1 l0
type Apply ((,) [k] [k]) [k] (PartitionSym1 k l1) l0 = PartitionSym2 k l1 l0
type Apply (TyFun [k1] (TyFun [k2] [(,,) k k1 k2] -> ) -> ) [k] (Zip3Sym0 k k1 k2) l0 = Zip3Sym1 k k1 k2 l0
type Apply ((,) [k] [k]) [k] (GenericSplitAtSym1 k1 k l1) l0 = GenericSplitAtSym2 k1 k l1 l0
type Apply (TyFun [k1] [(,,) k2 k k1] -> *) [k] (Zip3Sym1 k2 k k1 l1) l0 = Zip3Sym2 k2 k k1 l1 l0
type Apply (TyFun [k1] [k2] -> *) [k] (ZipWithSym1 k k1 k2 l1) l0 = ZipWithSym2 k k1 k2 l1 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] [(,,,) k k1 k2 k3] -> ) -> ) -> *) [k] (Zip4Sym0 k k1 k2 k3) l0 = Zip4Sym1 k k1 k2 k3 l0
type Apply (TyFun [k1] (TyFun [k2] [k3] -> ) -> ) [k] (ZipWith3Sym1 k k1 k2 k3 l1) l0 = ZipWith3Sym2 k k1 k2 k3 l1 l0
type Apply (TyFun [k1] (TyFun [k2] [(,,,) k3 k k1 k2] -> ) -> ) [k] (Zip4Sym1 k3 k k1 k2 l1) l0 = Zip4Sym2 k3 k k1 k2 l1 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] [(,,,,) k k1 k2 k3 k4] -> ) -> ) -> ) -> ) [k] (Zip5Sym0 k k1 k2 k3 k4) l0 = Zip5Sym1 k k1 k2 k3 k4 l0
type Apply ((,) k [k2]) [k1] (MapAccumLSym2 k k1 k2 l1 l2) l0 = MapAccumLSym3 k k1 k2 l1 l2 l0
type Apply ((,) k [k2]) [k1] (MapAccumRSym2 k k1 k2 l1 l2) l0 = MapAccumRSym3 k k1 k2 l1 l2 l0
type Apply (TyFun [k2] [k3] -> *) [k1] (ZipWith3Sym2 k k1 k2 k3 l1 l2) l0 = ZipWith3Sym3 k k1 k2 k3 l1 l2 l0
type Apply (TyFun [k1] [(,,,) k2 k3 k k1] -> *) [k] (Zip4Sym2 k2 k3 k k1 l1 l2) l0 = Zip4Sym3 k2 k3 k k1 l1 l2 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] [(,,,,) k4 k k1 k2 k3] -> ) -> ) -> *) [k] (Zip5Sym1 k4 k k1 k2 k3 l1) l0 = Zip5Sym2 k4 k k1 k2 k3 l1 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] [(,,,,,) k k1 k2 k3 k4 k5] -> ) -> ) -> ) -> ) -> *) [k] (Zip6Sym0 k k1 k2 k3 k4 k5) l0 = Zip6Sym1 k k1 k2 k3 k4 k5 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] [k4] -> ) -> ) -> *) [k] (ZipWith4Sym1 k k1 k2 k3 k4 l1) l0 = ZipWith4Sym2 k k1 k2 k3 k4 l1 l0
type Apply (TyFun [k1] (TyFun [k2] [(,,,,) k3 k4 k k1 k2] -> ) -> ) [k] (Zip5Sym2 k3 k4 k k1 k2 l1 l2) l0 = Zip5Sym3 k3 k4 k k1 k2 l1 l2 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] [(,,,,,) k5 k k1 k2 k3 k4] -> ) -> ) -> ) -> ) [k] (Zip6Sym1 k5 k k1 k2 k3 k4 l1) l0 = Zip6Sym2 k5 k k1 k2 k3 k4 l1 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] (TyFun [k6] [(,,,,,,) k k1 k2 k3 k4 k5 k6] -> ) -> ) -> ) -> ) -> ) -> ) [k] (Zip7Sym0 k k1 k2 k3 k4 k5 k6) l0 = Zip7Sym1 k k1 k2 k3 k4 k5 k6 l0
type Apply (TyFun [k2] (TyFun [k3] [k4] -> ) -> ) [k1] (ZipWith4Sym2 k k1 k2 k3 k4 l1 l2) l0 = ZipWith4Sym3 k k1 k2 k3 k4 l1 l2 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] [k5] -> ) -> ) -> ) -> ) [k] (ZipWith5Sym1 k k1 k2 k3 k4 k5 l1) l0 = ZipWith5Sym2 k k1 k2 k3 k4 k5 l1 l0
type Apply (TyFun [k1] [(,,,,) k2 k3 k4 k k1] -> *) [k] (Zip5Sym3 k2 k3 k4 k k1 l1 l2 l3) l0 = Zip5Sym4 k2 k3 k4 k k1 l1 l2 l3 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] [(,,,,,) k4 k5 k k1 k2 k3] -> ) -> ) -> *) [k] (Zip6Sym2 k4 k5 k k1 k2 k3 l1 l2) l0 = Zip6Sym3 k4 k5 k k1 k2 k3 l1 l2 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] [(,,,,,,) k6 k k1 k2 k3 k4 k5] -> ) -> ) -> ) -> ) -> *) [k] (Zip7Sym1 k6 k k1 k2 k3 k4 k5 l1) l0 = Zip7Sym2 k6 k k1 k2 k3 k4 k5 l1 l0
type Apply (TyFun [k3] [k4] -> *) [k2] (ZipWith4Sym3 k k1 k2 k3 k4 l1 l2 l3) l0 = ZipWith4Sym4 k k1 k2 k3 k4 l1 l2 l3 l0
type Apply (TyFun [k2] (TyFun [k3] (TyFun [k4] [k5] -> ) -> ) -> *) [k1] (ZipWith5Sym2 k k1 k2 k3 k4 k5 l1 l2) l0 = ZipWith5Sym3 k k1 k2 k3 k4 k5 l1 l2 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] [k6] -> ) -> ) -> ) -> ) -> *) [k] (ZipWith6Sym1 k k1 k2 k3 k4 k5 k6 l1) l0 = ZipWith6Sym2 k k1 k2 k3 k4 k5 k6 l1 l0
type Apply (TyFun [k1] (TyFun [k2] [(,,,,,) k3 k4 k5 k k1 k2] -> ) -> ) [k] (Zip6Sym3 k3 k4 k5 k k1 k2 l1 l2 l3) l0 = Zip6Sym4 k3 k4 k5 k k1 k2 l1 l2 l3 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] [(,,,,,,) k5 k6 k k1 k2 k3 k4] -> ) -> ) -> ) -> ) [k] (Zip7Sym2 k5 k6 k k1 k2 k3 k4 l1 l2) l0 = Zip7Sym3 k5 k6 k k1 k2 k3 k4 l1 l2 l0
type Apply (TyFun [k3] (TyFun [k4] [k5] -> ) -> ) [k2] (ZipWith5Sym3 k k1 k2 k3 k4 k5 l1 l2 l3) l0 = ZipWith5Sym4 k k1 k2 k3 k4 k5 l1 l2 l3 l0
type Apply (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] [k6] -> ) -> ) -> ) -> ) [k1] (ZipWith6Sym2 k k1 k2 k3 k4 k5 k6 l1 l2) l0 = ZipWith6Sym3 k k1 k2 k3 k4 k5 k6 l1 l2 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] (TyFun [k6] [k7] -> ) -> ) -> ) -> ) -> ) -> ) [k] (ZipWith7Sym1 k k1 k2 k3 k4 k5 k6 k7 l1) l0 = ZipWith7Sym2 k k1 k2 k3 k4 k5 k6 k7 l1 l0
type Apply (TyFun [k1] [(,,,,,) k2 k3 k4 k5 k k1] -> *) [k] (Zip6Sym4 k2 k3 k4 k5 k k1 l1 l2 l3 l4) l0 = Zip6Sym5 k2 k3 k4 k5 k k1 l1 l2 l3 l4 l0
type Apply (TyFun [k1] (TyFun [k2] (TyFun [k3] [(,,,,,,) k4 k5 k6 k k1 k2 k3] -> ) -> ) -> *) [k] (Zip7Sym3 k4 k5 k6 k k1 k2 k3 l1 l2 l3) l0 = Zip7Sym4 k4 k5 k6 k k1 k2 k3 l1 l2 l3 l0
type Apply (TyFun [k4] [k5] -> *) [k3] (ZipWith5Sym4 k k1 k2 k3 k4 k5 l1 l2 l3 l4) l0 = ZipWith5Sym5 k k1 k2 k3 k4 k5 l1 l2 l3 l4 l0
type Apply (TyFun [k3] (TyFun [k4] (TyFun [k5] [k6] -> ) -> ) -> *) [k2] (ZipWith6Sym3 k k1 k2 k3 k4 k5 k6 l1 l2 l3) l0 = ZipWith6Sym4 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l0
type Apply (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] (TyFun [k6] [k7] -> ) -> ) -> ) -> ) -> *) [k1] (ZipWith7Sym2 k k1 k2 k3 k4 k5 k6 k7 l1 l2) l0 = ZipWith7Sym3 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l0
type Apply (TyFun [k1] (TyFun [k2] [(,,,,,,) k3 k4 k5 k6 k k1 k2] -> ) -> ) [k] (Zip7Sym4 k3 k4 k5 k6 k k1 k2 l1 l2 l3 l4) l0 = Zip7Sym5 k3 k4 k5 k6 k k1 k2 l1 l2 l3 l4 l0
type Apply (TyFun [k4] (TyFun [k5] [k6] -> ) -> ) [k3] (ZipWith6Sym4 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l4) l0 = ZipWith6Sym5 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l4 l0
type Apply (TyFun [k3] (TyFun [k4] (TyFun [k5] (TyFun [k6] [k7] -> ) -> ) -> ) -> ) [k2] (ZipWith7Sym3 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3) l0 = ZipWith7Sym4 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l0
type Apply (TyFun [k1] [(,,,,,,) k2 k3 k4 k5 k6 k k1] -> *) [k] (Zip7Sym5 k2 k3 k4 k5 k6 k k1 l1 l2 l3 l4 l5) l0 = Zip7Sym6 k2 k3 k4 k5 k6 k k1 l1 l2 l3 l4 l5 l0
type Apply (TyFun [k5] [k6] -> *) [k4] (ZipWith6Sym5 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l4 l5) l0 = ZipWith6Sym6 k k1 k2 k3 k4 k5 k6 l1 l2 l3 l4 l5 l0
type Apply (TyFun [k4] (TyFun [k5] (TyFun [k6] [k7] -> ) -> ) -> *) [k3] (ZipWith7Sym4 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4) l0 = ZipWith7Sym5 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l0
type Apply (TyFun [k5] (TyFun [k6] [k7] -> ) -> ) [k4] (ZipWith7Sym5 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5) l0 = ZipWith7Sym6 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l0
type Apply (TyFun [k6] [k7] -> *) [k5] (ZipWith7Sym6 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6) l0 = ZipWith7Sym7 k k1 k2 k3 k4 k5 k6 k7 l1 l2 l3 l4 l5 l6 l0
type Apply (TyFun (TyFun k k -> ) (TyFun k k -> ) -> ) (TyFun k Bool -> ) (UntilSym0 k) l0 = UntilSym1 k l0
type Apply (TyFun [k] Bool -> ) (TyFun k Bool -> ) (Any_Sym0 k) l0 = Any_Sym1 k l0
type Apply (TyFun [k] (TyFun [k] [k] -> ) -> ) (TyFun k (TyFun k Bool -> ) -> ) (DeleteFirstsBySym0 k) l0 = DeleteFirstsBySym1 k l0
type Apply (TyFun [k] k -> ) (TyFun k (TyFun k Ordering -> ) -> *) (MinimumBySym0 k) l0 = MinimumBySym1 k l0
type Apply (TyFun [k] k -> ) (TyFun k (TyFun k Ordering -> ) -> *) (MaximumBySym0 k) l0 = MaximumBySym1 k l0
type Apply (TyFun [k] k -> ) (TyFun k (TyFun k k -> ) -> *) (Foldl1Sym0 k) l0 = Foldl1Sym1 k l0
type Apply (TyFun [k] k -> ) (TyFun k (TyFun k k -> ) -> *) (Foldl1'Sym0 k) l0 = Foldl1'Sym1 k l0
type Apply (TyFun [k] k -> ) (TyFun k (TyFun k k -> ) -> *) (Foldr1Sym0 k) l0 = Foldr1Sym1 k l0
type Apply (TyFun [k] Bool -> ) (TyFun k Bool -> ) (AllSym0 k) l0 = AllSym1 k l0
type Apply (TyFun [k] [k] -> ) (TyFun k (TyFun k k -> ) -> *) (Scanl1Sym0 k) l0 = Scanl1Sym1 k l0
type Apply (TyFun [k] [k] -> ) (TyFun k (TyFun k k -> ) -> *) (Scanr1Sym0 k) l0 = Scanr1Sym1 k l0
type Apply (TyFun [k] [k] -> ) (TyFun k (TyFun k Ordering -> ) -> *) (SortBySym0 k) l0 = SortBySym1 k l0
type Apply (TyFun [k] (Maybe Nat) -> ) (TyFun k Bool -> ) (FindIndexSym0 k) l0 = FindIndexSym1 k l0
type Apply (TyFun [k] [Nat] -> ) (TyFun k Bool -> ) (FindIndicesSym0 k) l0 = FindIndicesSym1 k l0
type Apply (TyFun [k] [k] -> ) (TyFun k Bool -> ) (TakeWhileSym0 k) l0 = TakeWhileSym1 k l0
type Apply (TyFun [k] [k] -> ) (TyFun k Bool -> ) (DropWhileSym0 k) l0 = DropWhileSym1 k l0
type Apply (TyFun [k] [k] -> ) (TyFun k Bool -> ) (DropWhileEndSym0 k) l0 = DropWhileEndSym1 k l0
type Apply (TyFun [k] [[k]] -> ) (TyFun k (TyFun k Bool -> ) -> *) (GroupBySym0 k) l0 = GroupBySym1 k l0
type Apply (TyFun [k] ((,) [k] [k]) -> ) (TyFun k Bool -> ) (SpanSym0 k) l0 = SpanSym1 k l0
type Apply (TyFun [k] ((,) [k] [k]) -> ) (TyFun k Bool -> ) (BreakSym0 k) l0 = BreakSym1 k l0
type Apply (TyFun [k] (Maybe k) -> ) (TyFun k Bool -> ) (FindSym0 k) l0 = FindSym1 k l0
type Apply (TyFun [k] (TyFun [k] [k] -> ) -> ) (TyFun k (TyFun k Bool -> ) -> ) (IntersectBySym0 k) l0 = IntersectBySym1 k l0
type Apply (TyFun [k] [k] -> ) (TyFun k Bool -> ) (FilterSym0 k) l0 = FilterSym1 k l0
type Apply (TyFun [k] ((,) [k] [k]) -> ) (TyFun k Bool -> ) (PartitionSym0 k) l0 = PartitionSym1 k l0
type Apply (TyFun [k] (TyFun [k] [k] -> ) -> ) (TyFun k (TyFun k Bool -> ) -> ) (UnionBySym0 k) l0 = UnionBySym1 k l0
type Apply (TyFun [k] [k] -> ) (TyFun k (TyFun k Bool -> ) -> *) (NubBySym0 k) l0 = NubBySym1 k l0
type Apply (TyFun k (TyFun [k] [k] -> ) -> ) (TyFun k (TyFun k Bool -> ) -> ) (DeleteBySym0 k) l0 = DeleteBySym1 k l0
type Apply (TyFun k (TyFun [k] [k] -> ) -> ) (TyFun k (TyFun k Ordering -> ) -> ) (InsertBySym0 k) l0 = InsertBySym1 k l0
type Apply (TyFun [k] [k1] -> ) (TyFun k k1 -> ) (MapSym0 k k1) l0 = MapSym1 k k1 l0
type Apply (TyFun [k] [k1] -> ) (TyFun k [k1] -> ) (ConcatMapSym0 k k1) l0 = ConcatMapSym1 k k1 l0
type Apply (TyFun [k] [k1] -> ) (TyFun k (Maybe k1) -> ) (MapMaybeSym0 k k1) l0 = MapMaybeSym1 k k1 l0
type Apply (TyFun k k1 -> ) (TyFun k k1 -> ) (($!$) k k1) arg = ($!$$) k k1 arg
type Apply (TyFun k k1 -> ) (TyFun k k1 -> ) (($$) k k1) arg = ($$$) k k1 arg
type Apply (TyFun k1 (TyFun [k] k1 -> ) -> ) (TyFun k (TyFun k1 k1 -> ) -> ) (FoldrSym0 k k1) l0 = FoldrSym1 k k1 l0
type Apply (TyFun k k -> ) (TyFun k k -> ) (UntilSym1 k l1) l0 = UntilSym2 k l1 l0
type Apply (TyFun k (TyFun [k1] k -> ) -> ) (TyFun k (TyFun k1 k -> ) -> ) (FoldlSym0 k k1) l0 = FoldlSym1 k k1 l0
type Apply (TyFun k (TyFun [k1] k -> ) -> ) (TyFun k (TyFun k1 k -> ) -> ) (Foldl'Sym0 k k1) l0 = Foldl'Sym1 k k1 l0
type Apply (TyFun k (TyFun [k1] [k] -> ) -> ) (TyFun k (TyFun k1 k -> ) -> ) (ScanlSym0 k k1) l0 = ScanlSym1 k k1 l0
type Apply (TyFun k1 (TyFun [k] [k1] -> ) -> ) (TyFun k (TyFun k1 k1 -> ) -> ) (ScanrSym0 k k1) l0 = ScanrSym1 k k1 l0
type Apply (TyFun k [k1] -> ) (TyFun k (Maybe ((,) k1 k)) -> ) (UnfoldrSym0 k k1) l0 = UnfoldrSym1 k k1 l0
type Apply ((,) k1 k) ((,) k k1) (SwapSym0 k k1) l0 = SwapSym1 k k1 l0
type Apply (TyFun (TyFun k2 k -> ) (TyFun k2 k1 -> ) -> ) (TyFun k k1 -> ) ((:.$) k k1 k2) l0 = (:.$$) k k1 k2 l0
type Apply (TyFun (TyFun k2 k1 -> ) (TyFun (Either k k2) k1 -> ) -> ) (TyFun k k1 -> ) (Either_Sym0 k k1 k2) l0 = Either_Sym1 k k1 k2 l0
type Apply (TyFun [k] (TyFun [k1] [k2] -> ) -> ) (TyFun k (TyFun k1 k2 -> ) -> ) (ZipWithSym0 k k1 k2) l0 = ZipWithSym1 k k1 k2 l0
type Apply (TyFun ((,) k k1) k2 -> ) (TyFun k (TyFun k1 k2 -> ) -> *) (UncurrySym0 k k1 k2) l0 = UncurrySym1 k k1 k2 l0
type Apply (TyFun k1 (TyFun k k2 -> ) -> ) (TyFun k (TyFun k1 k2 -> ) -> ) (FlipSym0 k k1 k2) l0 = FlipSym1 k k1 k2 l0
type Apply (TyFun k (TyFun k1 k2 -> ) -> ) (TyFun ((,) k k1) k2 -> *) (CurrySym0 k k1 k2) l0 = CurrySym1 k k1 k2 l0
type Apply (TyFun k (TyFun [k1] ((,) k [k2]) -> ) -> ) (TyFun k (TyFun k1 ((,) k k2) -> ) -> ) (MapAccumLSym0 k k1 k2) l0 = MapAccumLSym1 k k1 k2 l0
type Apply (TyFun k (TyFun [k1] ((,) k [k2]) -> ) -> ) (TyFun k (TyFun k1 ((,) k k2) -> ) -> ) (MapAccumRSym0 k k1 k2) l0 = MapAccumRSym1 k k1 k2 l0
type Apply (TyFun (Maybe k) k1 -> ) (TyFun k k1 -> ) (Maybe_Sym1 k1 k l1) l0 = Maybe_Sym2 k1 k l1 l0
type Apply (TyFun [k] (TyFun [k1] (TyFun [k2] [k3] -> ) -> ) -> ) (TyFun k (TyFun k1 (TyFun k2 k3 -> ) -> ) -> ) (ZipWith3Sym0 k k1 k2 k3) l0 = ZipWith3Sym1 k k1 k2 k3 l0
type Apply (TyFun (Either k1 k) k2 -> ) (TyFun k k2 -> ) (Either_Sym1 k1 k2 k l1) l0 = Either_Sym2 k1 k2 k l1 l0
type Apply (TyFun k k2 -> ) (TyFun k k1 -> ) ((:.$$) k1 k2 k l1) l0 = (:.$$$) k1 k2 k l1 l0
type Apply (TyFun [k] (TyFun [k1] (TyFun [k2] (TyFun [k3] [k4] -> ) -> ) -> ) -> ) (TyFun k (TyFun k1 (TyFun k2 (TyFun k3 k4 -> ) -> ) -> ) -> ) (ZipWith4Sym0 k k1 k2 k3 k4) l0 = ZipWith4Sym1 k k1 k2 k3 k4 l0
type Apply (TyFun [k] (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] [k5] -> ) -> ) -> ) -> ) -> ) (TyFun k (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 k5 -> ) -> ) -> ) -> ) -> ) (ZipWith5Sym0 k k1 k2 k3 k4 k5) l0 = ZipWith5Sym1 k k1 k2 k3 k4 k5 l0
type Apply (TyFun [k] (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] [k6] -> ) -> ) -> ) -> ) -> ) -> ) (TyFun k (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 k6 -> ) -> ) -> ) -> ) -> ) -> ) (ZipWith6Sym0 k k1 k2 k3 k4 k5 k6) l0 = ZipWith6Sym1 k k1 k2 k3 k4 k5 k6 l0
type Apply (TyFun [k] (TyFun [k1] (TyFun [k2] (TyFun [k3] (TyFun [k4] (TyFun [k5] (TyFun [k6] [k7] -> ) -> ) -> ) -> ) -> ) -> ) -> ) (TyFun k (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 (TyFun k6 k7 -> ) -> ) -> ) -> ) -> ) -> ) -> ) (ZipWith7Sym0 k k1 k2 k3 k4 k5 k6 k7) l0 = ZipWith7Sym1 k k1 k2 k3 k4 k5 k6 k7 l0
type Apply ((,,) k1 k2 k) k (Tuple3Sym2 k1 k2 k l1 l2) l0 = Tuple3Sym3 k1 k2 k l1 l2 l0
type Apply ((,,) [k] [k1] [k2]) [(,,) k k1 k2] (Unzip3Sym0 k k1 k2) l0 = Unzip3Sym1 k k1 k2 l0
type Apply ((,,,) k1 k2 k3 k) k (Tuple4Sym3 k1 k2 k3 k l1 l2 l3) l0 = Tuple4Sym4 k1 k2 k3 k l1 l2 l3 l0
type Apply ((,,,) [k] [k1] [k2] [k3]) [(,,,) k k1 k2 k3] (Unzip4Sym0 k k1 k2 k3) l0 = Unzip4Sym1 k k1 k2 k3 l0
type Apply ((,,,,) k1 k2 k3 k4 k) k (Tuple5Sym4 k1 k2 k3 k4 k l1 l2 l3 l4) l0 = Tuple5Sym5 k1 k2 k3 k4 k l1 l2 l3 l4 l0
type Apply ((,,,,) [k] [k1] [k2] [k3] [k4]) [(,,,,) k k1 k2 k3 k4] (Unzip5Sym0 k k1 k2 k3 k4) l0 = Unzip5Sym1 k k1 k2 k3 k4 l0
type Apply ((,,,,,) k1 k2 k3 k4 k5 k) k (Tuple6Sym5 k1 k2 k3 k4 k5 k l1 l2 l3 l4 l5) l0 = Tuple6Sym6 k1 k2 k3 k4 k5 k l1 l2 l3 l4 l5 l0
type Apply ((,,,,,) [k] [k1] [k2] [k3] [k4] [k5]) [(,,,,,) k k1 k2 k3 k4 k5] (Unzip6Sym0 k k1 k2 k3 k4 k5) l0 = Unzip6Sym1 k k1 k2 k3 k4 k5 l0
type Apply ((,,,,,,) k1 k2 k3 k4 k5 k6 k) k (Tuple7Sym6 k1 k2 k3 k4 k5 k6 k l1 l2 l3 l4 l5 l6) l0 = Tuple7Sym7 k1 k2 k3 k4 k5 k6 k l1 l2 l3 l4 l5 l6 l0
type Apply ((,,,,,,) [k] [k1] [k2] [k3] [k4] [k5] [k6]) [(,,,,,,) k k1 k2 k3 k4 k5 k6] (Unzip7Sym0 k k1 k2 k3 k4 k5 k6) l0 = Unzip7Sym1 k k1 k2 k3 k4 k5 k6 l0

type (@@) a b = Apply a b infixl 9 Source

An infix synonym for Apply

Auxiliary definitions

These definitions might be mentioned in code generated by Template Haskell, so they must be in scope.

class (kproxy ~ KProxy) => PEq kproxy Source

The promoted analogue of Eq. If you supply no definition for '(:==)' under GHC 7.8+, then it defaults to a use of '(==)', from Data.Type.Equality.

Associated Types

type x :== y :: Bool Source

type x :/= y :: Bool Source

Instances

PEq Bool (KProxy Bool)
PEq Ordering (KProxy Ordering)
PEq * (KProxy *)
PEq Nat (KProxy Nat)
PEq Symbol (KProxy Symbol)
PEq () (KProxy ())
PEq [k] (KProxy [k])
PEq (Maybe k) (KProxy (Maybe k))
PEq (Either k k) (KProxy (Either k k))
PEq ((,) k k) (KProxy ((,) k k))
PEq ((,,) k k k) (KProxy ((,,) k k k))
PEq ((,,,) k k k k) (KProxy ((,,,) k k k k))
PEq ((,,,,) k k k k k) (KProxy ((,,,,) k k k k k))
PEq ((,,,,,) k k k k k k) (KProxy ((,,,,,) k k k k k k))
PEq ((,,,,,,) k k k k k k k) (KProxy ((,,,,,,) k k k k k k k))

type family If cond tru fls :: k

Type-level If. If True a b ==> a; If False a b ==> b

Equations

If k True tru fls = tru
If k False tru fls = fls

type family a :&& a :: Bool Source

Equations

False :&& z = FalseSym0
True :&& x = x

class (PEq (KProxy :: KProxy a), kproxy ~ KProxy) => POrd kproxy Source

Associated Types

type Compare arg arg :: Ordering Source

type arg :< arg :: Bool Source

type arg :>= arg :: Bool Source

type arg :> arg :: Bool Source

type arg :<= arg :: Bool Source

type Max arg arg :: a Source

type Min arg arg :: a Source

Instances

POrd Bool (KProxy Bool)
POrd Ordering (KProxy Ordering)
POrd Nat (KProxy Nat)
POrd Symbol (KProxy Symbol)
POrd () (KProxy ())
POrd [k] (KProxy [k])
POrd (Maybe k) (KProxy (Maybe k))
POrd (Either k k) (KProxy (Either k k))
POrd ((,) k k) (KProxy ((,) k k))
POrd ((,,) k k k) (KProxy ((,,) k k k))
POrd ((,,,) k k k k) (KProxy ((,,,) k k k k))
POrd ((,,,,) k k k k k) (KProxy ((,,,,) k k k k k))
POrd ((,,,,,) k k k k k k) (KProxy ((,,,,,) k k k k k k))
POrd ((,,,,,,) k k k k k k k) (KProxy ((,,,,,,) k k k k k k k))

data Any :: k

The type constructor Any is type to which you can unsafely coerce any lifted type, and back.

It is lifted, and hence represented by a pointer
It does not claim to be a data type, and that's important for the code generator, because the code gen may enter a data value but never enters a function value.

It's also used to instantiate un-constrained type variables after type checking. For example, length has type

length :: forall a. [a] -> Int

and the list datacon for the empty list has type

[] :: forall a. [a]

In order to compose these two terms as length [] a type application is required, but there is no constraint on the choice. In this situation GHC uses Any:

length (Any *) ([] (Any *))

Note that Any is kind polymorphic, and takes a kind k as its first argument. The kind of Any is thus forall k. k -> k.

data Proxy t :: k -> *

A concrete, poly-kinded proxy type

Constructors

Proxy

Instances

Monad (Proxy *)
Functor (Proxy *)
Applicative (Proxy *)
Foldable (Proxy *)
Traversable (Proxy *)
Bounded (Proxy k s)
Enum (Proxy k s)
Eq (Proxy k s)
Data t => Data (Proxy * t)
Ord (Proxy k s)
Read (Proxy k s)
Show (Proxy k s)
Ix (Proxy k s)
Generic (Proxy * t)
Monoid (Proxy * s)
Typeable (k -> *) (Proxy k)
type Rep (Proxy k t) = D1 D1Proxy (C1 C1_0Proxy U1)

data KProxy t :: * -> *

A concrete, promotable proxy type, for use at the kind level There are no instances for this because it is intended at the kind level only

Constructors

KProxy

type family ThenCmp a a :: Ordering Source

Equations

ThenCmp EQ x = x
ThenCmp LT z = LTSym0
ThenCmp GT z = GTSym0

type family Error str :: k Source

The promotion of error

data ErrorSym0 t1 Source

Instances

type Apply k Symbol (ErrorSym0 Symbol k) a = Error k a

type TrueSym0 = True Source

type FalseSym0 = False Source

type LTSym0 = LT Source

type EQSym0 = EQ Source

type GTSym0 = GT Source

type Tuple0Sym0 = `()` Source

data Tuple2Sym0 l Source

Instances

SuppressUnusedWarnings (TyFun k (TyFun k ((,) k k) -> ) -> ) (Tuple2Sym0 k k)
type Apply (TyFun k1 ((,) k k1) -> *) k (Tuple2Sym0 k k1) l0 = Tuple2Sym1 k k1 l0

data Tuple2Sym1 l l Source

Instances

SuppressUnusedWarnings (k -> TyFun k ((,) k k) -> *) (Tuple2Sym1 k k)
type Apply ((,) k1 k) k (Tuple2Sym1 k1 k l1) l0 = Tuple2Sym2 k1 k l1 l0

type Tuple2Sym2 t t = `(t, t)` Source

data Tuple3Sym0 l Source

Instances

SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k ((,,) k k k) -> ) -> ) -> *) (Tuple3Sym0 k k k)
type Apply (TyFun k1 (TyFun k2 ((,,) k k1 k2) -> ) -> ) k (Tuple3Sym0 k k1 k2) l0 = Tuple3Sym1 k k1 k2 l0

data Tuple3Sym1 l l Source

Instances

SuppressUnusedWarnings (k -> TyFun k (TyFun k ((,,) k k k) -> ) -> ) (Tuple3Sym1 k k k)
type Apply (TyFun k1 ((,,) k2 k k1) -> *) k (Tuple3Sym1 k2 k k1 l1) l0 = Tuple3Sym2 k2 k k1 l1 l0

data Tuple3Sym2 l l l Source

Instances

SuppressUnusedWarnings (k -> k -> TyFun k ((,,) k k k) -> *) (Tuple3Sym2 k k k)
type Apply ((,,) k1 k2 k) k (Tuple3Sym2 k1 k2 k l1 l2) l0 = Tuple3Sym3 k1 k2 k l1 l2 l0

type Tuple3Sym3 t t t = `(t, t, t)` Source

data Tuple4Sym0 l Source

Instances

SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k (TyFun k ((,,,) k k k k) -> ) -> ) -> ) -> ) (Tuple4Sym0 k k k k)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 ((,,,) k k1 k2 k3) -> ) -> ) -> *) k (Tuple4Sym0 k k1 k2 k3) l0 = Tuple4Sym1 k k1 k2 k3 l0

data Tuple4Sym1 l l Source

Instances

SuppressUnusedWarnings (k -> TyFun k (TyFun k (TyFun k ((,,,) k k k k) -> ) -> ) -> *) (Tuple4Sym1 k k k k)
type Apply (TyFun k1 (TyFun k2 ((,,,) k3 k k1 k2) -> ) -> ) k (Tuple4Sym1 k3 k k1 k2 l1) l0 = Tuple4Sym2 k3 k k1 k2 l1 l0

data Tuple4Sym2 l l l Source

Instances

SuppressUnusedWarnings (k -> k -> TyFun k (TyFun k ((,,,) k k k k) -> ) -> ) (Tuple4Sym2 k k k k)
type Apply (TyFun k1 ((,,,) k2 k3 k k1) -> *) k (Tuple4Sym2 k2 k3 k k1 l1 l2) l0 = Tuple4Sym3 k2 k3 k k1 l1 l2 l0

data Tuple4Sym3 l l l l Source

Instances

SuppressUnusedWarnings (k -> k -> k -> TyFun k ((,,,) k k k k) -> *) (Tuple4Sym3 k k k k)
type Apply ((,,,) k1 k2 k3 k) k (Tuple4Sym3 k1 k2 k3 k l1 l2 l3) l0 = Tuple4Sym4 k1 k2 k3 k l1 l2 l3 l0

type Tuple4Sym4 t t t t = `(t, t, t, t)` Source

data Tuple5Sym0 l Source

Instances

SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,) k k k k k) -> ) -> ) -> ) -> ) -> *) (Tuple5Sym0 k k k k k)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 ((,,,,) k k1 k2 k3 k4) -> ) -> ) -> ) -> ) k (Tuple5Sym0 k k1 k2 k3 k4) l0 = Tuple5Sym1 k k1 k2 k3 k4 l0

data Tuple5Sym1 l l Source

Instances

SuppressUnusedWarnings (k -> TyFun k (TyFun k (TyFun k (TyFun k ((,,,,) k k k k k) -> ) -> ) -> ) -> ) (Tuple5Sym1 k k k k k)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 ((,,,,) k4 k k1 k2 k3) -> ) -> ) -> *) k (Tuple5Sym1 k4 k k1 k2 k3 l1) l0 = Tuple5Sym2 k4 k k1 k2 k3 l1 l0

data Tuple5Sym2 l l l Source

Instances

SuppressUnusedWarnings (k -> k -> TyFun k (TyFun k (TyFun k ((,,,,) k k k k k) -> ) -> ) -> *) (Tuple5Sym2 k k k k k)
type Apply (TyFun k1 (TyFun k2 ((,,,,) k3 k4 k k1 k2) -> ) -> ) k (Tuple5Sym2 k3 k4 k k1 k2 l1 l2) l0 = Tuple5Sym3 k3 k4 k k1 k2 l1 l2 l0

data Tuple5Sym3 l l l l Source

Instances

SuppressUnusedWarnings (k -> k -> k -> TyFun k (TyFun k ((,,,,) k k k k k) -> ) -> ) (Tuple5Sym3 k k k k k)
type Apply (TyFun k1 ((,,,,) k2 k3 k4 k k1) -> *) k (Tuple5Sym3 k2 k3 k4 k k1 l1 l2 l3) l0 = Tuple5Sym4 k2 k3 k4 k k1 l1 l2 l3 l0

data Tuple5Sym4 l l l l l Source

Instances

SuppressUnusedWarnings (k -> k -> k -> k -> TyFun k ((,,,,) k k k k k) -> *) (Tuple5Sym4 k k k k k)
type Apply ((,,,,) k1 k2 k3 k4 k) k (Tuple5Sym4 k1 k2 k3 k4 k l1 l2 l3 l4) l0 = Tuple5Sym5 k1 k2 k3 k4 k l1 l2 l3 l4 l0

type Tuple5Sym5 t t t t t = `(t, t, t, t, t)` Source

data Tuple6Sym0 l Source

Instances

SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,) k k k k k k) -> ) -> ) -> ) -> ) -> ) -> ) (Tuple6Sym0 k k k k k k)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 ((,,,,,) k k1 k2 k3 k4 k5) -> ) -> ) -> ) -> ) -> *) k (Tuple6Sym0 k k1 k2 k3 k4 k5) l0 = Tuple6Sym1 k k1 k2 k3 k4 k5 l0

data Tuple6Sym1 l l Source

Instances

SuppressUnusedWarnings (k -> TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,) k k k k k k) -> ) -> ) -> ) -> ) -> *) (Tuple6Sym1 k k k k k k)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 ((,,,,,) k5 k k1 k2 k3 k4) -> ) -> ) -> ) -> ) k (Tuple6Sym1 k5 k k1 k2 k3 k4 l1) l0 = Tuple6Sym2 k5 k k1 k2 k3 k4 l1 l0

data Tuple6Sym2 l l l Source

Instances

SuppressUnusedWarnings (k -> k -> TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,) k k k k k k) -> ) -> ) -> ) -> ) (Tuple6Sym2 k k k k k k)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 ((,,,,,) k4 k5 k k1 k2 k3) -> ) -> ) -> *) k (Tuple6Sym2 k4 k5 k k1 k2 k3 l1 l2) l0 = Tuple6Sym3 k4 k5 k k1 k2 k3 l1 l2 l0

data Tuple6Sym3 l l l l Source

Instances

SuppressUnusedWarnings (k -> k -> k -> TyFun k (TyFun k (TyFun k ((,,,,,) k k k k k k) -> ) -> ) -> *) (Tuple6Sym3 k k k k k k)
type Apply (TyFun k1 (TyFun k2 ((,,,,,) k3 k4 k5 k k1 k2) -> ) -> ) k (Tuple6Sym3 k3 k4 k5 k k1 k2 l1 l2 l3) l0 = Tuple6Sym4 k3 k4 k5 k k1 k2 l1 l2 l3 l0

data Tuple6Sym4 l l l l l Source

Instances

SuppressUnusedWarnings (k -> k -> k -> k -> TyFun k (TyFun k ((,,,,,) k k k k k k) -> ) -> ) (Tuple6Sym4 k k k k k k)
type Apply (TyFun k1 ((,,,,,) k2 k3 k4 k5 k k1) -> *) k (Tuple6Sym4 k2 k3 k4 k5 k k1 l1 l2 l3 l4) l0 = Tuple6Sym5 k2 k3 k4 k5 k k1 l1 l2 l3 l4 l0

data Tuple6Sym5 l l l l l l Source

Instances

SuppressUnusedWarnings (k -> k -> k -> k -> k -> TyFun k ((,,,,,) k k k k k k) -> *) (Tuple6Sym5 k k k k k k)
type Apply ((,,,,,) k1 k2 k3 k4 k5 k) k (Tuple6Sym5 k1 k2 k3 k4 k5 k l1 l2 l3 l4 l5) l0 = Tuple6Sym6 k1 k2 k3 k4 k5 k l1 l2 l3 l4 l5 l0

type Tuple6Sym6 t t t t t t = `(t, t, t, t, t, t)` Source

data Tuple7Sym0 l Source

Instances

SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) -> ) -> ) -> ) -> ) -> *) (Tuple7Sym0 k k k k k k k)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 (TyFun k6 ((,,,,,,) k k1 k2 k3 k4 k5 k6) -> ) -> ) -> ) -> ) -> ) -> ) k (Tuple7Sym0 k k1 k2 k3 k4 k5 k6) l0 = Tuple7Sym1 k k1 k2 k3 k4 k5 k6 l0

data Tuple7Sym1 l l Source

Instances

SuppressUnusedWarnings (k -> TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) -> ) -> ) -> ) -> ) (Tuple7Sym1 k k k k k k k)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 (TyFun k5 ((,,,,,,) k6 k k1 k2 k3 k4 k5) -> ) -> ) -> ) -> ) -> *) k (Tuple7Sym1 k6 k k1 k2 k3 k4 k5 l1) l0 = Tuple7Sym2 k6 k k1 k2 k3 k4 k5 l1 l0

data Tuple7Sym2 l l l Source

Instances

SuppressUnusedWarnings (k -> k -> TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) -> ) -> ) -> *) (Tuple7Sym2 k k k k k k k)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 (TyFun k4 ((,,,,,,) k5 k6 k k1 k2 k3 k4) -> ) -> ) -> ) -> ) k (Tuple7Sym2 k5 k6 k k1 k2 k3 k4 l1 l2) l0 = Tuple7Sym3 k5 k6 k k1 k2 k3 k4 l1 l2 l0

data Tuple7Sym3 l l l l Source

Instances

SuppressUnusedWarnings (k -> k -> k -> TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) -> ) -> ) (Tuple7Sym3 k k k k k k k)
type Apply (TyFun k1 (TyFun k2 (TyFun k3 ((,,,,,,) k4 k5 k6 k k1 k2 k3) -> ) -> ) -> *) k (Tuple7Sym3 k4 k5 k6 k k1 k2 k3 l1 l2 l3) l0 = Tuple7Sym4 k4 k5 k6 k k1 k2 k3 l1 l2 l3 l0

data Tuple7Sym4 l l l l l Source

Instances

SuppressUnusedWarnings (k -> k -> k -> k -> TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) -> *) (Tuple7Sym4 k k k k k k k)
type Apply (TyFun k1 (TyFun k2 ((,,,,,,) k3 k4 k5 k6 k k1 k2) -> ) -> ) k (Tuple7Sym4 k3 k4 k5 k6 k k1 k2 l1 l2 l3 l4) l0 = Tuple7Sym5 k3 k4 k5 k6 k k1 k2 l1 l2 l3 l4 l0

data Tuple7Sym5 l l l l l l Source

Instances

SuppressUnusedWarnings (k -> k -> k -> k -> k -> TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) (Tuple7Sym5 k k k k k k k)
type Apply (TyFun k1 ((,,,,,,) k2 k3 k4 k5 k6 k k1) -> *) k (Tuple7Sym5 k2 k3 k4 k5 k6 k k1 l1 l2 l3 l4 l5) l0 = Tuple7Sym6 k2 k3 k4 k5 k6 k k1 l1 l2 l3 l4 l5 l0

data Tuple7Sym6 l l l l l l l Source

Instances

SuppressUnusedWarnings (k -> k -> k -> k -> k -> k -> TyFun k ((,,,,,,) k k k k k k k) -> *) (Tuple7Sym6 k k k k k k k)
type Apply ((,,,,,,) k1 k2 k3 k4 k5 k6 k) k (Tuple7Sym6 k1 k2 k3 k4 k5 k6 k l1 l2 l3 l4 l5 l6) l0 = Tuple7Sym7 k1 k2 k3 k4 k5 k6 k l1 l2 l3 l4 l5 l6 l0

type Tuple7Sym7 t t t t t t t = `(t, t, t, t, t, t, t)` Source

class SuppressUnusedWarnings t where Source

This class (which users should never see) is to be instantiated in order to use an otherwise-unused data constructor, such as the "kind-inference" data constructor for defunctionalization symbols.

Methods

suppressUnusedWarnings :: Proxy t -> () Source

Instances

SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:&&$$)
SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:\|\|$$)
SuppressUnusedWarnings (Ordering -> TyFun Ordering Ordering -> *) ThenCmpSym1
SuppressUnusedWarnings (Nat -> TyFun Nat Nat -> *) (:^$$)
SuppressUnusedWarnings (Nat -> TyFun Nat Nat -> ) (:$$)
SuppressUnusedWarnings (Nat -> TyFun Nat Nat -> *) (:-$$)
SuppressUnusedWarnings (Nat -> TyFun Nat Nat -> *) (:+$$)
SuppressUnusedWarnings (TyFun Bool Bool -> *) NotSym0
SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> ) -> ) (:&&$)
SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> ) -> ) (:\|\|$)
SuppressUnusedWarnings (TyFun [Bool] Bool -> *) AndSym0
SuppressUnusedWarnings (TyFun [Bool] Bool -> *) OrSym0
SuppressUnusedWarnings (TyFun [Nat] Nat -> *) SumSym0
SuppressUnusedWarnings (TyFun [Nat] Nat -> *) ProductSym0
SuppressUnusedWarnings (TyFun Ordering (TyFun Ordering Ordering -> ) -> ) ThenCmpSym0
SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> ) -> ) (:^$)
SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> ) -> ) (:*$)
SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> ) -> ) (:-$)
SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> ) -> ) (:+$)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun (TyFun k k -> ) (TyFun k k -> ) -> ) (UntilSym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> (TyFun k k -> ) -> TyFun k k -> *) (UntilSym2 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] Bool -> ) (Any_Sym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> TyFun [k] (TyFun [k] [k] -> ) -> ) (DeleteFirstsBySym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> [k] -> TyFun [k] [k] -> *) (DeleteFirstsBySym2 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Ordering -> ) -> ) -> TyFun [k] k -> *) (MinimumBySym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Ordering -> ) -> ) -> TyFun [k] k -> *) (MaximumBySym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun [k] k -> *) (Foldl1Sym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun [k] k -> *) (Foldl1'Sym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun [k] k -> *) (Foldr1Sym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] Bool -> ) (AllSym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun [k] [k] -> *) (Scanl1Sym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun [k] [k] -> *) (Scanr1Sym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> TyFun k (TyFun [k] [k] -> ) -> ) (DeleteBySym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> k -> TyFun [k] [k] -> *) (DeleteBySym2 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Ordering -> ) -> ) -> TyFun [k] [k] -> *) (SortBySym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Ordering -> ) -> ) -> TyFun k (TyFun [k] [k] -> ) -> ) (InsertBySym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Ordering -> ) -> ) -> k -> TyFun [k] [k] -> *) (InsertBySym2 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] (Maybe Nat) -> ) (FindIndexSym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] [Nat] -> ) (FindIndicesSym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] [k] -> ) (TakeWhileSym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] [k] -> ) (DropWhileSym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] [k] -> ) (DropWhileEndSym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> TyFun [k] [[k]] -> *) (GroupBySym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] ((,) [k] [k]) -> ) (SpanSym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] ((,) [k] [k]) -> ) (BreakSym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] (Maybe k) -> ) (FindSym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> TyFun [k] (TyFun [k] [k] -> ) -> ) (IntersectBySym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> [k] -> TyFun [k] [k] -> *) (IntersectBySym2 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] [k] -> ) (FilterSym1 k)
SuppressUnusedWarnings ((TyFun k Bool -> ) -> TyFun [k] ((,) [k] [k]) -> ) (PartitionSym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> TyFun [k] (TyFun [k] [k] -> ) -> ) (UnionBySym1 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> [k] -> TyFun [k] [k] -> *) (UnionBySym2 k)
SuppressUnusedWarnings ((TyFun k (TyFun k Bool -> ) -> ) -> TyFun [k] [k] -> *) (NubBySym1 k)
SuppressUnusedWarnings ([k] -> TyFun [k] [k] -> *) ((:++$$) k)
SuppressUnusedWarnings ([k] -> TyFun [k] Bool -> *) (IsSuffixOfSym1 k)
SuppressUnusedWarnings ([k] -> TyFun [[k]] [k] -> *) (IntercalateSym1 k)
SuppressUnusedWarnings ([k] -> TyFun [k] [k] -> *) ((:\\$$) k)
SuppressUnusedWarnings ([k] -> TyFun [k] Bool -> *) (IsInfixOfSym1 k)
SuppressUnusedWarnings ([k] -> TyFun [k] Bool -> *) (IsPrefixOfSym1 k)
SuppressUnusedWarnings ([k] -> TyFun [k] (Maybe [k]) -> *) (StripPrefixSym1 k)
SuppressUnusedWarnings ([k] -> TyFun [k] [k] -> *) (IntersectSym1 k)
SuppressUnusedWarnings ([k] -> TyFun Nat k -> *) ((:!!$$) k)
SuppressUnusedWarnings ([k] -> TyFun [k] [k] -> *) (UnionSym1 k)
SuppressUnusedWarnings (Nat -> TyFun [k] ((,) [k] [k]) -> *) (SplitAtSym1 k)
SuppressUnusedWarnings (Nat -> TyFun [k] [k] -> *) (TakeSym1 k)
SuppressUnusedWarnings (Nat -> TyFun [k] [k] -> *) (DropSym1 k)
SuppressUnusedWarnings (Nat -> TyFun k [k] -> *) (ReplicateSym1 k)
SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) ((:$$) k)
SuppressUnusedWarnings (k -> TyFun k (TyFun Bool k -> ) -> ) (Bool_Sym1 k)
SuppressUnusedWarnings (k -> k -> TyFun Bool k -> *) (Bool_Sym2 k)
SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:/=$$) k)
SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:==$$) k)
SuppressUnusedWarnings (k -> TyFun k k -> *) (MinSym1 k)
SuppressUnusedWarnings (k -> TyFun k k -> *) (MaxSym1 k)
SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:<=$$) k)
SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:>$$) k)
SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:>=$$) k)
SuppressUnusedWarnings (k -> TyFun k Bool -> *) ((:<$$) k)
SuppressUnusedWarnings (k -> TyFun k Ordering -> *) (CompareSym1 k)
SuppressUnusedWarnings (k -> TyFun k k -> *) (AsTypeOfSym1 k)
SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) (IntersperseSym1 k)
SuppressUnusedWarnings (k -> TyFun [k] Bool -> *) (ElemSym1 k)
SuppressUnusedWarnings (k -> TyFun [k] Bool -> *) (NotElemSym1 k)
SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) (DeleteSym1 k)
SuppressUnusedWarnings (k -> TyFun (Maybe k) k -> *) (FromMaybeSym1 k)
SuppressUnusedWarnings (k -> TyFun [k] (Maybe Nat) -> *) (ElemIndexSym1 k)
SuppressUnusedWarnings (k -> TyFun [k] [Nat] -> *) (ElemIndicesSym1 k)
SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) (InsertSym1 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun (TyFun k k -> ) (TyFun k k -> ) -> ) -> *) (UntilSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] Bool -> ) -> *) (Any_Sym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Bool -> ) -> ) (TyFun [k] (TyFun [k] [k] -> ) -> ) -> *) (DeleteFirstsBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Ordering -> ) -> ) (TyFun [k] k -> ) -> ) (MinimumBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Ordering -> ) -> ) (TyFun [k] k -> ) -> ) (MaximumBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun [k] k -> ) -> ) (Foldl1Sym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun [k] k -> ) -> ) (Foldl1'Sym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun [k] k -> ) -> ) (Foldr1Sym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] Bool -> ) -> *) (AllSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun [k] [k] -> ) -> ) (Scanl1Sym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun [k] [k] -> ) -> ) (Scanr1Sym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Bool -> ) -> ) (TyFun k (TyFun [k] [k] -> ) -> ) -> *) (DeleteBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Ordering -> ) -> ) (TyFun [k] [k] -> ) -> ) (SortBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Ordering -> ) -> ) (TyFun k (TyFun [k] [k] -> ) -> ) -> *) (InsertBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] (Maybe Nat) -> ) -> *) (FindIndexSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] [Nat] -> ) -> *) (FindIndicesSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] [k] -> ) -> *) (TakeWhileSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] [k] -> ) -> *) (DropWhileSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] [k] -> ) -> *) (DropWhileEndSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Bool -> ) -> ) (TyFun [k] [[k]] -> ) -> ) (GroupBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] ((,) [k] [k]) -> ) -> *) (SpanSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] ((,) [k] [k]) -> ) -> *) (BreakSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] (Maybe k) -> ) -> *) (FindSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Bool -> ) -> ) (TyFun [k] (TyFun [k] [k] -> ) -> ) -> *) (IntersectBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] [k] -> ) -> *) (FilterSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k Bool -> ) (TyFun [k] ((,) [k] [k]) -> ) -> *) (PartitionSym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Bool -> ) -> ) (TyFun [k] (TyFun [k] [k] -> ) -> ) -> *) (UnionBySym0 k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k Bool -> ) -> ) (TyFun [k] [k] -> ) -> ) (NubBySym0 k)
SuppressUnusedWarnings (TyFun [[k]] [k] -> *) (ConcatSym0 k)
SuppressUnusedWarnings (TyFun [[k]] [[k]] -> *) (TransposeSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] [k] -> ) -> ) ((:++$) k)
SuppressUnusedWarnings (TyFun [k] k -> *) (HeadSym0 k)
SuppressUnusedWarnings (TyFun [k] k -> *) (LastSym0 k)
SuppressUnusedWarnings (TyFun [k] [k] -> *) (TailSym0 k)
SuppressUnusedWarnings (TyFun [k] [k] -> *) (InitSym0 k)
SuppressUnusedWarnings (TyFun [k] Bool -> *) (NullSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] Bool -> ) -> ) (IsSuffixOfSym0 k)
SuppressUnusedWarnings (TyFun [k] [k] -> *) (ReverseSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [[k]] [k] -> ) -> ) (IntercalateSym0 k)
SuppressUnusedWarnings (TyFun [k] [[k]] -> *) (SubsequencesSym0 k)
SuppressUnusedWarnings (TyFun [k] [[k]] -> *) (PermutationsSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] [k] -> ) -> ) ((:\\$) k)
SuppressUnusedWarnings (TyFun [k] [[k]] -> *) (InitsSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] Bool -> ) -> ) (IsInfixOfSym0 k)
SuppressUnusedWarnings (TyFun [k] [[k]] -> *) (TailsSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] Bool -> ) -> ) (IsPrefixOfSym0 k)
SuppressUnusedWarnings (TyFun [k] (Maybe k) -> *) (ListToMaybeSym0 k)
SuppressUnusedWarnings (TyFun [k] Nat -> *) (LengthSym0 k)
SuppressUnusedWarnings (TyFun [k] [[k]] -> *) (GroupSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] (Maybe [k]) -> ) -> ) (StripPrefixSym0 k)
SuppressUnusedWarnings (TyFun [k] k -> *) (MaximumSym0 k)
SuppressUnusedWarnings (TyFun [k] k -> *) (MinimumSym0 k)
SuppressUnusedWarnings (TyFun [k] [k] -> *) (SortSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] [k] -> ) -> ) (IntersectSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun Nat k -> ) -> ) ((:!!$) k)
SuppressUnusedWarnings (TyFun [k] [k] -> *) (NubSym0 k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] [k] -> ) -> ) (UnionSym0 k)
SuppressUnusedWarnings (TyFun [Maybe k] [k] -> *) (CatMaybesSym0 k)
SuppressUnusedWarnings (TyFun Nat (TyFun [k] ((,) [k] [k]) -> ) -> ) (SplitAtSym0 k)
SuppressUnusedWarnings (TyFun Nat (TyFun [k] [k] -> ) -> ) (TakeSym0 k)
SuppressUnusedWarnings (TyFun Nat (TyFun [k] [k] -> ) -> ) (DropSym0 k)
SuppressUnusedWarnings (TyFun Nat (TyFun k [k] -> ) -> ) (ReplicateSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> ) -> ) ((:$) k)
SuppressUnusedWarnings (TyFun k (Maybe k) -> *) (JustSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun k (TyFun Bool k -> ) -> ) -> *) (Bool_Sym0 k)
SuppressUnusedWarnings (TyFun k (TyFun k Bool -> ) -> ) ((:/=$) k)
SuppressUnusedWarnings (TyFun k (TyFun k Bool -> ) -> ) ((:==$) k)
SuppressUnusedWarnings (TyFun k (TyFun k k -> ) -> ) (MinSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun k k -> ) -> ) (MaxSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun k Bool -> ) -> ) ((:<=$) k)
SuppressUnusedWarnings (TyFun k (TyFun k Bool -> ) -> ) ((:>$) k)
SuppressUnusedWarnings (TyFun k (TyFun k Bool -> ) -> ) ((:>=$) k)
SuppressUnusedWarnings (TyFun k (TyFun k Bool -> ) -> ) ((:<$) k)
SuppressUnusedWarnings (TyFun k (TyFun k Ordering -> ) -> ) (CompareSym0 k)
SuppressUnusedWarnings (TyFun k k -> *) (IdSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun k k -> ) -> ) (AsTypeOfSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> ) -> ) (IntersperseSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun [k] Bool -> ) -> ) (ElemSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun [k] Bool -> ) -> ) (NotElemSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> ) -> ) (DeleteSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun (Maybe k) k -> ) -> ) (FromMaybeSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun [k] (Maybe Nat) -> ) -> ) (ElemIndexSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun [k] [Nat] -> ) -> ) (ElemIndicesSym0 k)
SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> ) -> ) (InsertSym0 k)
SuppressUnusedWarnings (TyFun (Maybe k) Bool -> *) (IsJustSym0 k)
SuppressUnusedWarnings (TyFun (Maybe k) Bool -> *) (IsNothingSym0 k)
SuppressUnusedWarnings (TyFun (Maybe k) k -> *) (FromJustSym0 k)
SuppressUnusedWarnings (TyFun (Maybe k) [k] -> *) (MaybeToListSym0 k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun k (TyFun [k] k -> ) -> ) (FoldrSym1 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> k -> TyFun [k] k -> *) (FoldrSym2 k k)
SuppressUnusedWarnings ((TyFun k k -> ) -> TyFun [k] [k] -> ) (MapSym1 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun k (TyFun [k] k -> ) -> ) (FoldlSym1 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> k -> TyFun [k] k -> *) (FoldlSym2 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun k (TyFun [k] k -> ) -> ) (Foldl'Sym1 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> k -> TyFun [k] k -> *) (Foldl'Sym2 k k)
SuppressUnusedWarnings ((TyFun k [k] -> ) -> TyFun [k] [k] -> ) (ConcatMapSym1 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun k (TyFun [k] [k] -> ) -> ) (ScanlSym1 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> k -> TyFun [k] [k] -> *) (ScanlSym2 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun k (TyFun [k] [k] -> ) -> ) (ScanrSym1 k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> k -> TyFun [k] [k] -> *) (ScanrSym2 k k)
SuppressUnusedWarnings ((TyFun k (Maybe ((,) k k)) -> ) -> TyFun k [k] -> ) (UnfoldrSym1 k k)
SuppressUnusedWarnings ((TyFun k (Maybe k) -> ) -> TyFun [k] [k] -> ) (MapMaybeSym1 k k)
SuppressUnusedWarnings ([k] -> TyFun [k] [(,) k k] -> *) (ZipSym1 k k)
SuppressUnusedWarnings ([k] -> TyFun k k -> *) (GenericIndexSym1 k k)
SuppressUnusedWarnings (k -> TyFun k ((,) k k) -> *) (Tuple2Sym1 k k)
SuppressUnusedWarnings (k -> TyFun k k -> *) (ConstSym1 k k)
SuppressUnusedWarnings (k -> TyFun k k -> *) (SeqSym1 k k)
SuppressUnusedWarnings (k -> TyFun (TyFun k k -> ) (TyFun (Maybe k) k -> ) -> *) (Maybe_Sym1 k k)
SuppressUnusedWarnings (k -> (TyFun k k -> ) -> TyFun (Maybe k) k -> ) (Maybe_Sym2 k k)
SuppressUnusedWarnings (k -> TyFun k [k] -> *) (GenericReplicateSym1 k k)
SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) (GenericTakeSym1 k k)
SuppressUnusedWarnings (k -> TyFun [k] ((,) [k] [k]) -> *) (GenericSplitAtSym1 k k)
SuppressUnusedWarnings (k -> TyFun [k] [k] -> *) (GenericDropSym1 k k)
SuppressUnusedWarnings (k -> TyFun [(,) k k] (Maybe k) -> *) (LookupSym1 k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun k (TyFun [k] k -> ) -> ) -> *) (FoldrSym0 k k)
SuppressUnusedWarnings (TyFun (TyFun k k -> ) (TyFun [k] [k] -> ) -> *) (MapSym0 k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun k (TyFun [k] k -> ) -> ) -> *) (FoldlSym0 k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun k (TyFun [k] k -> ) -> ) -> *) (Foldl'Sym0 k k)
SuppressUnusedWarnings (TyFun (TyFun k [k] -> ) (TyFun [k] [k] -> ) -> *) (ConcatMapSym0 k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun k (TyFun [k] [k] -> ) -> ) -> *) (ScanlSym0 k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun k (TyFun [k] [k] -> ) -> ) -> *) (ScanrSym0 k k)
SuppressUnusedWarnings (TyFun (TyFun k (Maybe ((,) k k)) -> ) (TyFun k [k] -> ) -> *) (UnfoldrSym0 k k)
SuppressUnusedWarnings (TyFun (TyFun k (Maybe k) -> ) (TyFun [k] [k] -> ) -> *) (MapMaybeSym0 k k)
SuppressUnusedWarnings (TyFun [Either k k] [k] -> *) (LeftsSym0 k k)
SuppressUnusedWarnings (TyFun [Either k k] [k] -> *) (RightsSym0 k k)
SuppressUnusedWarnings (TyFun [(,) k k] ((,) [k] [k]) -> *) (UnzipSym0 k k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] [(,) k k] -> ) -> ) (ZipSym0 k k)
SuppressUnusedWarnings (TyFun [k] k -> *) (GenericLengthSym0 k k)
SuppressUnusedWarnings (TyFun [k] (TyFun k k -> ) -> ) (GenericIndexSym0 k k)
SuppressUnusedWarnings (TyFun (Either k k) Bool -> *) (IsLeftSym0 k k)
SuppressUnusedWarnings (TyFun (Either k k) Bool -> *) (IsRightSym0 k k)
SuppressUnusedWarnings (TyFun ((,) k k) k -> *) (FstSym0 k k)
SuppressUnusedWarnings (TyFun ((,) k k) k -> *) (SndSym0 k k)
SuppressUnusedWarnings (TyFun ((,) k k) ((,) k k) -> *) (SwapSym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun k ((,) k k) -> ) -> ) (Tuple2Sym0 k k)
SuppressUnusedWarnings (TyFun k (Either k k) -> *) (RightSym0 k k)
SuppressUnusedWarnings (TyFun k (Either k k) -> *) (LeftSym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun k k -> ) -> ) (ConstSym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun k k -> ) -> ) (SeqSym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun (TyFun k k -> ) (TyFun (Maybe k) k -> ) -> ) -> ) (Maybe_Sym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun k [k] -> ) -> ) (GenericReplicateSym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> ) -> ) (GenericTakeSym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun [k] ((,) [k] [k]) -> ) -> ) (GenericSplitAtSym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun [k] [k] -> ) -> ) (GenericDropSym0 k k)
SuppressUnusedWarnings (TyFun k (TyFun [(,) k k] (Maybe k) -> ) -> ) (LookupSym0 k k)
SuppressUnusedWarnings ((TyFun ((,) k k) k -> ) -> TyFun k (TyFun k k -> ) -> *) (CurrySym1 k k k)
SuppressUnusedWarnings ((TyFun ((,) k k) k -> ) -> k -> TyFun k k -> ) (CurrySym2 k k k)
SuppressUnusedWarnings ((TyFun k k -> ) -> TyFun (TyFun k k -> ) (TyFun k k -> ) -> ) ((:.$$) k k k)
SuppressUnusedWarnings ((TyFun k k -> ) -> (TyFun k k -> ) -> TyFun k k -> *) ((:.$$$) k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun k (TyFun k k -> ) -> ) (FlipSym1 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> k -> TyFun k k -> *) (FlipSym2 k k k)
SuppressUnusedWarnings ((TyFun k k -> ) -> TyFun (TyFun k k -> ) (TyFun (Either k k) k -> ) -> ) (Either_Sym1 k k k)
SuppressUnusedWarnings ((TyFun k k -> ) -> (TyFun k k -> ) -> TyFun (Either k k) k -> *) (Either_Sym2 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun ((,) k k) k -> *) (UncurrySym1 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k ((,) k k) -> ) -> ) -> TyFun k (TyFun [k] ((,) k [k]) -> ) -> ) (MapAccumLSym1 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k ((,) k k) -> ) -> ) -> k -> TyFun [k] ((,) k [k]) -> *) (MapAccumLSym2 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k ((,) k k) -> ) -> ) -> TyFun k (TyFun [k] ((,) k [k]) -> ) -> ) (MapAccumRSym1 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k ((,) k k) -> ) -> ) -> k -> TyFun [k] ((,) k [k]) -> *) (MapAccumRSym2 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> TyFun [k] (TyFun [k] [k] -> ) -> ) (ZipWithSym1 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k k -> ) -> ) -> [k] -> TyFun [k] [k] -> *) (ZipWithSym2 k k k)
SuppressUnusedWarnings ([k] -> TyFun [k] (TyFun [k] [(,,) k k k] -> ) -> ) (Zip3Sym1 k k k)
SuppressUnusedWarnings ([k] -> [k] -> TyFun [k] [(,,) k k k] -> *) (Zip3Sym2 k k k)
SuppressUnusedWarnings (k -> TyFun k (TyFun k ((,,) k k k) -> ) -> ) (Tuple3Sym1 k k k)
SuppressUnusedWarnings (k -> k -> TyFun k ((,,) k k k) -> *) (Tuple3Sym2 k k k)
SuppressUnusedWarnings (TyFun (TyFun ((,) k k) k -> ) (TyFun k (TyFun k k -> ) -> ) -> ) (CurrySym0 k k k)
SuppressUnusedWarnings (TyFun (TyFun k k -> ) (TyFun (TyFun k k -> ) (TyFun k k -> ) -> ) -> *) ((:.$) k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun k (TyFun k k -> ) -> ) -> *) (FlipSym0 k k k)
SuppressUnusedWarnings (TyFun (TyFun k k -> ) (TyFun (TyFun k k -> ) (TyFun (Either k k) k -> ) -> ) -> *) (Either_Sym0 k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun ((,) k k) k -> ) -> ) (UncurrySym0 k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k ((,) k k) -> ) -> ) (TyFun k (TyFun [k] ((,) k [k]) -> ) -> ) -> *) (MapAccumLSym0 k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k ((,) k k) -> ) -> ) (TyFun k (TyFun [k] ((,) k [k]) -> ) -> ) -> *) (MapAccumRSym0 k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k k -> ) -> ) (TyFun [k] (TyFun [k] [k] -> ) -> ) -> *) (ZipWithSym0 k k k)
SuppressUnusedWarnings (TyFun [(,,) k k k] ((,,) [k] [k] [k]) -> *) (Unzip3Sym0 k k k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] (TyFun [k] [(,,) k k k] -> ) -> ) -> *) (Zip3Sym0 k k k)
SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k ((,,) k k k) -> ) -> ) -> *) (Tuple3Sym0 k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) (ZipWith3Sym1 k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> [k] -> TyFun [k] (TyFun [k] [k] -> ) -> *) (ZipWith3Sym2 k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> [k] -> [k] -> TyFun [k] [k] -> ) (ZipWith3Sym3 k k k k)
SuppressUnusedWarnings ([k] -> TyFun [k] (TyFun [k] (TyFun [k] [(,,,) k k k k] -> ) -> ) -> *) (Zip4Sym1 k k k k)
SuppressUnusedWarnings ([k] -> [k] -> TyFun [k] (TyFun [k] [(,,,) k k k k] -> ) -> ) (Zip4Sym2 k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> TyFun [k] [(,,,) k k k k] -> *) (Zip4Sym3 k k k k)
SuppressUnusedWarnings (k -> TyFun k (TyFun k (TyFun k ((,,,) k k k k) -> ) -> ) -> *) (Tuple4Sym1 k k k k)
SuppressUnusedWarnings (k -> k -> TyFun k (TyFun k ((,,,) k k k k) -> ) -> ) (Tuple4Sym2 k k k k)
SuppressUnusedWarnings (k -> k -> k -> TyFun k ((,,,) k k k k) -> *) (Tuple4Sym3 k k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> *) (ZipWith3Sym0 k k k k)
SuppressUnusedWarnings (TyFun [(,,,) k k k k] ((,,,) [k] [k] [k] [k]) -> *) (Unzip4Sym0 k k k k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,) k k k k] -> ) -> ) -> ) -> ) (Zip4Sym0 k k k k)
SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k (TyFun k ((,,,) k k k k) -> ) -> ) -> ) -> ) (Tuple4Sym0 k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) (ZipWith4Sym1 k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> *) (ZipWith4Sym2 k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> [k] -> [k] -> TyFun [k] (TyFun [k] [k] -> ) -> ) (ZipWith4Sym3 k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> TyFun [k] [k] -> *) (ZipWith4Sym4 k k k k k)
SuppressUnusedWarnings ([k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,) k k k k k] -> ) -> ) -> ) -> ) (Zip5Sym1 k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [(,,,,) k k k k k] -> ) -> ) -> *) (Zip5Sym2 k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> TyFun [k] (TyFun [k] [(,,,,) k k k k k] -> ) -> ) (Zip5Sym3 k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> [k] -> TyFun [k] [(,,,,) k k k k k] -> *) (Zip5Sym4 k k k k k)
SuppressUnusedWarnings (k -> TyFun k (TyFun k (TyFun k (TyFun k ((,,,,) k k k k k) -> ) -> ) -> ) -> ) (Tuple5Sym1 k k k k k)
SuppressUnusedWarnings (k -> k -> TyFun k (TyFun k (TyFun k ((,,,,) k k k k k) -> ) -> ) -> *) (Tuple5Sym2 k k k k k)
SuppressUnusedWarnings (k -> k -> k -> TyFun k (TyFun k ((,,,,) k k k k k) -> ) -> ) (Tuple5Sym3 k k k k k)
SuppressUnusedWarnings (k -> k -> k -> k -> TyFun k ((,,,,) k k k k k) -> *) (Tuple5Sym4 k k k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> *) (ZipWith4Sym0 k k k k k)
SuppressUnusedWarnings (TyFun [(,,,,) k k k k k] ((,,,,) [k] [k] [k] [k] [k]) -> *) (Unzip5Sym0 k k k k k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,) k k k k k] -> ) -> ) -> ) -> ) -> *) (Zip5Sym0 k k k k k)
SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,) k k k k k) -> ) -> ) -> ) -> ) -> *) (Tuple5Sym0 k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> ) (ZipWith5Sym1 k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> *) (ZipWith5Sym2 k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) (ZipWith5Sym3 k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] [k] -> ) -> *) (ZipWith5Sym4 k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> [k] -> TyFun [k] [k] -> ) (ZipWith5Sym5 k k k k k k)
SuppressUnusedWarnings ([k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,) k k k k k k] -> ) -> ) -> ) -> ) -> *) (Zip6Sym1 k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,) k k k k k k] -> ) -> ) -> ) -> ) (Zip6Sym2 k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,) k k k k k k] -> ) -> ) -> *) (Zip6Sym3 k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] [(,,,,,) k k k k k k] -> ) -> ) (Zip6Sym4 k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> [k] -> [k] -> TyFun [k] [(,,,,,) k k k k k k] -> *) (Zip6Sym5 k k k k k k)
SuppressUnusedWarnings (k -> TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,) k k k k k k) -> ) -> ) -> ) -> ) -> *) (Tuple6Sym1 k k k k k k)
SuppressUnusedWarnings (k -> k -> TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,) k k k k k k) -> ) -> ) -> ) -> ) (Tuple6Sym2 k k k k k k)
SuppressUnusedWarnings (k -> k -> k -> TyFun k (TyFun k (TyFun k ((,,,,,) k k k k k k) -> ) -> ) -> *) (Tuple6Sym3 k k k k k k)
SuppressUnusedWarnings (k -> k -> k -> k -> TyFun k (TyFun k ((,,,,,) k k k k k k) -> ) -> ) (Tuple6Sym4 k k k k k k)
SuppressUnusedWarnings (k -> k -> k -> k -> k -> TyFun k ((,,,,,) k k k k k k) -> *) (Tuple6Sym5 k k k k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> ) -> *) (ZipWith5Sym0 k k k k k k)
SuppressUnusedWarnings (TyFun [(,,,,,) k k k k k k] ((,,,,,) [k] [k] [k] [k] [k] [k]) -> *) (Unzip6Sym0 k k k k k k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,) k k k k k k] -> ) -> ) -> ) -> ) -> ) -> ) (Zip6Sym0 k k k k k k)
SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,) k k k k k k) -> ) -> ) -> ) -> ) -> ) -> ) (Tuple6Sym0 k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> ) -> ) (ZipWith6Sym1 k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> *) (ZipWith6Sym2 k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) (ZipWith6Sym3 k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> *) (ZipWith6Sym4 k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] [k] -> ) -> ) (ZipWith6Sym5 k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> [k] -> [k] -> TyFun [k] [k] -> *) (ZipWith6Sym6 k k k k k k k)
SuppressUnusedWarnings ([k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> ) -> ) -> ) -> ) -> ) -> ) (Zip7Sym1 k k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> ) -> ) -> ) -> ) -> *) (Zip7Sym2 k k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> ) -> ) -> ) -> ) (Zip7Sym3 k k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> ) -> ) -> *) (Zip7Sym4 k k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> ) -> ) (Zip7Sym5 k k k k k k k)
SuppressUnusedWarnings ([k] -> [k] -> [k] -> [k] -> [k] -> [k] -> TyFun [k] [(,,,,,,) k k k k k k k] -> *) (Zip7Sym6 k k k k k k k)
SuppressUnusedWarnings (k -> TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) -> ) -> ) -> ) -> ) (Tuple7Sym1 k k k k k k k)
SuppressUnusedWarnings (k -> k -> TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) -> ) -> ) -> *) (Tuple7Sym2 k k k k k k k)
SuppressUnusedWarnings (k -> k -> k -> TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) -> ) -> ) (Tuple7Sym3 k k k k k k k)
SuppressUnusedWarnings (k -> k -> k -> k -> TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) -> *) (Tuple7Sym4 k k k k k k k)
SuppressUnusedWarnings (k -> k -> k -> k -> k -> TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) (Tuple7Sym5 k k k k k k k)
SuppressUnusedWarnings (k -> k -> k -> k -> k -> k -> TyFun k ((,,,,,,) k k k k k k k) -> *) (Tuple7Sym6 k k k k k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> ) -> ) -> *) (ZipWith6Sym0 k k k k k k k)
SuppressUnusedWarnings (TyFun [(,,,,,,) k k k k k k k] ((,,,,,,) [k] [k] [k] [k] [k] [k] [k]) -> *) (Unzip7Sym0 k k k k k k k)
SuppressUnusedWarnings (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [(,,,,,,) k k k k k k k] -> ) -> ) -> ) -> ) -> ) -> ) -> *) (Zip7Sym0 k k k k k k k)
SuppressUnusedWarnings (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k ((,,,,,,) k k k k k k k) -> ) -> ) -> ) -> ) -> ) -> ) -> *) (Tuple7Sym0 k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> ) -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> ) -> ) -> ) (ZipWith7Sym1 k k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> ) -> *) (ZipWith7Sym2 k k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> ) (ZipWith7Sym3 k k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> *) (ZipWith7Sym4 k k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) (ZipWith7Sym5 k k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> [k] -> [k] -> TyFun [k] (TyFun [k] [k] -> ) -> *) (ZipWith7Sym6 k k k k k k k k)
SuppressUnusedWarnings ((TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> ) -> [k] -> [k] -> [k] -> [k] -> [k] -> [k] -> TyFun [k] [k] -> ) (ZipWith7Sym7 k k k k k k k k)
SuppressUnusedWarnings (TyFun (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k (TyFun k k -> ) -> ) -> ) -> ) -> ) -> ) -> ) (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] (TyFun [k] [k] -> ) -> ) -> ) -> ) -> ) -> ) -> ) -> *) (ZipWith7Sym0 k k k k k k k k)

Primary Template Haskell generation functions

Functions to generate Eq instances

Functions to generate Ord instances

Functions to generate Bounded instances

defunctionalization

Auxiliary definitions

Functions to generate `Eq` instances

Functions to generate `Ord` instances

Functions to generate `Bounded` instances