| 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.Singletons.TH
Contents
Description
This module contains everything you need to derive your own singletons via Template Haskell.
TURN ON -XScopedTypeVariables IN YOUR MODULE IF YOU WANT THIS TO WORK.
- singletons :: DsMonad q => q [Dec] -> q [Dec]
- singletonsOnly :: DsMonad q => q [Dec] -> q [Dec]
- genSingletons :: DsMonad q => [Name] -> q [Dec]
- promote :: DsMonad q => q [Dec] -> q [Dec]
- promoteOnly :: DsMonad q => q [Dec] -> q [Dec]
- genDefunSymbols :: DsMonad q => [Name] -> q [Dec]
- genPromotions :: DsMonad q => [Name] -> q [Dec]
- promoteEqInstances :: DsMonad q => [Name] -> q [Dec]
- promoteEqInstance :: DsMonad q => Name -> q [Dec]
- singEqInstances :: DsMonad q => [Name] -> q [Dec]
- singEqInstance :: DsMonad q => Name -> q [Dec]
- singEqInstancesOnly :: DsMonad q => [Name] -> q [Dec]
- singEqInstanceOnly :: DsMonad q => Name -> q [Dec]
- singDecideInstances :: DsMonad q => [Name] -> q [Dec]
- singDecideInstance :: DsMonad q => Name -> q [Dec]
- promoteOrdInstances :: DsMonad q => [Name] -> q [Dec]
- promoteOrdInstance :: DsMonad q => Name -> q [Dec]
- singOrdInstances :: DsMonad q => [Name] -> q [Dec]
- singOrdInstance :: DsMonad q => Name -> q [Dec]
- promoteBoundedInstances :: DsMonad q => [Name] -> q [Dec]
- promoteBoundedInstance :: DsMonad q => Name -> q [Dec]
- singBoundedInstances :: DsMonad q => [Name] -> q [Dec]
- singBoundedInstance :: DsMonad q => Name -> q [Dec]
- promoteEnumInstances :: DsMonad q => [Name] -> q [Dec]
- promoteEnumInstance :: DsMonad q => Name -> q [Dec]
- singEnumInstances :: DsMonad q => [Name] -> q [Dec]
- singEnumInstance :: DsMonad q => Name -> q [Dec]
- cases :: DsMonad q => Name -> q Exp -> q Exp -> q Exp
- sCases :: DsMonad q => Name -> q Exp -> q Exp -> q Exp
- data family Sing (a :: k)
- module Data.Singletons
- class kproxy ~ Proxy => PEq kproxy where
- type family If k (cond :: Bool) (tru :: k) (fls :: k) :: k where ...
- sIf :: Sing a -> Sing b -> Sing c -> Sing (If a b c)
- type family (a :: Bool) :&& (a :: Bool) :: Bool where ...
- class SEq k where
- class (PEq (Proxy :: Proxy a), kproxy ~ Proxy) => POrd kproxy where
- class SEq a => SOrd a where
- type family ThenCmp (a :: Ordering) (a :: Ordering) :: Ordering where ...
- sThenCmp :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply ThenCmpSym0 t) t :: Ordering)
- type family Foldl (a :: TyFun b (TyFun a b -> Type) -> Type) (a :: b) (a :: [a]) :: b where ...
- sFoldl :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t :: b)
- type family Any k :: k where ...
- class SDecide k where
- data (k :~: a) b :: forall k. k -> k -> * where
- data Void :: *
- type Refuted a = a -> Void
- data Decision a
- data Proxy k t :: forall k. k -> * = Proxy
- data SomeSing k where
- type family Error (str :: k0) :: k
- data ErrorSym0 l
- type TrueSym0 = True
- type FalseSym0 = False
- type LTSym0 = LT
- type EQSym0 = EQ
- type GTSym0 = GT
- type Tuple0Sym0 = '()
- data Tuple2Sym0 l
- data Tuple2Sym1 l l
- type Tuple2Sym2 t t = '(t, t)
- data Tuple3Sym0 l
- data Tuple3Sym1 l l
- data Tuple3Sym2 l l l
- type Tuple3Sym3 t t t = '(t, t, t)
- data Tuple4Sym0 l
- data Tuple4Sym1 l l
- data Tuple4Sym2 l l l
- data Tuple4Sym3 l l l l
- type Tuple4Sym4 t t t t = '(t, t, t, t)
- data Tuple5Sym0 l
- data Tuple5Sym1 l l
- data Tuple5Sym2 l l l
- data Tuple5Sym3 l l l l
- data Tuple5Sym4 l l l l l
- type Tuple5Sym5 t t t t t = '(t, t, t, t, t)
- data Tuple6Sym0 l
- data Tuple6Sym1 l l
- data Tuple6Sym2 l l l
- data Tuple6Sym3 l l l l
- data Tuple6Sym4 l l l l l
- data Tuple6Sym5 l l l l l l
- type Tuple6Sym6 t t t t t t = '(t, t, t, t, t, t)
- data Tuple7Sym0 l
- data Tuple7Sym1 l l
- data Tuple7Sym2 l l l
- data Tuple7Sym3 l l l l
- data Tuple7Sym4 l l l l l
- data Tuple7Sym5 l l l l l l
- data Tuple7Sym6 l l l l l l l
- type Tuple7Sym7 t t t t t t t = '(t, t, t, t, t, t, t)
- data CompareSym0 l
- data ThenCmpSym0 l
- data FoldlSym0 l
- class SuppressUnusedWarnings t where
Primary Template Haskell generation functions
singletons :: DsMonad q => q [Dec] -> q [Dec] #
Make promoted and singleton versions of all declarations given, retaining the original declarations. See http://www.cis.upenn.edu/~eir/packages/singletons/README.html for further explanation.
singletonsOnly :: DsMonad q => q [Dec] -> q [Dec] #
Make promoted and singleton versions of all declarations given, discarding the original declarations. Note that a singleton based on a datatype needs the original datatype, so this will fail if it sees any datatype declarations. Classes, instances, and functions are all fine.
genSingletons :: DsMonad q => [Name] -> q [Dec] #
Generate singleton definitions from a type that is already defined. For example, the singletons package itself uses
$(genSingletons [''Bool, ''Maybe, ''Either, ''[]])
to generate singletons for Prelude types.
promote :: DsMonad q => q [Dec] -> q [Dec] #
Promote every declaration given to the type level, retaining the originals.
promoteOnly :: DsMonad q => q [Dec] -> q [Dec] #
Promote each declaration, discarding the originals. Note that a promoted datatype uses the same definition as an original datatype, so this will not work with datatypes. Classes, instances, and functions are all fine.
genDefunSymbols :: DsMonad q => [Name] -> q [Dec] #
Generate defunctionalization symbols for existing type family
genPromotions :: DsMonad q => [Name] -> q [Dec] #
Generate promoted definitions from a type that is already defined. This is generally only useful with classes.
Functions to generate equality instances
promoteEqInstances :: DsMonad q => [Name] -> q [Dec] #
Produce instances for '(:==)' (type-level equality) from the given types
promoteEqInstance :: DsMonad q => Name -> q [Dec] #
Produce an instance for '(:==)' (type-level equality) from the given type
singEqInstances :: DsMonad q => [Name] -> q [Dec] #
Create instances of SEq and type-level '(:==)' for each type in the list
singEqInstance :: DsMonad q => Name -> q [Dec] #
Create instance of SEq and type-level '(:==)' for the given type
singEqInstancesOnly :: DsMonad q => [Name] -> q [Dec] #
Create instances of SEq (only -- no instance for '(:==)', which SEq generally
relies on) for each type in the list
singEqInstanceOnly :: DsMonad q => Name -> q [Dec] #
Create instances of SEq (only -- no instance for '(:==)', which SEq generally
relies on) for the given type
singDecideInstances :: DsMonad q => [Name] -> q [Dec] #
Create instances of SDecide for each type in the list.
singDecideInstance :: DsMonad q => Name -> q [Dec] #
Create instance of SDecide for the given type.
Functions to generate Ord instances
promoteOrdInstances :: DsMonad q => [Name] -> q [Dec] #
Produce instances for POrd from the given types
promoteOrdInstance :: DsMonad q => Name -> q [Dec] #
Produce an instance for POrd from the given type
singOrdInstances :: DsMonad q => [Name] -> q [Dec] #
Create instances of SOrd for the given types
singOrdInstance :: DsMonad q => Name -> q [Dec] #
Create instance of SOrd for the given type
Functions to generate Bounded instances
promoteBoundedInstances :: DsMonad q => [Name] -> q [Dec] #
Produce instances for PBounded from the given types
promoteBoundedInstance :: DsMonad q => Name -> q [Dec] #
Produce an instance for PBounded from the given type
singBoundedInstances :: DsMonad q => [Name] -> q [Dec] #
Create instances of SBounded for the given types
singBoundedInstance :: DsMonad q => Name -> q [Dec] #
Create instance of SBounded for the given type
Functions to generate Enum instances
promoteEnumInstances :: DsMonad q => [Name] -> q [Dec] #
Produce instances for PEnum from the given types
promoteEnumInstance :: DsMonad q => Name -> q [Dec] #
Produce an instance for PEnum from the given type
singEnumInstances :: DsMonad q => [Name] -> q [Dec] #
Create instances of SEnum for the given types
singEnumInstance :: DsMonad q => Name -> q [Dec] #
Create instance of SEnum for the given type
Utility functions
Arguments
| :: DsMonad q | |
| => Name | The head of the type of the scrutinee. (Like |
| -> q Exp | The scrutinee, in a Template Haskell quote |
| -> q Exp | The body, in a Template Haskell quote |
| -> q Exp |
The function cases generates a case expression where each right-hand side
is identical. This may be useful if the type-checker requires knowledge of which
constructor is used to satisfy equality or type-class constraints, but where
each constructor is treated the same.
Arguments
| :: DsMonad q | |
| => Name | The head of the type the scrutinee's type is based on.
(Like |
| -> q Exp | The scrutinee, in a Template Haskell quote |
| -> q Exp | The body, in a Template Haskell quote |
| -> q Exp |
The function sCases generates a case expression where each right-hand side
is identical. This may be useful if the type-checker requires knowledge of which
constructor is used to satisfy equality or type-class constraints, but where
each constructor is treated the same. For sCases, unlike cases, the
scrutinee is a singleton. But make sure to pass in the name of the original
datatype, preferring ''Maybe over ''SMaybe.
Basic singleton definitions
The singleton kind-indexed data family.
Instances
| data Sing Bool # | |
| data Sing Ordering # | |
| data Sing * # | |
| data Sing Nat # | |
| data Sing Symbol # | |
| data Sing () # | |
| data Sing [a0] # | |
| data Sing (Maybe a0) # | |
| data Sing (NonEmpty a0) # | |
| data Sing (Either a0 b0) # | |
| data Sing (a0, b0) # | |
| data Sing ((~>) k1 k2) # | |
| data Sing (a0, b0, c0) # | |
| data Sing (a0, b0, c0, d0) # | |
| data Sing (a0, b0, c0, d0, e0) # | |
| data Sing (a0, b0, c0, d0, e0, f0) # | |
| data Sing (a0, b0, c0, d0, e0, f0, g0) # | |
module Data.Singletons
Auxiliary definitions
These definitions might be mentioned in code generated by Template Haskell, so they must be in scope.
class kproxy ~ Proxy => PEq kproxy #
The promoted analogue of Eq. If you supply no definition for '(:==)',
then it defaults to a use of '(==)', from Data.Type.Equality.
Instances
| PEq Bool (Proxy * Bool) # | |
| PEq Ordering (Proxy * Ordering) # | |
| PEq () (Proxy * ()) # | |
| PEq [k0] (Proxy * [k0]) # | |
| PEq (Maybe k0) (Proxy * (Maybe k0)) # | |
| PEq (NonEmpty k0) (Proxy * (NonEmpty k0)) # | |
| PEq (Either k0 k1) (Proxy * (Either k0 k1)) # | |
| PEq (k0, k1) (Proxy * (k0, k1)) # | |
| PEq (k0, k1, k2) (Proxy * (k0, k1, k2)) # | |
| PEq (k0, k1, k2, k3) (Proxy * (k0, k1, k2, k3)) # | |
| PEq (k0, k1, k2, k3, k4) (Proxy * (k0, k1, k2, k3, k4)) # | |
| PEq (k0, k1, k2, k3, k4, k5) (Proxy * (k0, k1, k2, k3, k4, k5)) # | |
| PEq (k0, k1, k2, k3, k4, k5, k6) (Proxy * (k0, k1, k2, k3, k4, k5, k6)) # | |
type family If k (cond :: Bool) (tru :: k) (fls :: k) :: k where ... #
Type-level If. If True a b ==> a; If False a b ==> b
The singleton analogue of Eq. Unlike the definition for Eq, it is required
that instances define a body for '(%:==)'. You may also supply a body for '(%:/=)'.
Minimal complete definition
Methods
(%:==) :: forall a b. Sing a -> Sing b -> Sing (a :== b) infix 4 #
Boolean equality on singletons
(%:/=) :: forall a b. Sing a -> Sing b -> Sing (a :/= b) infix 4 #
Boolean disequality on singletons
(%:/=) :: forall a b. (a :/= b) ~ Not (a :== b) => Sing a -> Sing b -> Sing (a :/= b) infix 4 #
Boolean disequality on singletons
Instances
| SEq Bool # | |
| SEq Ordering # | |
| SEq () # | |
| SEq a0 => SEq [a0] # | |
| SEq a0 => SEq (Maybe a0) # | |
| SEq a0 => SEq (NonEmpty a0) # | |
| (SEq a0, SEq b0) => SEq (Either a0 b0) # | |
| (SEq a0, SEq b0) => SEq (a0, b0) # | |
| (SEq a0, SEq b0, SEq c0) => SEq (a0, b0, c0) # | |
| (SEq a0, SEq b0, SEq c0, SEq d0) => SEq (a0, b0, c0, d0) # | |
| (SEq a0, SEq b0, SEq c0, SEq d0, SEq e0) => SEq (a0, b0, c0, d0, e0) # | |
| (SEq a0, SEq b0, SEq c0, SEq d0, SEq e0, SEq f0) => SEq (a0, b0, c0, d0, e0, f0) # | |
| (SEq a0, SEq b0, SEq c0, SEq d0, SEq e0, SEq f0, SEq g0) => SEq (a0, b0, c0, d0, e0, f0, g0) # | |
class (PEq (Proxy :: Proxy a), kproxy ~ Proxy) => POrd kproxy #
Associated Types
type Compare (arg :: a) (arg :: a) :: Ordering #
type (arg :: a) :< (arg :: a) :: Bool infix 4 #
type (arg :: a) :<= (arg :: a) :: Bool infix 4 #
type (arg :: a) :> (arg :: a) :: Bool infix 4 #
type (arg :: a) :>= (arg :: a) :: Bool infix 4 #
Instances
| POrd Bool (Proxy * Bool) # | |
| POrd Ordering (Proxy * Ordering) # | |
| POrd () (Proxy * ()) # | |
| POrd [a0] (Proxy * [a0]) # | |
| POrd (Maybe a0) (Proxy * (Maybe a0)) # | |
| POrd (NonEmpty a0) (Proxy * (NonEmpty a0)) # | |
| POrd (Either a0 b0) (Proxy * (Either a0 b0)) # | |
| POrd (a0, b0) (Proxy * (a0, b0)) # | |
| POrd (a0, b0, c0) (Proxy * (a0, b0, c0)) # | |
| POrd (a0, b0, c0, d0) (Proxy * (a0, b0, c0, d0)) # | |
| POrd (a0, b0, c0, d0, e0) (Proxy * (a0, b0, c0, d0, e0)) # | |
| POrd (a0, b0, c0, d0, e0, f0) (Proxy * (a0, b0, c0, d0, e0, f0)) # | |
| POrd (a0, b0, c0, d0, e0, f0, g0) (Proxy * (a0, b0, c0, d0, e0, f0, g0)) # | |
Methods
sCompare :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t :: Ordering) #
(%:<) :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply (:<$) t) t :: Bool) infix 4 #
(%:<=) :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply (:<=$) t) t :: Bool) infix 4 #
(%:>) :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply (:>$) t) t :: Bool) infix 4 #
(%:>=) :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply (:>=$) t) t :: Bool) infix 4 #
sMax :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t :: a) #
sMin :: forall t t. Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t :: a) #
sCompare :: forall t t. (Apply (Apply CompareSym0 t) t ~ Apply (Apply Compare_6989586621679588819Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t :: Ordering) #
(%:<) :: forall t t. (Apply (Apply (:<$) t) t ~ Apply (Apply TFHelper_6989586621679588852Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:<$) t) t :: Bool) infix 4 #
(%:<=) :: forall t t. (Apply (Apply (:<=$) t) t ~ Apply (Apply TFHelper_6989586621679588885Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:<=$) t) t :: Bool) infix 4 #
(%:>) :: forall t t. (Apply (Apply (:>$) t) t ~ Apply (Apply TFHelper_6989586621679588918Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:>$) t) t :: Bool) infix 4 #
(%:>=) :: forall t t. (Apply (Apply (:>=$) t) t ~ Apply (Apply TFHelper_6989586621679588951Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:>=$) t) t :: Bool) infix 4 #
sMax :: forall t t. (Apply (Apply MaxSym0 t) t ~ Apply (Apply Max_6989586621679588984Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply MaxSym0 t) t :: a) #
sMin :: forall t t. (Apply (Apply MinSym0 t) t ~ Apply (Apply Min_6989586621679589017Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply MinSym0 t) t :: a) #
Instances
| SOrd Bool # | |
| SOrd Ordering # | |
| SOrd () # | |
| (SOrd a0, SOrd [a0]) => SOrd [a0] # | |
| SOrd a0 => SOrd (Maybe a0) # | |
| (SOrd a0, SOrd [a0]) => SOrd (NonEmpty a0) # | |
| (SOrd a0, SOrd b0) => SOrd (Either a0 b0) # | |
| (SOrd a0, SOrd b0) => SOrd (a0, b0) # | |
| (SOrd a0, SOrd b0, SOrd c0) => SOrd (a0, b0, c0) # | |
| (SOrd a0, SOrd b0, SOrd c0, SOrd d0) => SOrd (a0, b0, c0, d0) # | |
| (SOrd a0, SOrd b0, SOrd c0, SOrd d0, SOrd e0) => SOrd (a0, b0, c0, d0, e0) # | |
| (SOrd a0, SOrd b0, SOrd c0, SOrd d0, SOrd e0, SOrd f0) => SOrd (a0, b0, c0, d0, e0, f0) # | |
| (SOrd a0, SOrd b0, SOrd c0, SOrd d0, SOrd e0, SOrd f0, SOrd g0) => SOrd (a0, b0, c0, d0, e0, f0, g0) # | |
sFoldl :: forall t t t. Sing t -> Sing t -> Sing t -> Sing (Apply (Apply (Apply FoldlSym0 t) t) t :: b) #
type family Any k :: k where ... #
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 *))
Above, we print kinds explicitly, as if with
-fprint-explicit-kinds.
Note that Any is kind polymorphic; its kind is thus
forall k. k.
Members of the SDecide "kind" class support decidable equality. Instances
of this class are generated alongside singleton definitions for datatypes that
derive an Eq instance.
Minimal complete definition
data (k :~: a) b :: forall k. k -> k -> * where infix 4 #
Propositional equality. If a :~: b is inhabited by some terminating
value, then the type a is the same as the type b. To use this equality
in practice, pattern-match on the a :~: b to get out the Refl constructor;
in the body of the pattern-match, the compiler knows that a ~ b.
Since: 4.7.0.0
Uninhabited data type
Since: 4.8.0.0
A Decision about a type a is either a proof of existence or a proof that a
cannot exist.
data Proxy k t :: forall k. k -> * #
A concrete, poly-kinded proxy type
Constructors
| Proxy |
Instances
| Monad (Proxy *) | |
| Functor (Proxy *) | |
| Applicative (Proxy *) | |
| Foldable (Proxy *) | |
| Traversable (Proxy *) | |
| Generic1 (Proxy *) | |
| Eq1 (Proxy *) | Since: 4.9.0.0 |
| Ord1 (Proxy *) | Since: 4.9.0.0 |
| Read1 (Proxy *) | Since: 4.9.0.0 |
| Show1 (Proxy *) | Since: 4.9.0.0 |
| Alternative (Proxy *) | |
| MonadPlus (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 k t) | |
| Semigroup (Proxy k s) | |
| Monoid (Proxy k s) | |
| type Rep1 (Proxy *) | |
| type Rep (Proxy k t) | |
An existentially-quantified singleton. This type is useful when you want a singleton type, but there is no way of knowing, at compile-time, what the type index will be. To make use of this type, you will generally have to use a pattern-match:
foo :: Bool -> ...
foo b = case toSing b of
SomeSing sb -> {- fancy dependently-typed code with sb -}An example like the one above may be easier to write using withSomeSing.
type family Error (str :: k0) :: k #
The promotion of error. This version is more poly-kinded for
easier use.
type Tuple0Sym0 = '() #
data Tuple2Sym0 l #
Instances
| SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (a3530822107858468866, b3530822107858468867) -> Type) -> *) (Tuple2Sym0 a3530822107858468866 b3530822107858468867) # | |
| type Apply a3530822107858468866 (TyFun b3530822107858468867 (a3530822107858468866, b3530822107858468867) -> Type) (Tuple2Sym0 a3530822107858468866 b3530822107858468867) l0 # | |
data Tuple2Sym1 l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (a3530822107858468866, b3530822107858468867) -> *) (Tuple2Sym1 b3530822107858468867 a3530822107858468866) # | |
| type Apply b3530822107858468867 (a3530822107858468866, b3530822107858468867) (Tuple2Sym1 b3530822107858468867 a3530822107858468866 l0) l1 # | |
type Tuple2Sym2 t t = '(t, t) #
data Tuple3Sym0 l #
Instances
| SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> Type) -> Type) -> *) (Tuple3Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868) # | |
| type Apply a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> Type) -> Type) (Tuple3Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868) l0 # | |
data Tuple3Sym1 l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> Type) -> *) (Tuple3Sym1 b3530822107858468867 c3530822107858468868 a3530822107858468866) # | |
| type Apply b3530822107858468867 (TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> Type) (Tuple3Sym1 b3530822107858468867 c3530822107858468868 a3530822107858468866 l0) l1 # | |
data Tuple3Sym2 l l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> *) (Tuple3Sym2 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| type Apply c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) (Tuple3Sym2 c3530822107858468868 b3530822107858468867 a3530822107858468866 l1 l0) l2 # | |
type Tuple3Sym3 t t t = '(t, t, t) #
data Tuple4Sym0 l #
Instances
| SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869) # | |
| type Apply a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) -> Type) -> Type) (Tuple4Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869) l0 # | |
data Tuple4Sym1 l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) -> Type) -> *) (Tuple4Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 a3530822107858468866) # | |
| type Apply b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) -> Type) (Tuple4Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 a3530822107858468866 l0) l1 # | |
data Tuple4Sym2 l l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> TyFun c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) -> *) (Tuple4Sym2 c3530822107858468868 d3530822107858468869 b3530822107858468867 a3530822107858468866) # | |
| type Apply c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) (Tuple4Sym2 c3530822107858468868 d3530822107858468869 b3530822107858468867 a3530822107858468866 l1 l0) l2 # | |
data Tuple4Sym3 l l l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> *) (Tuple4Sym3 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| type Apply d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) (Tuple4Sym3 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866 l2 l1 l0) l3 # | |
type Tuple4Sym4 t t t t = '(t, t, t, t) #
data Tuple5Sym0 l #
Instances
| SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple5Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870) # | |
| type Apply a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) -> Type) -> Type) -> Type) (Tuple5Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870) l0 # | |
data Tuple5Sym1 l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) -> Type) -> Type) -> *) (Tuple5Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 a3530822107858468866) # | |
| type Apply b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) -> Type) -> Type) (Tuple5Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 a3530822107858468866 l0) l1 # | |
data Tuple5Sym2 l l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) -> Type) -> *) (Tuple5Sym2 c3530822107858468868 d3530822107858468869 e3530822107858468870 b3530822107858468867 a3530822107858468866) # | |
| type Apply c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) -> Type) (Tuple5Sym2 c3530822107858468868 d3530822107858468869 e3530822107858468870 b3530822107858468867 a3530822107858468866 l1 l0) l2 # | |
data Tuple5Sym3 l l l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> TyFun d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) -> *) (Tuple5Sym3 d3530822107858468869 e3530822107858468870 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| type Apply d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) (Tuple5Sym3 d3530822107858468869 e3530822107858468870 c3530822107858468868 b3530822107858468867 a3530822107858468866 l2 l1 l0) l3 # | |
data Tuple5Sym4 l l l l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> *) (Tuple5Sym4 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| type Apply e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) (Tuple5Sym4 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866 l3 l2 l1 l0) l4 # | |
type Tuple5Sym5 t t t t t = '(t, t, t, t, t) #
data Tuple6Sym0 l #
Instances
| SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871) # | |
| type Apply a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871) l0 # | |
data Tuple6Sym1 l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 a3530822107858468866) # | |
| type Apply b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> Type) -> Type) -> Type) (Tuple6Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 a3530822107858468866 l0) l1 # | |
data Tuple6Sym2 l l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> Type) -> Type) -> *) (Tuple6Sym2 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 b3530822107858468867 a3530822107858468866) # | |
| type Apply c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> Type) -> Type) (Tuple6Sym2 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 b3530822107858468867 a3530822107858468866 l1 l0) l2 # | |
data Tuple6Sym3 l l l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> Type) -> *) (Tuple6Sym3 d3530822107858468869 e3530822107858468870 f3530822107858468871 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| type Apply d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> Type) (Tuple6Sym3 d3530822107858468869 e3530822107858468870 f3530822107858468871 c3530822107858468868 b3530822107858468867 a3530822107858468866 l2 l1 l0) l3 # | |
data Tuple6Sym4 l l l l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> *) (Tuple6Sym4 e3530822107858468870 f3530822107858468871 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| type Apply e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) (Tuple6Sym4 e3530822107858468870 f3530822107858468871 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866 l3 l2 l1 l0) l4 # | |
data Tuple6Sym5 l l l l l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> e3530822107858468870 -> TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> *) (Tuple6Sym5 f3530822107858468871 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| type Apply f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) (Tuple6Sym5 f3530822107858468871 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866 l4 l3 l2 l1 l0) l5 # | |
type Tuple6Sym6 t t t t t t = '(t, t, t, t, t, t) #
data Tuple7Sym0 l #
Instances
| SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 g3530822107858468872) # | |
| type Apply a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 g3530822107858468872) l0 # | |
data Tuple7Sym1 l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 g3530822107858468872 a3530822107858468866) # | |
| type Apply b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 g3530822107858468872 a3530822107858468866 l0) l1 # | |
data Tuple7Sym2 l l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym2 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 g3530822107858468872 b3530822107858468867 a3530822107858468866) # | |
| type Apply c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> Type) -> Type) (Tuple7Sym2 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 g3530822107858468872 b3530822107858468867 a3530822107858468866 l1 l0) l2 # | |
data Tuple7Sym3 l l l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> Type) -> *) (Tuple7Sym3 d3530822107858468869 e3530822107858468870 f3530822107858468871 g3530822107858468872 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| type Apply d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> Type) (Tuple7Sym3 d3530822107858468869 e3530822107858468870 f3530822107858468871 g3530822107858468872 c3530822107858468868 b3530822107858468867 a3530822107858468866 l2 l1 l0) l3 # | |
data Tuple7Sym4 l l l l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> *) (Tuple7Sym4 e3530822107858468870 f3530822107858468871 g3530822107858468872 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| type Apply e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) (Tuple7Sym4 e3530822107858468870 f3530822107858468871 g3530822107858468872 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866 l3 l2 l1 l0) l4 # | |
data Tuple7Sym5 l l l l l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> e3530822107858468870 -> TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> *) (Tuple7Sym5 f3530822107858468871 g3530822107858468872 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| type Apply f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) (Tuple7Sym5 f3530822107858468871 g3530822107858468872 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866 l4 l3 l2 l1 l0) l5 # | |
data Tuple7Sym6 l l l l l l l #
Instances
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> e3530822107858468870 -> f3530822107858468871 -> TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> *) (Tuple7Sym6 g3530822107858468872 f3530822107858468871 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| type Apply g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) (Tuple7Sym6 g3530822107858468872 f3530822107858468871 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866 l5 l4 l3 l2 l1 l0) l6 # | |
type Tuple7Sym7 t t t t t t t = '(t, t, t, t, t, t, t) #
data CompareSym0 l #
Instances
| SuppressUnusedWarnings (TyFun a6989586621679586420 (TyFun a6989586621679586420 Ordering -> Type) -> *) (CompareSym0 a6989586621679586420) # | |
| type Apply a6989586621679586420 (TyFun a6989586621679586420 Ordering -> Type) (CompareSym0 a6989586621679586420) l0 # | |
data ThenCmpSym0 l #
Instances
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679509136 (TyFun a6989586621679509135 b6989586621679509136 -> Type) -> Type) (TyFun b6989586621679509136 (TyFun [a6989586621679509135] b6989586621679509136 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679509135 b6989586621679509136) # | |
| type Apply (TyFun b6989586621679509136 (TyFun a6989586621679509135 b6989586621679509136 -> Type) -> Type) (TyFun b6989586621679509136 (TyFun [a6989586621679509135] b6989586621679509136 -> Type) -> Type) (FoldlSym0 a6989586621679509135 b6989586621679509136) l0 # | |
class SuppressUnusedWarnings t where #
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.
Minimal complete definition
Methods
suppressUnusedWarnings :: Proxy t -> () #
Instances
| SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:&&$$) # | |
| SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:||$$) # | |
| SuppressUnusedWarnings (Ordering -> TyFun Ordering Ordering -> *) ThenCmpSym1 # | |
| SuppressUnusedWarnings (Nat -> TyFun Nat Nat -> *) (:^$$) # | |
| SuppressUnusedWarnings (TyFun Bool Bool -> *) NotSym0 # | |
| SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:&&$) # | |
| SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:||$) # | |
| SuppressUnusedWarnings (TyFun [Bool] Bool -> *) AndSym0 # | |
| SuppressUnusedWarnings (TyFun [Bool] Bool -> *) OrSym0 # | |
| SuppressUnusedWarnings (TyFun Ordering (TyFun Ordering Ordering -> Type) -> *) ThenCmpSym0 # | |
| SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> *) -> *) (:^$) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679785711 Bool -> Type) -> TyFun [a6989586621679785711] Bool -> *) (Any_Sym1 a6989586621679785711) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796316 Bool -> Type) -> TyFun [a6989586621679796316] [a6989586621679796316] -> *) (DropWhileEndSym1 a6989586621679796316) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796400 (TyFun a6989586621679796400 a6989586621679796400 -> Type) -> Type) -> TyFun [a6989586621679796400] a6989586621679796400 -> *) (Foldl1'Sym1 a6989586621679796400) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796327 (TyFun a6989586621679796327 Ordering -> Type) -> Type) -> TyFun [a6989586621679796327] a6989586621679796327 -> *) (MinimumBySym1 a6989586621679796327) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796328 (TyFun a6989586621679796328 Ordering -> Type) -> Type) -> TyFun [a6989586621679796328] a6989586621679796328 -> *) (MaximumBySym1 a6989586621679796328) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796401 (TyFun a6989586621679796401 a6989586621679796401 -> Type) -> Type) -> TyFun [a6989586621679796401] a6989586621679796401 -> *) (Foldl1Sym1 a6989586621679796401) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796399 (TyFun a6989586621679796399 a6989586621679796399 -> Type) -> Type) -> TyFun [a6989586621679796399] a6989586621679796399 -> *) (Foldr1Sym1 a6989586621679796399) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796395 Bool -> Type) -> TyFun [a6989586621679796395] Bool -> *) (AllSym1 a6989586621679796395) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796392 (TyFun a6989586621679796392 a6989586621679796392 -> Type) -> Type) -> TyFun [a6989586621679796392] [a6989586621679796392] -> *) (Scanl1Sym1 a6989586621679796392) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796389 (TyFun a6989586621679796389 a6989586621679796389 -> Type) -> Type) -> TyFun [a6989586621679796389] [a6989586621679796389] -> *) (Scanr1Sym1 a6989586621679796389) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796322 Bool -> Type) -> TyFun [a6989586621679796322] (Maybe Nat) -> *) (FindIndexSym1 a6989586621679796322) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796321 Bool -> Type) -> TyFun [a6989586621679796321] [Nat] -> *) (FindIndicesSym1 a6989586621679796321) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796291 (TyFun a6989586621679796291 Bool -> Type) -> Type) -> TyFun [a6989586621679796291] (TyFun [a6989586621679796291] [a6989586621679796291] -> Type) -> *) (UnionBySym1 a6989586621679796291) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796291 (TyFun a6989586621679796291 Bool -> Type) -> Type) -> [a6989586621679796291] -> TyFun [a6989586621679796291] [a6989586621679796291] -> *) (UnionBySym2 a6989586621679796291) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796331 (TyFun a6989586621679796331 Bool -> Type) -> Type) -> TyFun [a6989586621679796331] (TyFun [a6989586621679796331] [a6989586621679796331] -> Type) -> *) (DeleteFirstsBySym1 a6989586621679796331) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796331 (TyFun a6989586621679796331 Bool -> Type) -> Type) -> [a6989586621679796331] -> TyFun [a6989586621679796331] [a6989586621679796331] -> *) (DeleteFirstsBySym2 a6989586621679796331) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796332 (TyFun a6989586621679796332 Bool -> Type) -> Type) -> TyFun a6989586621679796332 (TyFun [a6989586621679796332] [a6989586621679796332] -> Type) -> *) (DeleteBySym1 a6989586621679796332) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796332 (TyFun a6989586621679796332 Bool -> Type) -> Type) -> a6989586621679796332 -> TyFun [a6989586621679796332] [a6989586621679796332] -> *) (DeleteBySym2 a6989586621679796332) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796330 (TyFun a6989586621679796330 Ordering -> Type) -> Type) -> TyFun [a6989586621679796330] [a6989586621679796330] -> *) (SortBySym1 a6989586621679796330) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796329 (TyFun a6989586621679796329 Ordering -> Type) -> Type) -> TyFun a6989586621679796329 (TyFun [a6989586621679796329] [a6989586621679796329] -> Type) -> *) (InsertBySym1 a6989586621679796329) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796329 (TyFun a6989586621679796329 Ordering -> Type) -> Type) -> a6989586621679796329 -> TyFun [a6989586621679796329] [a6989586621679796329] -> *) (InsertBySym2 a6989586621679796329) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796319 (TyFun a6989586621679796319 Bool -> Type) -> Type) -> TyFun [a6989586621679796319] (TyFun [a6989586621679796319] [a6989586621679796319] -> Type) -> *) (IntersectBySym1 a6989586621679796319) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796319 (TyFun a6989586621679796319 Bool -> Type) -> Type) -> [a6989586621679796319] -> TyFun [a6989586621679796319] [a6989586621679796319] -> *) (IntersectBySym2 a6989586621679796319) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796325 Bool -> Type) -> TyFun [a6989586621679796325] (Maybe a6989586621679796325) -> *) (FindSym1 a6989586621679796325) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796326 Bool -> Type) -> TyFun [a6989586621679796326] [a6989586621679796326] -> *) (FilterSym1 a6989586621679796326) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796318 Bool -> Type) -> TyFun [a6989586621679796318] [a6989586621679796318] -> *) (TakeWhileSym1 a6989586621679796318) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796317 Bool -> Type) -> TyFun [a6989586621679796317] [a6989586621679796317] -> *) (DropWhileSym1 a6989586621679796317) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796305 (TyFun a6989586621679796305 Bool -> Type) -> Type) -> TyFun [a6989586621679796305] [[a6989586621679796305]] -> *) (GroupBySym1 a6989586621679796305) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796315 Bool -> Type) -> TyFun [a6989586621679796315] ([a6989586621679796315], [a6989586621679796315]) -> *) (SpanSym1 a6989586621679796315) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796314 Bool -> Type) -> TyFun [a6989586621679796314] ([a6989586621679796314], [a6989586621679796314]) -> *) (BreakSym1 a6989586621679796314) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796302 Bool -> Type) -> TyFun [a6989586621679796302] ([a6989586621679796302], [a6989586621679796302]) -> *) (PartitionSym1 a6989586621679796302) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796293 (TyFun a6989586621679796293 Bool -> Type) -> Type) -> TyFun [a6989586621679796293] [a6989586621679796293] -> *) (NubBySym1 a6989586621679796293) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680073211 Bool -> Type) -> TyFun (TyFun a6989586621680073211 a6989586621680073211 -> Type) (TyFun a6989586621680073211 a6989586621680073211 -> Type) -> *) (UntilSym1 a6989586621680073211) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680073211 Bool -> Type) -> (TyFun a6989586621680073211 a6989586621680073211 -> Type) -> TyFun a6989586621680073211 a6989586621680073211 -> *) (UntilSym2 a6989586621680073211) # | |
| SuppressUnusedWarnings ([a6989586621679550102] -> TyFun [a6989586621679550102] [a6989586621679550102] -> *) ((:++$$) a6989586621679550102) # | |
| SuppressUnusedWarnings ([a6989586621679796377] -> TyFun [a6989586621679796377] Bool -> *) (IsSuffixOfSym1 a6989586621679796377) # | |
| SuppressUnusedWarnings ([a6989586621679796408] -> TyFun [[a6989586621679796408]] [a6989586621679796408] -> *) (IntercalateSym1 a6989586621679796408) # | |
| SuppressUnusedWarnings ([a6989586621679796376] -> TyFun [a6989586621679796376] Bool -> *) (IsInfixOfSym1 a6989586621679796376) # | |
| SuppressUnusedWarnings ([a6989586621679796378] -> TyFun [a6989586621679796378] Bool -> *) (IsPrefixOfSym1 a6989586621679796378) # | |
| SuppressUnusedWarnings ([a6989586621679796333] -> TyFun [a6989586621679796333] [a6989586621679796333] -> *) ((:\\$$) a6989586621679796333) # | |
| SuppressUnusedWarnings ([a6989586621679796290] -> TyFun [a6989586621679796290] [a6989586621679796290] -> *) (UnionSym1 a6989586621679796290) # | |
| SuppressUnusedWarnings ([a6989586621679796320] -> TyFun [a6989586621679796320] [a6989586621679796320] -> *) (IntersectSym1 a6989586621679796320) # | |
| SuppressUnusedWarnings ([a6989586621679796295] -> TyFun Nat a6989586621679796295 -> *) ((:!!$$) a6989586621679796295) # | |
| SuppressUnusedWarnings ([a6989586621680051561] -> TyFun [a6989586621680051561] (Maybe [a6989586621680051561]) -> *) (StripPrefixSym1 a6989586621680051561) # | |
| SuppressUnusedWarnings (Nat -> TyFun [a6989586621679796311] ([a6989586621679796311], [a6989586621679796311]) -> *) (SplitAtSym1 a6989586621679796311) # | |
| SuppressUnusedWarnings (Nat -> TyFun [a6989586621679796313] [a6989586621679796313] -> *) (TakeSym1 a6989586621679796313) # | |
| SuppressUnusedWarnings (Nat -> TyFun [a6989586621679796312] [a6989586621679796312] -> *) (DropSym1 a6989586621679796312) # | |
| SuppressUnusedWarnings (Nat -> TyFun a6989586621679796297 [a6989586621679796297] -> *) (ReplicateSym1 a6989586621679796297) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> TyFun [a3530822107858468866] [a3530822107858468866] -> *) ((:$$) a3530822107858468866) # | |
| SuppressUnusedWarnings (a6989586621679545776 -> TyFun a6989586621679545776 (TyFun Bool a6989586621679545776 -> Type) -> *) (Bool_Sym1 a6989586621679545776) # | |
| SuppressUnusedWarnings (a6989586621679545776 -> a6989586621679545776 -> TyFun Bool a6989586621679545776 -> *) (Bool_Sym2 a6989586621679545776) # | |
| SuppressUnusedWarnings (a6989586621679550092 -> TyFun a6989586621679550092 a6989586621679550092 -> *) (AsTypeOfSym1 a6989586621679550092) # | |
| SuppressUnusedWarnings (a6989586621679561203 -> TyFun a6989586621679561203 Bool -> *) ((:/=$$) a6989586621679561203) # | |
| SuppressUnusedWarnings (a6989586621679561203 -> TyFun a6989586621679561203 Bool -> *) ((:==$$) a6989586621679561203) # | |
| SuppressUnusedWarnings (a6989586621679586420 -> TyFun a6989586621679586420 a6989586621679586420 -> *) (MinSym1 a6989586621679586420) # | |
| SuppressUnusedWarnings (a6989586621679586420 -> TyFun a6989586621679586420 a6989586621679586420 -> *) (MaxSym1 a6989586621679586420) # | |
| SuppressUnusedWarnings (a6989586621679586420 -> TyFun a6989586621679586420 Bool -> *) ((:>=$$) a6989586621679586420) # | |
| SuppressUnusedWarnings (a6989586621679586420 -> TyFun a6989586621679586420 Bool -> *) ((:>$$) a6989586621679586420) # | |
| SuppressUnusedWarnings (a6989586621679586420 -> TyFun a6989586621679586420 Bool -> *) ((:<=$$) a6989586621679586420) # | |
| SuppressUnusedWarnings (a6989586621679586420 -> TyFun a6989586621679586420 Bool -> *) ((:<$$) a6989586621679586420) # | |
| SuppressUnusedWarnings (a6989586621679586420 -> TyFun a6989586621679586420 Ordering -> *) (CompareSym1 a6989586621679586420) # | |
| SuppressUnusedWarnings (a6989586621679685236 -> TyFun a6989586621679685236 a6989586621679685236 -> *) ((:*$$) a6989586621679685236) # | |
| SuppressUnusedWarnings (a6989586621679685236 -> TyFun a6989586621679685236 a6989586621679685236 -> *) ((:-$$) a6989586621679685236) # | |
| SuppressUnusedWarnings (a6989586621679685236 -> TyFun a6989586621679685236 a6989586621679685236 -> *) ((:+$$) a6989586621679685236) # | |
| SuppressUnusedWarnings (a6989586621679687552 -> TyFun a6989586621679687552 a6989586621679687552 -> *) (SubtractSym1 a6989586621679687552) # | |
| SuppressUnusedWarnings (a6989586621679697496 -> TyFun a6989586621679697496 (TyFun a6989586621679697496 [a6989586621679697496] -> Type) -> *) (EnumFromThenToSym1 a6989586621679697496) # | |
| SuppressUnusedWarnings (a6989586621679697496 -> a6989586621679697496 -> TyFun a6989586621679697496 [a6989586621679697496] -> *) (EnumFromThenToSym2 a6989586621679697496) # | |
| SuppressUnusedWarnings (a6989586621679697496 -> TyFun a6989586621679697496 [a6989586621679697496] -> *) (EnumFromToSym1 a6989586621679697496) # | |
| SuppressUnusedWarnings (a6989586621679771947 -> TyFun (Maybe a6989586621679771947) a6989586621679771947 -> *) (FromMaybeSym1 a6989586621679771947) # | |
| SuppressUnusedWarnings (a6989586621679796409 -> TyFun [a6989586621679796409] [a6989586621679796409] -> *) (IntersperseSym1 a6989586621679796409) # | |
| SuppressUnusedWarnings (a6989586621679796375 -> TyFun [a6989586621679796375] Bool -> *) (ElemSym1 a6989586621679796375) # | |
| SuppressUnusedWarnings (a6989586621679796374 -> TyFun [a6989586621679796374] Bool -> *) (NotElemSym1 a6989586621679796374) # | |
| SuppressUnusedWarnings (a6989586621679796324 -> TyFun [a6989586621679796324] (Maybe Nat) -> *) (ElemIndexSym1 a6989586621679796324) # | |
| SuppressUnusedWarnings (a6989586621679796323 -> TyFun [a6989586621679796323] [Nat] -> *) (ElemIndicesSym1 a6989586621679796323) # | |
| SuppressUnusedWarnings (a6989586621679796334 -> TyFun [a6989586621679796334] [a6989586621679796334] -> *) (DeleteSym1 a6989586621679796334) # | |
| SuppressUnusedWarnings (a6989586621679796307 -> TyFun [a6989586621679796307] [a6989586621679796307] -> *) (InsertSym1 a6989586621679796307) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679785711 Bool -> Type) (TyFun [a6989586621679785711] Bool -> Type) -> *) (Any_Sym0 a6989586621679785711) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796316 Bool -> Type) (TyFun [a6989586621679796316] [a6989586621679796316] -> Type) -> *) (DropWhileEndSym0 a6989586621679796316) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796400 (TyFun a6989586621679796400 a6989586621679796400 -> Type) -> Type) (TyFun [a6989586621679796400] a6989586621679796400 -> Type) -> *) (Foldl1'Sym0 a6989586621679796400) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796327 (TyFun a6989586621679796327 Ordering -> Type) -> Type) (TyFun [a6989586621679796327] a6989586621679796327 -> Type) -> *) (MinimumBySym0 a6989586621679796327) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796328 (TyFun a6989586621679796328 Ordering -> Type) -> Type) (TyFun [a6989586621679796328] a6989586621679796328 -> Type) -> *) (MaximumBySym0 a6989586621679796328) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796401 (TyFun a6989586621679796401 a6989586621679796401 -> Type) -> Type) (TyFun [a6989586621679796401] a6989586621679796401 -> Type) -> *) (Foldl1Sym0 a6989586621679796401) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796399 (TyFun a6989586621679796399 a6989586621679796399 -> Type) -> Type) (TyFun [a6989586621679796399] a6989586621679796399 -> Type) -> *) (Foldr1Sym0 a6989586621679796399) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796395 Bool -> Type) (TyFun [a6989586621679796395] Bool -> Type) -> *) (AllSym0 a6989586621679796395) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796392 (TyFun a6989586621679796392 a6989586621679796392 -> Type) -> Type) (TyFun [a6989586621679796392] [a6989586621679796392] -> Type) -> *) (Scanl1Sym0 a6989586621679796392) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796389 (TyFun a6989586621679796389 a6989586621679796389 -> Type) -> Type) (TyFun [a6989586621679796389] [a6989586621679796389] -> Type) -> *) (Scanr1Sym0 a6989586621679796389) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796322 Bool -> Type) (TyFun [a6989586621679796322] (Maybe Nat) -> Type) -> *) (FindIndexSym0 a6989586621679796322) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796321 Bool -> Type) (TyFun [a6989586621679796321] [Nat] -> Type) -> *) (FindIndicesSym0 a6989586621679796321) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796291 (TyFun a6989586621679796291 Bool -> Type) -> Type) (TyFun [a6989586621679796291] (TyFun [a6989586621679796291] [a6989586621679796291] -> Type) -> Type) -> *) (UnionBySym0 a6989586621679796291) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796331 (TyFun a6989586621679796331 Bool -> Type) -> Type) (TyFun [a6989586621679796331] (TyFun [a6989586621679796331] [a6989586621679796331] -> Type) -> Type) -> *) (DeleteFirstsBySym0 a6989586621679796331) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796332 (TyFun a6989586621679796332 Bool -> Type) -> Type) (TyFun a6989586621679796332 (TyFun [a6989586621679796332] [a6989586621679796332] -> Type) -> Type) -> *) (DeleteBySym0 a6989586621679796332) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796330 (TyFun a6989586621679796330 Ordering -> Type) -> Type) (TyFun [a6989586621679796330] [a6989586621679796330] -> Type) -> *) (SortBySym0 a6989586621679796330) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796329 (TyFun a6989586621679796329 Ordering -> Type) -> Type) (TyFun a6989586621679796329 (TyFun [a6989586621679796329] [a6989586621679796329] -> Type) -> Type) -> *) (InsertBySym0 a6989586621679796329) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796319 (TyFun a6989586621679796319 Bool -> Type) -> Type) (TyFun [a6989586621679796319] (TyFun [a6989586621679796319] [a6989586621679796319] -> Type) -> Type) -> *) (IntersectBySym0 a6989586621679796319) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796325 Bool -> Type) (TyFun [a6989586621679796325] (Maybe a6989586621679796325) -> Type) -> *) (FindSym0 a6989586621679796325) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796326 Bool -> Type) (TyFun [a6989586621679796326] [a6989586621679796326] -> Type) -> *) (FilterSym0 a6989586621679796326) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796318 Bool -> Type) (TyFun [a6989586621679796318] [a6989586621679796318] -> Type) -> *) (TakeWhileSym0 a6989586621679796318) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796317 Bool -> Type) (TyFun [a6989586621679796317] [a6989586621679796317] -> Type) -> *) (DropWhileSym0 a6989586621679796317) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796305 (TyFun a6989586621679796305 Bool -> Type) -> Type) (TyFun [a6989586621679796305] [[a6989586621679796305]] -> Type) -> *) (GroupBySym0 a6989586621679796305) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796315 Bool -> Type) (TyFun [a6989586621679796315] ([a6989586621679796315], [a6989586621679796315]) -> Type) -> *) (SpanSym0 a6989586621679796315) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796314 Bool -> Type) (TyFun [a6989586621679796314] ([a6989586621679796314], [a6989586621679796314]) -> Type) -> *) (BreakSym0 a6989586621679796314) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796302 Bool -> Type) (TyFun [a6989586621679796302] ([a6989586621679796302], [a6989586621679796302]) -> Type) -> *) (PartitionSym0 a6989586621679796302) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796293 (TyFun a6989586621679796293 Bool -> Type) -> Type) (TyFun [a6989586621679796293] [a6989586621679796293] -> Type) -> *) (NubBySym0 a6989586621679796293) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621680073211 Bool -> Type) (TyFun (TyFun a6989586621680073211 a6989586621680073211 -> Type) (TyFun a6989586621680073211 a6989586621680073211 -> Type) -> Type) -> *) (UntilSym0 a6989586621680073211) # | |
| SuppressUnusedWarnings (TyFun [[a6989586621679796296]] [[a6989586621679796296]] -> *) (TransposeSym0 a6989586621679796296) # | |
| SuppressUnusedWarnings (TyFun [[a6989586621679796398]] [a6989586621679796398] -> *) (ConcatSym0 a6989586621679796398) # | |
| SuppressUnusedWarnings (TyFun [Maybe a6989586621679771944] [a6989586621679771944] -> *) (CatMaybesSym0 a6989586621679771944) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679550102] (TyFun [a6989586621679550102] [a6989586621679550102] -> Type) -> *) ((:++$) a6989586621679550102) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679771945] (Maybe a6989586621679771945) -> *) (ListToMaybeSym0 a6989586621679771945) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796415] a6989586621679796415 -> *) (HeadSym0 a6989586621679796415) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796414] a6989586621679796414 -> *) (LastSym0 a6989586621679796414) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796413] [a6989586621679796413] -> *) (TailSym0 a6989586621679796413) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796412] [a6989586621679796412] -> *) (InitSym0 a6989586621679796412) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796411] Bool -> *) (NullSym0 a6989586621679796411) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796377] (TyFun [a6989586621679796377] Bool -> Type) -> *) (IsSuffixOfSym0 a6989586621679796377) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796410] [a6989586621679796410] -> *) (ReverseSym0 a6989586621679796410) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796408] (TyFun [[a6989586621679796408]] [a6989586621679796408] -> Type) -> *) (IntercalateSym0 a6989586621679796408) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796407] [[a6989586621679796407]] -> *) (SubsequencesSym0 a6989586621679796407) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796404] [[a6989586621679796404]] -> *) (PermutationsSym0 a6989586621679796404) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796308] a6989586621679796308 -> *) (MinimumSym0 a6989586621679796308) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796309] a6989586621679796309 -> *) (MaximumSym0 a6989586621679796309) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796380] [[a6989586621679796380]] -> *) (InitsSym0 a6989586621679796380) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796376] (TyFun [a6989586621679796376] Bool -> Type) -> *) (IsInfixOfSym0 a6989586621679796376) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796379] [[a6989586621679796379]] -> *) (TailsSym0 a6989586621679796379) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796378] (TyFun [a6989586621679796378] Bool -> Type) -> *) (IsPrefixOfSym0 a6989586621679796378) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796294] [a6989586621679796294] -> *) (NubSym0 a6989586621679796294) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796333] (TyFun [a6989586621679796333] [a6989586621679796333] -> Type) -> *) ((:\\$) a6989586621679796333) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796290] (TyFun [a6989586621679796290] [a6989586621679796290] -> Type) -> *) (UnionSym0 a6989586621679796290) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796306] [a6989586621679796306] -> *) (SortSym0 a6989586621679796306) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796320] (TyFun [a6989586621679796320] [a6989586621679796320] -> Type) -> *) (IntersectSym0 a6989586621679796320) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796310] [[a6989586621679796310]] -> *) (GroupSym0 a6989586621679796310) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796300] a6989586621679796300 -> *) (SumSym0 a6989586621679796300) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796299] a6989586621679796299 -> *) (ProductSym0 a6989586621679796299) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796298] Nat -> *) (LengthSym0 a6989586621679796298) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796295] (TyFun Nat a6989586621679796295 -> Type) -> *) ((:!!$) a6989586621679796295) # | |
| SuppressUnusedWarnings (TyFun [a6989586621680051561] (TyFun [a6989586621680051561] (Maybe [a6989586621680051561]) -> Type) -> *) (StripPrefixSym0 a6989586621680051561) # | |
| SuppressUnusedWarnings (TyFun (Maybe a6989586621679771950) Bool -> *) (IsJustSym0 a6989586621679771950) # | |
| SuppressUnusedWarnings (TyFun (Maybe a6989586621679771949) Bool -> *) (IsNothingSym0 a6989586621679771949) # | |
| SuppressUnusedWarnings (TyFun (Maybe a6989586621679771948) a6989586621679771948 -> *) (FromJustSym0 a6989586621679771948) # | |
| SuppressUnusedWarnings (TyFun (Maybe a6989586621679771946) [a6989586621679771946] -> *) (MaybeToListSym0 a6989586621679771946) # | |
| SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679796311] ([a6989586621679796311], [a6989586621679796311]) -> Type) -> *) (SplitAtSym0 a6989586621679796311) # | |
| SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679796313] [a6989586621679796313] -> Type) -> *) (TakeSym0 a6989586621679796313) # | |
| SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679796312] [a6989586621679796312] -> Type) -> *) (DropSym0 a6989586621679796312) # | |
| SuppressUnusedWarnings (TyFun Nat (TyFun a6989586621679796297 [a6989586621679796297] -> Type) -> *) (ReplicateSym0 a6989586621679796297) # | |
| SuppressUnusedWarnings (TyFun Nat a6989586621679685236 -> *) (FromIntegerSym0 a6989586621679685236) # | |
| SuppressUnusedWarnings (TyFun Nat a6989586621679697496 -> *) (ToEnumSym0 a6989586621679697496) # | |
| SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun [a3530822107858468866] [a3530822107858468866] -> Type) -> *) ((:$) a3530822107858468866) # | |
| SuppressUnusedWarnings (TyFun a3530822107858468866 (Maybe a3530822107858468866) -> *) (JustSym0 a3530822107858468866) # | |
| SuppressUnusedWarnings (TyFun a6989586621679545776 (TyFun a6989586621679545776 (TyFun Bool a6989586621679545776 -> Type) -> Type) -> *) (Bool_Sym0 a6989586621679545776) # | |
| SuppressUnusedWarnings (TyFun a6989586621679550101 a6989586621679550101 -> *) (IdSym0 a6989586621679550101) # | |
| SuppressUnusedWarnings (TyFun a6989586621679550092 (TyFun a6989586621679550092 a6989586621679550092 -> Type) -> *) (AsTypeOfSym0 a6989586621679550092) # | |
| SuppressUnusedWarnings (TyFun a6989586621679561203 (TyFun a6989586621679561203 Bool -> Type) -> *) ((:/=$) a6989586621679561203) # | |
| SuppressUnusedWarnings (TyFun a6989586621679561203 (TyFun a6989586621679561203 Bool -> Type) -> *) ((:==$) a6989586621679561203) # | |
| SuppressUnusedWarnings (TyFun a6989586621679586420 (TyFun a6989586621679586420 a6989586621679586420 -> Type) -> *) (MinSym0 a6989586621679586420) # | |
| SuppressUnusedWarnings (TyFun a6989586621679586420 (TyFun a6989586621679586420 a6989586621679586420 -> Type) -> *) (MaxSym0 a6989586621679586420) # | |
| SuppressUnusedWarnings (TyFun a6989586621679586420 (TyFun a6989586621679586420 Bool -> Type) -> *) ((:>=$) a6989586621679586420) # | |
| SuppressUnusedWarnings (TyFun a6989586621679586420 (TyFun a6989586621679586420 Bool -> Type) -> *) ((:>$) a6989586621679586420) # | |
| SuppressUnusedWarnings (TyFun a6989586621679586420 (TyFun a6989586621679586420 Bool -> Type) -> *) ((:<=$) a6989586621679586420) # | |
| SuppressUnusedWarnings (TyFun a6989586621679586420 (TyFun a6989586621679586420 Bool -> Type) -> *) ((:<$) a6989586621679586420) # | |
| SuppressUnusedWarnings (TyFun a6989586621679586420 (TyFun a6989586621679586420 Ordering -> Type) -> *) (CompareSym0 a6989586621679586420) # | |
| SuppressUnusedWarnings (TyFun a6989586621679685236 a6989586621679685236 -> *) (SignumSym0 a6989586621679685236) # | |
| SuppressUnusedWarnings (TyFun a6989586621679685236 a6989586621679685236 -> *) (AbsSym0 a6989586621679685236) # | |
| SuppressUnusedWarnings (TyFun a6989586621679685236 a6989586621679685236 -> *) (NegateSym0 a6989586621679685236) # | |
| SuppressUnusedWarnings (TyFun a6989586621679685236 (TyFun a6989586621679685236 a6989586621679685236 -> Type) -> *) ((:*$) a6989586621679685236) # | |
| SuppressUnusedWarnings (TyFun a6989586621679685236 (TyFun a6989586621679685236 a6989586621679685236 -> Type) -> *) ((:-$) a6989586621679685236) # | |
| SuppressUnusedWarnings (TyFun a6989586621679685236 (TyFun a6989586621679685236 a6989586621679685236 -> Type) -> *) ((:+$) a6989586621679685236) # | |
| SuppressUnusedWarnings (TyFun a6989586621679687552 (TyFun a6989586621679687552 a6989586621679687552 -> Type) -> *) (SubtractSym0 a6989586621679687552) # | |
| SuppressUnusedWarnings (TyFun a6989586621679697496 (TyFun a6989586621679697496 (TyFun a6989586621679697496 [a6989586621679697496] -> Type) -> Type) -> *) (EnumFromThenToSym0 a6989586621679697496) # | |
| SuppressUnusedWarnings (TyFun a6989586621679697496 (TyFun a6989586621679697496 [a6989586621679697496] -> Type) -> *) (EnumFromToSym0 a6989586621679697496) # | |
| SuppressUnusedWarnings (TyFun a6989586621679697496 Nat -> *) (FromEnumSym0 a6989586621679697496) # | |
| SuppressUnusedWarnings (TyFun a6989586621679697496 a6989586621679697496 -> *) (PredSym0 a6989586621679697496) # | |
| SuppressUnusedWarnings (TyFun a6989586621679697496 a6989586621679697496 -> *) (SuccSym0 a6989586621679697496) # | |
| SuppressUnusedWarnings (TyFun a6989586621679771947 (TyFun (Maybe a6989586621679771947) a6989586621679771947 -> Type) -> *) (FromMaybeSym0 a6989586621679771947) # | |
| SuppressUnusedWarnings (TyFun a6989586621679796409 (TyFun [a6989586621679796409] [a6989586621679796409] -> Type) -> *) (IntersperseSym0 a6989586621679796409) # | |
| SuppressUnusedWarnings (TyFun a6989586621679796375 (TyFun [a6989586621679796375] Bool -> Type) -> *) (ElemSym0 a6989586621679796375) # | |
| SuppressUnusedWarnings (TyFun a6989586621679796374 (TyFun [a6989586621679796374] Bool -> Type) -> *) (NotElemSym0 a6989586621679796374) # | |
| SuppressUnusedWarnings (TyFun a6989586621679796324 (TyFun [a6989586621679796324] (Maybe Nat) -> Type) -> *) (ElemIndexSym0 a6989586621679796324) # | |
| SuppressUnusedWarnings (TyFun a6989586621679796323 (TyFun [a6989586621679796323] [Nat] -> Type) -> *) (ElemIndicesSym0 a6989586621679796323) # | |
| SuppressUnusedWarnings (TyFun a6989586621679796334 (TyFun [a6989586621679796334] [a6989586621679796334] -> Type) -> *) (DeleteSym0 a6989586621679796334) # | |
| SuppressUnusedWarnings (TyFun a6989586621679796307 (TyFun [a6989586621679796307] [a6989586621679796307] -> Type) -> *) (InsertSym0 a6989586621679796307) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679509136 (TyFun a6989586621679509135 b6989586621679509136 -> Type) -> Type) -> TyFun b6989586621679509136 (TyFun [a6989586621679509135] b6989586621679509136 -> Type) -> *) (FoldlSym1 a6989586621679509135 b6989586621679509136) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679509136 (TyFun a6989586621679509135 b6989586621679509136 -> Type) -> Type) -> b6989586621679509136 -> TyFun [a6989586621679509135] b6989586621679509136 -> *) (FoldlSym2 a6989586621679509135 b6989586621679509136) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679550105 (TyFun b6989586621679550106 b6989586621679550106 -> Type) -> Type) -> TyFun b6989586621679550106 (TyFun [a6989586621679550105] b6989586621679550106 -> Type) -> *) (FoldrSym1 a6989586621679550105 b6989586621679550106) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679550105 (TyFun b6989586621679550106 b6989586621679550106 -> Type) -> Type) -> b6989586621679550106 -> TyFun [a6989586621679550105] b6989586621679550106 -> *) (FoldrSym2 a6989586621679550105 b6989586621679550106) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679550103 b6989586621679550104 -> Type) -> TyFun [a6989586621679550103] [b6989586621679550104] -> *) (MapSym1 a6989586621679550103 b6989586621679550104) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679771942 (Maybe b6989586621679771943) -> Type) -> TyFun [a6989586621679771942] [b6989586621679771943] -> *) (MapMaybeSym1 a6989586621679771942 b6989586621679771943) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679796403 (TyFun a6989586621679796402 b6989586621679796403 -> Type) -> Type) -> TyFun b6989586621679796403 (TyFun [a6989586621679796402] b6989586621679796403 -> Type) -> *) (Foldl'Sym1 a6989586621679796402 b6989586621679796403) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679796403 (TyFun a6989586621679796402 b6989586621679796403 -> Type) -> Type) -> b6989586621679796403 -> TyFun [a6989586621679796402] b6989586621679796403 -> *) (Foldl'Sym2 a6989586621679796402 b6989586621679796403) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796396 [b6989586621679796397] -> Type) -> TyFun [a6989586621679796396] [b6989586621679796397] -> *) (ConcatMapSym1 a6989586621679796396 b6989586621679796397) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679796393 (TyFun a6989586621679796394 b6989586621679796393 -> Type) -> Type) -> TyFun b6989586621679796393 (TyFun [a6989586621679796394] [b6989586621679796393] -> Type) -> *) (ScanlSym1 a6989586621679796394 b6989586621679796393) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679796393 (TyFun a6989586621679796394 b6989586621679796393 -> Type) -> Type) -> b6989586621679796393 -> TyFun [a6989586621679796394] [b6989586621679796393] -> *) (ScanlSym2 a6989586621679796394 b6989586621679796393) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796390 (TyFun b6989586621679796391 b6989586621679796391 -> Type) -> Type) -> TyFun b6989586621679796391 (TyFun [a6989586621679796390] [b6989586621679796391] -> Type) -> *) (ScanrSym1 a6989586621679796390 b6989586621679796391) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796390 (TyFun b6989586621679796391 b6989586621679796391 -> Type) -> Type) -> b6989586621679796391 -> TyFun [a6989586621679796390] [b6989586621679796391] -> *) (ScanrSym2 a6989586621679796390 b6989586621679796391) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679796381 (Maybe (a6989586621679796382, b6989586621679796381)) -> Type) -> TyFun b6989586621679796381 [a6989586621679796382] -> *) (UnfoldrSym1 a6989586621679796382 b6989586621679796381) # | |
| SuppressUnusedWarnings ([a6989586621679796372] -> TyFun [b6989586621679796373] [(a6989586621679796372, b6989586621679796373)] -> *) (ZipSym1 b6989586621679796373 a6989586621679796372) # | |
| SuppressUnusedWarnings ([a6989586621680051506] -> TyFun i6989586621680051505 a6989586621680051506 -> *) (GenericIndexSym1 i6989586621680051505 a6989586621680051506) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (a3530822107858468866, b3530822107858468867) -> *) (Tuple2Sym1 b3530822107858468867 a3530822107858468866) # | |
| SuppressUnusedWarnings (a6989586621679550099 -> TyFun b6989586621679550100 a6989586621679550099 -> *) (ConstSym1 b6989586621679550100 a6989586621679550099) # | |
| SuppressUnusedWarnings (a6989586621679550090 -> TyFun b6989586621679550091 b6989586621679550091 -> *) (SeqSym1 b6989586621679550091 a6989586621679550090) # | |
| SuppressUnusedWarnings (b6989586621679770696 -> TyFun (TyFun a6989586621679770697 b6989586621679770696 -> Type) (TyFun (Maybe a6989586621679770697) b6989586621679770696 -> Type) -> *) (Maybe_Sym1 a6989586621679770697 b6989586621679770696) # | |
| SuppressUnusedWarnings (b6989586621679770696 -> (TyFun a6989586621679770697 b6989586621679770696 -> Type) -> TyFun (Maybe a6989586621679770697) b6989586621679770696 -> *) (Maybe_Sym2 a6989586621679770697 b6989586621679770696) # | |
| SuppressUnusedWarnings (a6989586621679796303 -> TyFun [(a6989586621679796303, b6989586621679796304)] (Maybe b6989586621679796304) -> *) (LookupSym1 b6989586621679796304 a6989586621679796303) # | |
| SuppressUnusedWarnings (i6989586621680051511 -> TyFun [a6989586621680051512] [a6989586621680051512] -> *) (GenericTakeSym1 a6989586621680051512 i6989586621680051511) # | |
| SuppressUnusedWarnings (i6989586621680051509 -> TyFun [a6989586621680051510] [a6989586621680051510] -> *) (GenericDropSym1 a6989586621680051510 i6989586621680051509) # | |
| SuppressUnusedWarnings (i6989586621680051507 -> TyFun [a6989586621680051508] ([a6989586621680051508], [a6989586621680051508]) -> *) (GenericSplitAtSym1 a6989586621680051508 i6989586621680051507) # | |
| SuppressUnusedWarnings (i6989586621680051503 -> TyFun a6989586621680051504 [a6989586621680051504] -> *) (GenericReplicateSym1 a6989586621680051504 i6989586621680051503) # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679509136 (TyFun a6989586621679509135 b6989586621679509136 -> Type) -> Type) (TyFun b6989586621679509136 (TyFun [a6989586621679509135] b6989586621679509136 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679509135 b6989586621679509136) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679550105 (TyFun b6989586621679550106 b6989586621679550106 -> Type) -> Type) (TyFun b6989586621679550106 (TyFun [a6989586621679550105] b6989586621679550106 -> Type) -> Type) -> *) (FoldrSym0 a6989586621679550105 b6989586621679550106) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679550103 b6989586621679550104 -> Type) (TyFun [a6989586621679550103] [b6989586621679550104] -> Type) -> *) (MapSym0 a6989586621679550103 b6989586621679550104) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679771942 (Maybe b6989586621679771943) -> Type) (TyFun [a6989586621679771942] [b6989586621679771943] -> Type) -> *) (MapMaybeSym0 a6989586621679771942 b6989586621679771943) # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679796403 (TyFun a6989586621679796402 b6989586621679796403 -> Type) -> Type) (TyFun b6989586621679796403 (TyFun [a6989586621679796402] b6989586621679796403 -> Type) -> Type) -> *) (Foldl'Sym0 a6989586621679796402 b6989586621679796403) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796396 [b6989586621679796397] -> Type) (TyFun [a6989586621679796396] [b6989586621679796397] -> Type) -> *) (ConcatMapSym0 a6989586621679796396 b6989586621679796397) # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679796393 (TyFun a6989586621679796394 b6989586621679796393 -> Type) -> Type) (TyFun b6989586621679796393 (TyFun [a6989586621679796394] [b6989586621679796393] -> Type) -> Type) -> *) (ScanlSym0 a6989586621679796394 b6989586621679796393) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796390 (TyFun b6989586621679796391 b6989586621679796391 -> Type) -> Type) (TyFun b6989586621679796391 (TyFun [a6989586621679796390] [b6989586621679796391] -> Type) -> Type) -> *) (ScanrSym0 a6989586621679796390 b6989586621679796391) # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679796381 (Maybe (a6989586621679796382, b6989586621679796381)) -> Type) (TyFun b6989586621679796381 [a6989586621679796382] -> Type) -> *) (UnfoldrSym0 b6989586621679796381 a6989586621679796382) # | |
| SuppressUnusedWarnings (TyFun [Either a6989586621679762510 b6989586621679762511] [a6989586621679762510] -> *) (LeftsSym0 b6989586621679762511 a6989586621679762510) # | |
| SuppressUnusedWarnings (TyFun [Either a6989586621679762508 b6989586621679762509] [b6989586621679762509] -> *) (RightsSym0 a6989586621679762508 b6989586621679762509) # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679796360, b6989586621679796361)] ([a6989586621679796360], [b6989586621679796361]) -> *) (UnzipSym0 a6989586621679796360 b6989586621679796361) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796372] (TyFun [b6989586621679796373] [(a6989586621679796372, b6989586621679796373)] -> Type) -> *) (ZipSym0 a6989586621679796372 b6989586621679796373) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796289] i6989586621679796288 -> *) (GenericLengthSym0 a6989586621679796289 i6989586621679796288) # | |
| SuppressUnusedWarnings (TyFun [a6989586621680051506] (TyFun i6989586621680051505 a6989586621680051506 -> Type) -> *) (GenericIndexSym0 i6989586621680051505 a6989586621680051506) # | |
| SuppressUnusedWarnings (TyFun (Either a6989586621679762504 b6989586621679762505) Bool -> *) (IsLeftSym0 a6989586621679762504 b6989586621679762505) # | |
| SuppressUnusedWarnings (TyFun (Either a6989586621679762502 b6989586621679762503) Bool -> *) (IsRightSym0 a6989586621679762502 b6989586621679762503) # | |
| SuppressUnusedWarnings (TyFun (a6989586621679781816, b6989586621679781817) a6989586621679781816 -> *) (FstSym0 b6989586621679781817 a6989586621679781816) # | |
| SuppressUnusedWarnings (TyFun (a6989586621679781814, b6989586621679781815) b6989586621679781815 -> *) (SndSym0 a6989586621679781814 b6989586621679781815) # | |
| SuppressUnusedWarnings (TyFun (a6989586621679781806, b6989586621679781807) (b6989586621679781807, a6989586621679781806) -> *) (SwapSym0 b6989586621679781807 a6989586621679781806) # | |
| SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (a3530822107858468866, b3530822107858468867) -> Type) -> *) (Tuple2Sym0 a3530822107858468866 b3530822107858468867) # | |
| SuppressUnusedWarnings (TyFun b6989586621679054094 (Either a6989586621679054093 b6989586621679054094) -> *) (RightSym0 a6989586621679054093 b6989586621679054094) # | |
| SuppressUnusedWarnings (TyFun a6989586621679054093 (Either a6989586621679054093 b6989586621679054094) -> *) (LeftSym0 a6989586621679054093 b6989586621679054094) # | |
| SuppressUnusedWarnings (TyFun a6989586621679550099 (TyFun b6989586621679550100 a6989586621679550099 -> Type) -> *) (ConstSym0 b6989586621679550100 a6989586621679550099) # | |
| SuppressUnusedWarnings (TyFun a6989586621679550090 (TyFun b6989586621679550091 b6989586621679550091 -> Type) -> *) (SeqSym0 a6989586621679550090 b6989586621679550091) # | |
| SuppressUnusedWarnings (TyFun k06989586621679675033 k6989586621679675035 -> *) (ErrorSym0 k06989586621679675033 k6989586621679675035) # | |
| SuppressUnusedWarnings (TyFun b6989586621679770696 (TyFun (TyFun a6989586621679770697 b6989586621679770696 -> Type) (TyFun (Maybe a6989586621679770697) b6989586621679770696 -> Type) -> Type) -> *) (Maybe_Sym0 a6989586621679770697 b6989586621679770696) # | |
| SuppressUnusedWarnings (TyFun a6989586621679796303 (TyFun [(a6989586621679796303, b6989586621679796304)] (Maybe b6989586621679796304) -> Type) -> *) (LookupSym0 a6989586621679796303 b6989586621679796304) # | |
| SuppressUnusedWarnings (TyFun i6989586621680051511 (TyFun [a6989586621680051512] [a6989586621680051512] -> Type) -> *) (GenericTakeSym0 i6989586621680051511 a6989586621680051512) # | |
| SuppressUnusedWarnings (TyFun i6989586621680051509 (TyFun [a6989586621680051510] [a6989586621680051510] -> Type) -> *) (GenericDropSym0 i6989586621680051509 a6989586621680051510) # | |
| SuppressUnusedWarnings (TyFun i6989586621680051507 (TyFun [a6989586621680051508] ([a6989586621680051508], [a6989586621680051508]) -> Type) -> *) (GenericSplitAtSym0 i6989586621680051507 a6989586621680051508) # | |
| SuppressUnusedWarnings (TyFun i6989586621680051503 (TyFun a6989586621680051504 [a6989586621680051504] -> Type) -> *) (GenericReplicateSym0 i6989586621680051503 a6989586621680051504) # | |
| SuppressUnusedWarnings ((TyFun (a6989586621679781811, b6989586621679781812) c6989586621679781813 -> Type) -> TyFun a6989586621679781811 (TyFun b6989586621679781812 c6989586621679781813 -> Type) -> *) (CurrySym1 a6989586621679781811 b6989586621679781812 c6989586621679781813) # | |
| SuppressUnusedWarnings ((TyFun (a6989586621679781811, b6989586621679781812) c6989586621679781813 -> Type) -> a6989586621679781811 -> TyFun b6989586621679781812 c6989586621679781813 -> *) (CurrySym2 a6989586621679781811 b6989586621679781812 c6989586621679781813) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679550096 c6989586621679550097 -> Type) -> TyFun (TyFun a6989586621679550098 b6989586621679550096 -> Type) (TyFun a6989586621679550098 c6989586621679550097 -> Type) -> *) ((:.$$) a6989586621679550098 b6989586621679550096 c6989586621679550097) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679550096 c6989586621679550097 -> Type) -> (TyFun a6989586621679550098 b6989586621679550096 -> Type) -> TyFun a6989586621679550098 c6989586621679550097 -> *) ((:.$$$) a6989586621679550098 b6989586621679550096 c6989586621679550097) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679550093 (TyFun b6989586621679550094 c6989586621679550095 -> Type) -> Type) -> TyFun b6989586621679550094 (TyFun a6989586621679550093 c6989586621679550095 -> Type) -> *) (FlipSym1 a6989586621679550093 b6989586621679550094 c6989586621679550095) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679550093 (TyFun b6989586621679550094 c6989586621679550095 -> Type) -> Type) -> b6989586621679550094 -> TyFun a6989586621679550093 c6989586621679550095 -> *) (FlipSym2 a6989586621679550093 b6989586621679550094 c6989586621679550095) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679761240 c6989586621679761241 -> Type) -> TyFun (TyFun b6989586621679761242 c6989586621679761241 -> Type) (TyFun (Either a6989586621679761240 b6989586621679761242) c6989586621679761241 -> Type) -> *) (Either_Sym1 b6989586621679761242 a6989586621679761240 c6989586621679761241) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679761240 c6989586621679761241 -> Type) -> (TyFun b6989586621679761242 c6989586621679761241 -> Type) -> TyFun (Either a6989586621679761240 b6989586621679761242) c6989586621679761241 -> *) (Either_Sym2 b6989586621679761242 a6989586621679761240 c6989586621679761241) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679781808 (TyFun b6989586621679781809 c6989586621679781810 -> Type) -> Type) -> TyFun (a6989586621679781808, b6989586621679781809) c6989586621679781810 -> *) (UncurrySym1 a6989586621679781808 b6989586621679781809 c6989586621679781810) # | |
| SuppressUnusedWarnings ((TyFun acc6989586621679796386 (TyFun x6989586621679796387 (acc6989586621679796386, y6989586621679796388) -> Type) -> Type) -> TyFun acc6989586621679796386 (TyFun [x6989586621679796387] (acc6989586621679796386, [y6989586621679796388]) -> Type) -> *) (MapAccumLSym1 x6989586621679796387 acc6989586621679796386 y6989586621679796388) # | |
| SuppressUnusedWarnings ((TyFun acc6989586621679796386 (TyFun x6989586621679796387 (acc6989586621679796386, y6989586621679796388) -> Type) -> Type) -> acc6989586621679796386 -> TyFun [x6989586621679796387] (acc6989586621679796386, [y6989586621679796388]) -> *) (MapAccumLSym2 x6989586621679796387 acc6989586621679796386 y6989586621679796388) # | |
| SuppressUnusedWarnings ((TyFun acc6989586621679796383 (TyFun x6989586621679796384 (acc6989586621679796383, y6989586621679796385) -> Type) -> Type) -> TyFun acc6989586621679796383 (TyFun [x6989586621679796384] (acc6989586621679796383, [y6989586621679796385]) -> Type) -> *) (MapAccumRSym1 x6989586621679796384 acc6989586621679796383 y6989586621679796385) # | |
| SuppressUnusedWarnings ((TyFun acc6989586621679796383 (TyFun x6989586621679796384 (acc6989586621679796383, y6989586621679796385) -> Type) -> Type) -> acc6989586621679796383 -> TyFun [x6989586621679796384] (acc6989586621679796383, [y6989586621679796385]) -> *) (MapAccumRSym2 x6989586621679796384 acc6989586621679796383 y6989586621679796385) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796366 (TyFun b6989586621679796367 c6989586621679796368 -> Type) -> Type) -> TyFun [a6989586621679796366] (TyFun [b6989586621679796367] [c6989586621679796368] -> Type) -> *) (ZipWithSym1 a6989586621679796366 b6989586621679796367 c6989586621679796368) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796366 (TyFun b6989586621679796367 c6989586621679796368 -> Type) -> Type) -> [a6989586621679796366] -> TyFun [b6989586621679796367] [c6989586621679796368] -> *) (ZipWithSym2 a6989586621679796366 b6989586621679796367 c6989586621679796368) # | |
| SuppressUnusedWarnings ([a6989586621679796369] -> TyFun [b6989586621679796370] (TyFun [c6989586621679796371] [(a6989586621679796369, b6989586621679796370, c6989586621679796371)] -> Type) -> *) (Zip3Sym1 b6989586621679796370 c6989586621679796371 a6989586621679796369) # | |
| SuppressUnusedWarnings ([a6989586621679796369] -> [b6989586621679796370] -> TyFun [c6989586621679796371] [(a6989586621679796369, b6989586621679796370, c6989586621679796371)] -> *) (Zip3Sym2 c6989586621679796371 b6989586621679796370 a6989586621679796369) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> Type) -> *) (Tuple3Sym1 b3530822107858468867 c3530822107858468868 a3530822107858468866) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> *) (Tuple3Sym2 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| SuppressUnusedWarnings (TyFun (TyFun (a6989586621679781811, b6989586621679781812) c6989586621679781813 -> Type) (TyFun a6989586621679781811 (TyFun b6989586621679781812 c6989586621679781813 -> Type) -> Type) -> *) (CurrySym0 a6989586621679781811 b6989586621679781812 c6989586621679781813) # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679550096 c6989586621679550097 -> Type) (TyFun (TyFun a6989586621679550098 b6989586621679550096 -> Type) (TyFun a6989586621679550098 c6989586621679550097 -> Type) -> Type) -> *) ((:.$) b6989586621679550096 a6989586621679550098 c6989586621679550097) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679550093 (TyFun b6989586621679550094 c6989586621679550095 -> Type) -> Type) (TyFun b6989586621679550094 (TyFun a6989586621679550093 c6989586621679550095 -> Type) -> Type) -> *) (FlipSym0 b6989586621679550094 a6989586621679550093 c6989586621679550095) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679761240 c6989586621679761241 -> Type) (TyFun (TyFun b6989586621679761242 c6989586621679761241 -> Type) (TyFun (Either a6989586621679761240 b6989586621679761242) c6989586621679761241 -> Type) -> Type) -> *) (Either_Sym0 a6989586621679761240 b6989586621679761242 c6989586621679761241) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679781808 (TyFun b6989586621679781809 c6989586621679781810 -> Type) -> Type) (TyFun (a6989586621679781808, b6989586621679781809) c6989586621679781810 -> Type) -> *) (UncurrySym0 a6989586621679781808 b6989586621679781809 c6989586621679781810) # | |
| SuppressUnusedWarnings (TyFun (TyFun acc6989586621679796386 (TyFun x6989586621679796387 (acc6989586621679796386, y6989586621679796388) -> Type) -> Type) (TyFun acc6989586621679796386 (TyFun [x6989586621679796387] (acc6989586621679796386, [y6989586621679796388]) -> Type) -> Type) -> *) (MapAccumLSym0 x6989586621679796387 acc6989586621679796386 y6989586621679796388) # | |
| SuppressUnusedWarnings (TyFun (TyFun acc6989586621679796383 (TyFun x6989586621679796384 (acc6989586621679796383, y6989586621679796385) -> Type) -> Type) (TyFun acc6989586621679796383 (TyFun [x6989586621679796384] (acc6989586621679796383, [y6989586621679796385]) -> Type) -> Type) -> *) (MapAccumRSym0 x6989586621679796384 acc6989586621679796383 y6989586621679796385) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796366 (TyFun b6989586621679796367 c6989586621679796368 -> Type) -> Type) (TyFun [a6989586621679796366] (TyFun [b6989586621679796367] [c6989586621679796368] -> Type) -> Type) -> *) (ZipWithSym0 a6989586621679796366 b6989586621679796367 c6989586621679796368) # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679796357, b6989586621679796358, c6989586621679796359)] ([a6989586621679796357], [b6989586621679796358], [c6989586621679796359]) -> *) (Unzip3Sym0 a6989586621679796357 b6989586621679796358 c6989586621679796359) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679796369] (TyFun [b6989586621679796370] (TyFun [c6989586621679796371] [(a6989586621679796369, b6989586621679796370, c6989586621679796371)] -> Type) -> Type) -> *) (Zip3Sym0 a6989586621679796369 b6989586621679796370 c6989586621679796371) # | |
| SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> Type) -> Type) -> *) (Tuple3Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796362 (TyFun b6989586621679796363 (TyFun c6989586621679796364 d6989586621679796365 -> Type) -> Type) -> Type) -> TyFun [a6989586621679796362] (TyFun [b6989586621679796363] (TyFun [c6989586621679796364] [d6989586621679796365] -> Type) -> Type) -> *) (ZipWith3Sym1 a6989586621679796362 b6989586621679796363 c6989586621679796364 d6989586621679796365) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796362 (TyFun b6989586621679796363 (TyFun c6989586621679796364 d6989586621679796365 -> Type) -> Type) -> Type) -> [a6989586621679796362] -> TyFun [b6989586621679796363] (TyFun [c6989586621679796364] [d6989586621679796365] -> Type) -> *) (ZipWith3Sym2 a6989586621679796362 b6989586621679796363 c6989586621679796364 d6989586621679796365) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679796362 (TyFun b6989586621679796363 (TyFun c6989586621679796364 d6989586621679796365 -> Type) -> Type) -> Type) -> [a6989586621679796362] -> [b6989586621679796363] -> TyFun [c6989586621679796364] [d6989586621679796365] -> *) (ZipWith3Sym3 a6989586621679796362 b6989586621679796363 c6989586621679796364 d6989586621679796365) # | |
| SuppressUnusedWarnings ([a6989586621680051557] -> TyFun [b6989586621680051558] (TyFun [c6989586621680051559] (TyFun [d6989586621680051560] [(a6989586621680051557, b6989586621680051558, c6989586621680051559, d6989586621680051560)] -> Type) -> Type) -> *) (Zip4Sym1 b6989586621680051558 c6989586621680051559 d6989586621680051560 a6989586621680051557) # | |
| SuppressUnusedWarnings ([a6989586621680051557] -> [b6989586621680051558] -> TyFun [c6989586621680051559] (TyFun [d6989586621680051560] [(a6989586621680051557, b6989586621680051558, c6989586621680051559, d6989586621680051560)] -> Type) -> *) (Zip4Sym2 c6989586621680051559 d6989586621680051560 b6989586621680051558 a6989586621680051557) # | |
| SuppressUnusedWarnings ([a6989586621680051557] -> [b6989586621680051558] -> [c6989586621680051559] -> TyFun [d6989586621680051560] [(a6989586621680051557, b6989586621680051558, c6989586621680051559, d6989586621680051560)] -> *) (Zip4Sym3 d6989586621680051560 c6989586621680051559 b6989586621680051558 a6989586621680051557) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) -> Type) -> *) (Tuple4Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 a3530822107858468866) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> TyFun c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) -> *) (Tuple4Sym2 c3530822107858468868 d3530822107858468869 b3530822107858468867 a3530822107858468866) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> *) (Tuple4Sym3 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679796362 (TyFun b6989586621679796363 (TyFun c6989586621679796364 d6989586621679796365 -> Type) -> Type) -> Type) (TyFun [a6989586621679796362] (TyFun [b6989586621679796363] (TyFun [c6989586621679796364] [d6989586621679796365] -> Type) -> Type) -> Type) -> *) (ZipWith3Sym0 a6989586621679796362 b6989586621679796363 c6989586621679796364 d6989586621679796365) # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679796353, b6989586621679796354, c6989586621679796355, d6989586621679796356)] ([a6989586621679796353], [b6989586621679796354], [c6989586621679796355], [d6989586621679796356]) -> *) (Unzip4Sym0 a6989586621679796353 b6989586621679796354 c6989586621679796355 d6989586621679796356) # | |
| SuppressUnusedWarnings (TyFun [a6989586621680051557] (TyFun [b6989586621680051558] (TyFun [c6989586621680051559] (TyFun [d6989586621680051560] [(a6989586621680051557, b6989586621680051558, c6989586621680051559, d6989586621680051560)] -> Type) -> Type) -> Type) -> *) (Zip4Sym0 a6989586621680051557 b6989586621680051558 c6989586621680051559 d6989586621680051560) # | |
| SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051534 (TyFun b6989586621680051535 (TyFun c6989586621680051536 (TyFun d6989586621680051537 e6989586621680051538 -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621680051534] (TyFun [b6989586621680051535] (TyFun [c6989586621680051536] (TyFun [d6989586621680051537] [e6989586621680051538] -> Type) -> Type) -> Type) -> *) (ZipWith4Sym1 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051534 (TyFun b6989586621680051535 (TyFun c6989586621680051536 (TyFun d6989586621680051537 e6989586621680051538 -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051534] -> TyFun [b6989586621680051535] (TyFun [c6989586621680051536] (TyFun [d6989586621680051537] [e6989586621680051538] -> Type) -> Type) -> *) (ZipWith4Sym2 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051534 (TyFun b6989586621680051535 (TyFun c6989586621680051536 (TyFun d6989586621680051537 e6989586621680051538 -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051534] -> [b6989586621680051535] -> TyFun [c6989586621680051536] (TyFun [d6989586621680051537] [e6989586621680051538] -> Type) -> *) (ZipWith4Sym3 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051534 (TyFun b6989586621680051535 (TyFun c6989586621680051536 (TyFun d6989586621680051537 e6989586621680051538 -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051534] -> [b6989586621680051535] -> [c6989586621680051536] -> TyFun [d6989586621680051537] [e6989586621680051538] -> *) (ZipWith4Sym4 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538) # | |
| SuppressUnusedWarnings ([a6989586621680051552] -> TyFun [b6989586621680051553] (TyFun [c6989586621680051554] (TyFun [d6989586621680051555] (TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> Type) -> Type) -> Type) -> *) (Zip5Sym1 b6989586621680051553 c6989586621680051554 d6989586621680051555 e6989586621680051556 a6989586621680051552) # | |
| SuppressUnusedWarnings ([a6989586621680051552] -> [b6989586621680051553] -> TyFun [c6989586621680051554] (TyFun [d6989586621680051555] (TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> Type) -> Type) -> *) (Zip5Sym2 c6989586621680051554 d6989586621680051555 e6989586621680051556 b6989586621680051553 a6989586621680051552) # | |
| SuppressUnusedWarnings ([a6989586621680051552] -> [b6989586621680051553] -> [c6989586621680051554] -> TyFun [d6989586621680051555] (TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> Type) -> *) (Zip5Sym3 d6989586621680051555 e6989586621680051556 c6989586621680051554 b6989586621680051553 a6989586621680051552) # | |
| SuppressUnusedWarnings ([a6989586621680051552] -> [b6989586621680051553] -> [c6989586621680051554] -> [d6989586621680051555] -> TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> *) (Zip5Sym4 e6989586621680051556 d6989586621680051555 c6989586621680051554 b6989586621680051553 a6989586621680051552) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) -> Type) -> Type) -> *) (Tuple5Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 a3530822107858468866) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) -> Type) -> *) (Tuple5Sym2 c3530822107858468868 d3530822107858468869 e3530822107858468870 b3530822107858468867 a3530822107858468866) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> TyFun d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) -> *) (Tuple5Sym3 d3530822107858468869 e3530822107858468870 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> *) (Tuple5Sym4 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621680051534 (TyFun b6989586621680051535 (TyFun c6989586621680051536 (TyFun d6989586621680051537 e6989586621680051538 -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680051534] (TyFun [b6989586621680051535] (TyFun [c6989586621680051536] (TyFun [d6989586621680051537] [e6989586621680051538] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith4Sym0 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538) # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679796348, b6989586621679796349, c6989586621679796350, d6989586621679796351, e6989586621679796352)] ([a6989586621679796348], [b6989586621679796349], [c6989586621679796350], [d6989586621679796351], [e6989586621679796352]) -> *) (Unzip5Sym0 a6989586621679796348 b6989586621679796349 c6989586621679796350 d6989586621679796351 e6989586621679796352) # | |
| SuppressUnusedWarnings (TyFun [a6989586621680051552] (TyFun [b6989586621680051553] (TyFun [c6989586621680051554] (TyFun [d6989586621680051555] (TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip5Sym0 a6989586621680051552 b6989586621680051553 c6989586621680051554 d6989586621680051555 e6989586621680051556) # | |
| SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple5Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051528 (TyFun b6989586621680051529 (TyFun c6989586621680051530 (TyFun d6989586621680051531 (TyFun e6989586621680051532 f6989586621680051533 -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621680051528] (TyFun [b6989586621680051529] (TyFun [c6989586621680051530] (TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith5Sym1 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051528 (TyFun b6989586621680051529 (TyFun c6989586621680051530 (TyFun d6989586621680051531 (TyFun e6989586621680051532 f6989586621680051533 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051528] -> TyFun [b6989586621680051529] (TyFun [c6989586621680051530] (TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> Type) -> Type) -> *) (ZipWith5Sym2 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051528 (TyFun b6989586621680051529 (TyFun c6989586621680051530 (TyFun d6989586621680051531 (TyFun e6989586621680051532 f6989586621680051533 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051528] -> [b6989586621680051529] -> TyFun [c6989586621680051530] (TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> Type) -> *) (ZipWith5Sym3 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051528 (TyFun b6989586621680051529 (TyFun c6989586621680051530 (TyFun d6989586621680051531 (TyFun e6989586621680051532 f6989586621680051533 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051528] -> [b6989586621680051529] -> [c6989586621680051530] -> TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> *) (ZipWith5Sym4 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051528 (TyFun b6989586621680051529 (TyFun c6989586621680051530 (TyFun d6989586621680051531 (TyFun e6989586621680051532 f6989586621680051533 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051528] -> [b6989586621680051529] -> [c6989586621680051530] -> [d6989586621680051531] -> TyFun [e6989586621680051532] [f6989586621680051533] -> *) (ZipWith5Sym5 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533) # | |
| SuppressUnusedWarnings ([a6989586621680051546] -> TyFun [b6989586621680051547] (TyFun [c6989586621680051548] (TyFun [d6989586621680051549] (TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip6Sym1 b6989586621680051547 c6989586621680051548 d6989586621680051549 e6989586621680051550 f6989586621680051551 a6989586621680051546) # | |
| SuppressUnusedWarnings ([a6989586621680051546] -> [b6989586621680051547] -> TyFun [c6989586621680051548] (TyFun [d6989586621680051549] (TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> Type) -> Type) -> *) (Zip6Sym2 c6989586621680051548 d6989586621680051549 e6989586621680051550 f6989586621680051551 b6989586621680051547 a6989586621680051546) # | |
| SuppressUnusedWarnings ([a6989586621680051546] -> [b6989586621680051547] -> [c6989586621680051548] -> TyFun [d6989586621680051549] (TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> Type) -> *) (Zip6Sym3 d6989586621680051549 e6989586621680051550 f6989586621680051551 c6989586621680051548 b6989586621680051547 a6989586621680051546) # | |
| SuppressUnusedWarnings ([a6989586621680051546] -> [b6989586621680051547] -> [c6989586621680051548] -> [d6989586621680051549] -> TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> *) (Zip6Sym4 e6989586621680051550 f6989586621680051551 d6989586621680051549 c6989586621680051548 b6989586621680051547 a6989586621680051546) # | |
| SuppressUnusedWarnings ([a6989586621680051546] -> [b6989586621680051547] -> [c6989586621680051548] -> [d6989586621680051549] -> [e6989586621680051550] -> TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> *) (Zip6Sym5 f6989586621680051551 e6989586621680051550 d6989586621680051549 c6989586621680051548 b6989586621680051547 a6989586621680051546) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 a3530822107858468866) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> Type) -> Type) -> *) (Tuple6Sym2 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 b3530822107858468867 a3530822107858468866) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> Type) -> *) (Tuple6Sym3 d3530822107858468869 e3530822107858468870 f3530822107858468871 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> *) (Tuple6Sym4 e3530822107858468870 f3530822107858468871 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> e3530822107858468870 -> TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> *) (Tuple6Sym5 f3530822107858468871 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621680051528 (TyFun b6989586621680051529 (TyFun c6989586621680051530 (TyFun d6989586621680051531 (TyFun e6989586621680051532 f6989586621680051533 -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680051528] (TyFun [b6989586621680051529] (TyFun [c6989586621680051530] (TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith5Sym0 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533) # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679796342, b6989586621679796343, c6989586621679796344, d6989586621679796345, e6989586621679796346, f6989586621679796347)] ([a6989586621679796342], [b6989586621679796343], [c6989586621679796344], [d6989586621679796345], [e6989586621679796346], [f6989586621679796347]) -> *) (Unzip6Sym0 a6989586621679796342 b6989586621679796343 c6989586621679796344 d6989586621679796345 e6989586621679796346 f6989586621679796347) # | |
| SuppressUnusedWarnings (TyFun [a6989586621680051546] (TyFun [b6989586621680051547] (TyFun [c6989586621680051548] (TyFun [d6989586621680051549] (TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip6Sym0 a6989586621680051546 b6989586621680051547 c6989586621680051548 d6989586621680051549 e6989586621680051550 f6989586621680051551) # | |
| SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051521 (TyFun b6989586621680051522 (TyFun c6989586621680051523 (TyFun d6989586621680051524 (TyFun e6989586621680051525 (TyFun f6989586621680051526 g6989586621680051527 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621680051521] (TyFun [b6989586621680051522] (TyFun [c6989586621680051523] (TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym1 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051521 (TyFun b6989586621680051522 (TyFun c6989586621680051523 (TyFun d6989586621680051524 (TyFun e6989586621680051525 (TyFun f6989586621680051526 g6989586621680051527 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051521] -> TyFun [b6989586621680051522] (TyFun [c6989586621680051523] (TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym2 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051521 (TyFun b6989586621680051522 (TyFun c6989586621680051523 (TyFun d6989586621680051524 (TyFun e6989586621680051525 (TyFun f6989586621680051526 g6989586621680051527 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051521] -> [b6989586621680051522] -> TyFun [c6989586621680051523] (TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> Type) -> *) (ZipWith6Sym3 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051521 (TyFun b6989586621680051522 (TyFun c6989586621680051523 (TyFun d6989586621680051524 (TyFun e6989586621680051525 (TyFun f6989586621680051526 g6989586621680051527 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051521] -> [b6989586621680051522] -> [c6989586621680051523] -> TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> *) (ZipWith6Sym4 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051521 (TyFun b6989586621680051522 (TyFun c6989586621680051523 (TyFun d6989586621680051524 (TyFun e6989586621680051525 (TyFun f6989586621680051526 g6989586621680051527 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051521] -> [b6989586621680051522] -> [c6989586621680051523] -> [d6989586621680051524] -> TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> *) (ZipWith6Sym5 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051521 (TyFun b6989586621680051522 (TyFun c6989586621680051523 (TyFun d6989586621680051524 (TyFun e6989586621680051525 (TyFun f6989586621680051526 g6989586621680051527 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051521] -> [b6989586621680051522] -> [c6989586621680051523] -> [d6989586621680051524] -> [e6989586621680051525] -> TyFun [f6989586621680051526] [g6989586621680051527] -> *) (ZipWith6Sym6 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527) # | |
| SuppressUnusedWarnings ([a6989586621680051539] -> TyFun [b6989586621680051540] (TyFun [c6989586621680051541] (TyFun [d6989586621680051542] (TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym1 b6989586621680051540 c6989586621680051541 d6989586621680051542 e6989586621680051543 f6989586621680051544 g6989586621680051545 a6989586621680051539) # | |
| SuppressUnusedWarnings ([a6989586621680051539] -> [b6989586621680051540] -> TyFun [c6989586621680051541] (TyFun [d6989586621680051542] (TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym2 c6989586621680051541 d6989586621680051542 e6989586621680051543 f6989586621680051544 g6989586621680051545 b6989586621680051540 a6989586621680051539) # | |
| SuppressUnusedWarnings ([a6989586621680051539] -> [b6989586621680051540] -> [c6989586621680051541] -> TyFun [d6989586621680051542] (TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> Type) -> *) (Zip7Sym3 d6989586621680051542 e6989586621680051543 f6989586621680051544 g6989586621680051545 c6989586621680051541 b6989586621680051540 a6989586621680051539) # | |
| SuppressUnusedWarnings ([a6989586621680051539] -> [b6989586621680051540] -> [c6989586621680051541] -> [d6989586621680051542] -> TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> *) (Zip7Sym4 e6989586621680051543 f6989586621680051544 g6989586621680051545 d6989586621680051542 c6989586621680051541 b6989586621680051540 a6989586621680051539) # | |
| SuppressUnusedWarnings ([a6989586621680051539] -> [b6989586621680051540] -> [c6989586621680051541] -> [d6989586621680051542] -> [e6989586621680051543] -> TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> *) (Zip7Sym5 f6989586621680051544 g6989586621680051545 e6989586621680051543 d6989586621680051542 c6989586621680051541 b6989586621680051540 a6989586621680051539) # | |
| SuppressUnusedWarnings ([a6989586621680051539] -> [b6989586621680051540] -> [c6989586621680051541] -> [d6989586621680051542] -> [e6989586621680051543] -> [f6989586621680051544] -> TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> *) (Zip7Sym6 g6989586621680051545 f6989586621680051544 e6989586621680051543 d6989586621680051542 c6989586621680051541 b6989586621680051540 a6989586621680051539) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 g3530822107858468872 a3530822107858468866) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym2 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 g3530822107858468872 b3530822107858468867 a3530822107858468866) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> Type) -> *) (Tuple7Sym3 d3530822107858468869 e3530822107858468870 f3530822107858468871 g3530822107858468872 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> *) (Tuple7Sym4 e3530822107858468870 f3530822107858468871 g3530822107858468872 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> e3530822107858468870 -> TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> *) (Tuple7Sym5 f3530822107858468871 g3530822107858468872 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> e3530822107858468870 -> f3530822107858468871 -> TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> *) (Tuple7Sym6 g3530822107858468872 f3530822107858468871 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621680051521 (TyFun b6989586621680051522 (TyFun c6989586621680051523 (TyFun d6989586621680051524 (TyFun e6989586621680051525 (TyFun f6989586621680051526 g6989586621680051527 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680051521] (TyFun [b6989586621680051522] (TyFun [c6989586621680051523] (TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym0 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527) # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679796335, b6989586621679796336, c6989586621679796337, d6989586621679796338, e6989586621679796339, f6989586621679796340, g6989586621679796341)] ([a6989586621679796335], [b6989586621679796336], [c6989586621679796337], [d6989586621679796338], [e6989586621679796339], [f6989586621679796340], [g6989586621679796341]) -> *) (Unzip7Sym0 a6989586621679796335 b6989586621679796336 c6989586621679796337 d6989586621679796338 e6989586621679796339 f6989586621679796340 g6989586621679796341) # | |
| SuppressUnusedWarnings (TyFun [a6989586621680051539] (TyFun [b6989586621680051540] (TyFun [c6989586621680051541] (TyFun [d6989586621680051542] (TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym0 a6989586621680051539 b6989586621680051540 c6989586621680051541 d6989586621680051542 e6989586621680051543 f6989586621680051544 g6989586621680051545) # | |
| SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 g3530822107858468872) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621680051513] (TyFun [b6989586621680051514] (TyFun [c6989586621680051515] (TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym1 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051513] -> TyFun [b6989586621680051514] (TyFun [c6989586621680051515] (TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym2 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051513] -> [b6989586621680051514] -> TyFun [c6989586621680051515] (TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym3 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051513] -> [b6989586621680051514] -> [c6989586621680051515] -> TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> *) (ZipWith7Sym4 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051513] -> [b6989586621680051514] -> [c6989586621680051515] -> [d6989586621680051516] -> TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> *) (ZipWith7Sym5 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051513] -> [b6989586621680051514] -> [c6989586621680051515] -> [d6989586621680051516] -> [e6989586621680051517] -> TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> *) (ZipWith7Sym6 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051513] -> [b6989586621680051514] -> [c6989586621680051515] -> [d6989586621680051516] -> [e6989586621680051517] -> [f6989586621680051518] -> TyFun [g6989586621680051519] [h6989586621680051520] -> *) (ZipWith7Sym7 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680051513] (TyFun [b6989586621680051514] (TyFun [c6989586621680051515] (TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym0 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) # | |