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_6989586621679515916Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply CompareSym0 t) t :: Ordering) #
(%:<) :: forall t t. (Apply (Apply (:<$) t) t ~ Apply (Apply TFHelper_6989586621679515949Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:<$) t) t :: Bool) infix 4 #
(%:<=) :: forall t t. (Apply (Apply (:<=$) t) t ~ Apply (Apply TFHelper_6989586621679515982Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:<=$) t) t :: Bool) infix 4 #
(%:>) :: forall t t. (Apply (Apply (:>$) t) t ~ Apply (Apply TFHelper_6989586621679516015Sym0 t) t) => Sing t -> Sing t -> Sing (Apply (Apply (:>$) t) t :: Bool) infix 4 #
(%:>=) :: forall t t. (Apply (Apply (:>=$) t) t ~ Apply (Apply TFHelper_6989586621679516048Sym0 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_6989586621679516081Sym0 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_6989586621679516114Sym0 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 a6989586621679513517 (TyFun a6989586621679513517 Ordering -> Type) -> *) (CompareSym0 a6989586621679513517) # | |
type Apply a6989586621679513517 (TyFun a6989586621679513517 Ordering -> Type) (CompareSym0 a6989586621679513517) l0 # | |
data ThenCmpSym0 l #
Instances
SuppressUnusedWarnings (TyFun (TyFun b6989586621679448348 (TyFun a6989586621679448347 b6989586621679448348 -> Type) -> Type) (TyFun b6989586621679448348 (TyFun [a6989586621679448347] b6989586621679448348 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679448347 b6989586621679448348) # | |
type Apply (TyFun b6989586621679448348 (TyFun a6989586621679448347 b6989586621679448348 -> Type) -> Type) (TyFun b6989586621679448348 (TyFun [a6989586621679448347] b6989586621679448348 -> Type) -> Type) (FoldlSym0 a6989586621679448347 b6989586621679448348) 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 a6989586621679689467 Bool -> Type) -> TyFun [a6989586621679689467] Bool -> *) (Any_Sym1 a6989586621679689467) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700072 Bool -> Type) -> TyFun [a6989586621679700072] [a6989586621679700072] -> *) (DropWhileEndSym1 a6989586621679700072) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700156 (TyFun a6989586621679700156 a6989586621679700156 -> Type) -> Type) -> TyFun [a6989586621679700156] a6989586621679700156 -> *) (Foldl1'Sym1 a6989586621679700156) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700083 (TyFun a6989586621679700083 Ordering -> Type) -> Type) -> TyFun [a6989586621679700083] a6989586621679700083 -> *) (MinimumBySym1 a6989586621679700083) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700084 (TyFun a6989586621679700084 Ordering -> Type) -> Type) -> TyFun [a6989586621679700084] a6989586621679700084 -> *) (MaximumBySym1 a6989586621679700084) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700157 (TyFun a6989586621679700157 a6989586621679700157 -> Type) -> Type) -> TyFun [a6989586621679700157] a6989586621679700157 -> *) (Foldl1Sym1 a6989586621679700157) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700155 (TyFun a6989586621679700155 a6989586621679700155 -> Type) -> Type) -> TyFun [a6989586621679700155] a6989586621679700155 -> *) (Foldr1Sym1 a6989586621679700155) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700151 Bool -> Type) -> TyFun [a6989586621679700151] Bool -> *) (AllSym1 a6989586621679700151) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700148 (TyFun a6989586621679700148 a6989586621679700148 -> Type) -> Type) -> TyFun [a6989586621679700148] [a6989586621679700148] -> *) (Scanl1Sym1 a6989586621679700148) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700145 (TyFun a6989586621679700145 a6989586621679700145 -> Type) -> Type) -> TyFun [a6989586621679700145] [a6989586621679700145] -> *) (Scanr1Sym1 a6989586621679700145) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700078 Bool -> Type) -> TyFun [a6989586621679700078] (Maybe Nat) -> *) (FindIndexSym1 a6989586621679700078) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700077 Bool -> Type) -> TyFun [a6989586621679700077] [Nat] -> *) (FindIndicesSym1 a6989586621679700077) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700047 (TyFun a6989586621679700047 Bool -> Type) -> Type) -> TyFun [a6989586621679700047] (TyFun [a6989586621679700047] [a6989586621679700047] -> Type) -> *) (UnionBySym1 a6989586621679700047) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700047 (TyFun a6989586621679700047 Bool -> Type) -> Type) -> [a6989586621679700047] -> TyFun [a6989586621679700047] [a6989586621679700047] -> *) (UnionBySym2 a6989586621679700047) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700087 (TyFun a6989586621679700087 Bool -> Type) -> Type) -> TyFun [a6989586621679700087] (TyFun [a6989586621679700087] [a6989586621679700087] -> Type) -> *) (DeleteFirstsBySym1 a6989586621679700087) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700087 (TyFun a6989586621679700087 Bool -> Type) -> Type) -> [a6989586621679700087] -> TyFun [a6989586621679700087] [a6989586621679700087] -> *) (DeleteFirstsBySym2 a6989586621679700087) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700088 (TyFun a6989586621679700088 Bool -> Type) -> Type) -> TyFun a6989586621679700088 (TyFun [a6989586621679700088] [a6989586621679700088] -> Type) -> *) (DeleteBySym1 a6989586621679700088) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700088 (TyFun a6989586621679700088 Bool -> Type) -> Type) -> a6989586621679700088 -> TyFun [a6989586621679700088] [a6989586621679700088] -> *) (DeleteBySym2 a6989586621679700088) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700086 (TyFun a6989586621679700086 Ordering -> Type) -> Type) -> TyFun [a6989586621679700086] [a6989586621679700086] -> *) (SortBySym1 a6989586621679700086) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700085 (TyFun a6989586621679700085 Ordering -> Type) -> Type) -> TyFun a6989586621679700085 (TyFun [a6989586621679700085] [a6989586621679700085] -> Type) -> *) (InsertBySym1 a6989586621679700085) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700085 (TyFun a6989586621679700085 Ordering -> Type) -> Type) -> a6989586621679700085 -> TyFun [a6989586621679700085] [a6989586621679700085] -> *) (InsertBySym2 a6989586621679700085) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700075 (TyFun a6989586621679700075 Bool -> Type) -> Type) -> TyFun [a6989586621679700075] (TyFun [a6989586621679700075] [a6989586621679700075] -> Type) -> *) (IntersectBySym1 a6989586621679700075) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700075 (TyFun a6989586621679700075 Bool -> Type) -> Type) -> [a6989586621679700075] -> TyFun [a6989586621679700075] [a6989586621679700075] -> *) (IntersectBySym2 a6989586621679700075) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700081 Bool -> Type) -> TyFun [a6989586621679700081] (Maybe a6989586621679700081) -> *) (FindSym1 a6989586621679700081) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700082 Bool -> Type) -> TyFun [a6989586621679700082] [a6989586621679700082] -> *) (FilterSym1 a6989586621679700082) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700074 Bool -> Type) -> TyFun [a6989586621679700074] [a6989586621679700074] -> *) (TakeWhileSym1 a6989586621679700074) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700073 Bool -> Type) -> TyFun [a6989586621679700073] [a6989586621679700073] -> *) (DropWhileSym1 a6989586621679700073) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700061 (TyFun a6989586621679700061 Bool -> Type) -> Type) -> TyFun [a6989586621679700061] [[a6989586621679700061]] -> *) (GroupBySym1 a6989586621679700061) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700071 Bool -> Type) -> TyFun [a6989586621679700071] ([a6989586621679700071], [a6989586621679700071]) -> *) (SpanSym1 a6989586621679700071) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700070 Bool -> Type) -> TyFun [a6989586621679700070] ([a6989586621679700070], [a6989586621679700070]) -> *) (BreakSym1 a6989586621679700070) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700058 Bool -> Type) -> TyFun [a6989586621679700058] ([a6989586621679700058], [a6989586621679700058]) -> *) (PartitionSym1 a6989586621679700058) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700049 (TyFun a6989586621679700049 Bool -> Type) -> Type) -> TyFun [a6989586621679700049] [a6989586621679700049] -> *) (NubBySym1 a6989586621679700049) # | |
SuppressUnusedWarnings ((TyFun a6989586621679941957 Bool -> Type) -> TyFun (TyFun a6989586621679941957 a6989586621679941957 -> Type) (TyFun a6989586621679941957 a6989586621679941957 -> Type) -> *) (UntilSym1 a6989586621679941957) # | |
SuppressUnusedWarnings ((TyFun a6989586621679941957 Bool -> Type) -> (TyFun a6989586621679941957 a6989586621679941957 -> Type) -> TyFun a6989586621679941957 a6989586621679941957 -> *) (UntilSym2 a6989586621679941957) # | |
SuppressUnusedWarnings ([a6989586621679482536] -> TyFun [a6989586621679482536] [a6989586621679482536] -> *) ((:++$$) a6989586621679482536) # | |
SuppressUnusedWarnings ([a6989586621679700133] -> TyFun [a6989586621679700133] Bool -> *) (IsSuffixOfSym1 a6989586621679700133) # | |
SuppressUnusedWarnings ([a6989586621679700164] -> TyFun [[a6989586621679700164]] [a6989586621679700164] -> *) (IntercalateSym1 a6989586621679700164) # | |
SuppressUnusedWarnings ([a6989586621679700132] -> TyFun [a6989586621679700132] Bool -> *) (IsInfixOfSym1 a6989586621679700132) # | |
SuppressUnusedWarnings ([a6989586621679700134] -> TyFun [a6989586621679700134] Bool -> *) (IsPrefixOfSym1 a6989586621679700134) # | |
SuppressUnusedWarnings ([a6989586621679700089] -> TyFun [a6989586621679700089] [a6989586621679700089] -> *) ((:\\$$) a6989586621679700089) # | |
SuppressUnusedWarnings ([a6989586621679700046] -> TyFun [a6989586621679700046] [a6989586621679700046] -> *) (UnionSym1 a6989586621679700046) # | |
SuppressUnusedWarnings ([a6989586621679700076] -> TyFun [a6989586621679700076] [a6989586621679700076] -> *) (IntersectSym1 a6989586621679700076) # | |
SuppressUnusedWarnings ([a6989586621679700051] -> TyFun Nat a6989586621679700051 -> *) ((:!!$$) a6989586621679700051) # | |
SuppressUnusedWarnings ([a6989586621679923077] -> TyFun [a6989586621679923077] (Maybe [a6989586621679923077]) -> *) (StripPrefixSym1 a6989586621679923077) # | |
SuppressUnusedWarnings (Nat -> TyFun [a6989586621679700067] ([a6989586621679700067], [a6989586621679700067]) -> *) (SplitAtSym1 a6989586621679700067) # | |
SuppressUnusedWarnings (Nat -> TyFun [a6989586621679700069] [a6989586621679700069] -> *) (TakeSym1 a6989586621679700069) # | |
SuppressUnusedWarnings (Nat -> TyFun [a6989586621679700068] [a6989586621679700068] -> *) (DropSym1 a6989586621679700068) # | |
SuppressUnusedWarnings (Nat -> TyFun a6989586621679700053 [a6989586621679700053] -> *) (ReplicateSym1 a6989586621679700053) # | |
SuppressUnusedWarnings (a3530822107858468866 -> TyFun [a3530822107858468866] [a3530822107858468866] -> *) ((:$$) a3530822107858468866) # | |
SuppressUnusedWarnings (a6989586621679478696 -> TyFun a6989586621679478696 (TyFun Bool a6989586621679478696 -> Type) -> *) (Bool_Sym1 a6989586621679478696) # | |
SuppressUnusedWarnings (a6989586621679478696 -> a6989586621679478696 -> TyFun Bool a6989586621679478696 -> *) (Bool_Sym2 a6989586621679478696) # | |
SuppressUnusedWarnings (a6989586621679482526 -> TyFun a6989586621679482526 a6989586621679482526 -> *) (AsTypeOfSym1 a6989586621679482526) # | |
SuppressUnusedWarnings (a6989586621679492109 -> TyFun a6989586621679492109 Bool -> *) ((:/=$$) a6989586621679492109) # | |
SuppressUnusedWarnings (a6989586621679492109 -> TyFun a6989586621679492109 Bool -> *) ((:==$$) a6989586621679492109) # | |
SuppressUnusedWarnings (a6989586621679513517 -> TyFun a6989586621679513517 a6989586621679513517 -> *) (MinSym1 a6989586621679513517) # | |
SuppressUnusedWarnings (a6989586621679513517 -> TyFun a6989586621679513517 a6989586621679513517 -> *) (MaxSym1 a6989586621679513517) # | |
SuppressUnusedWarnings (a6989586621679513517 -> TyFun a6989586621679513517 Bool -> *) ((:>=$$) a6989586621679513517) # | |
SuppressUnusedWarnings (a6989586621679513517 -> TyFun a6989586621679513517 Bool -> *) ((:>$$) a6989586621679513517) # | |
SuppressUnusedWarnings (a6989586621679513517 -> TyFun a6989586621679513517 Bool -> *) ((:<=$$) a6989586621679513517) # | |
SuppressUnusedWarnings (a6989586621679513517 -> TyFun a6989586621679513517 Bool -> *) ((:<$$) a6989586621679513517) # | |
SuppressUnusedWarnings (a6989586621679513517 -> TyFun a6989586621679513517 Ordering -> *) (CompareSym1 a6989586621679513517) # | |
SuppressUnusedWarnings (a6989586621679601146 -> TyFun a6989586621679601146 a6989586621679601146 -> *) ((:*$$) a6989586621679601146) # | |
SuppressUnusedWarnings (a6989586621679601146 -> TyFun a6989586621679601146 a6989586621679601146 -> *) ((:-$$) a6989586621679601146) # | |
SuppressUnusedWarnings (a6989586621679601146 -> TyFun a6989586621679601146 a6989586621679601146 -> *) ((:+$$) a6989586621679601146) # | |
SuppressUnusedWarnings (a6989586621679603462 -> TyFun a6989586621679603462 a6989586621679603462 -> *) (SubtractSym1 a6989586621679603462) # | |
SuppressUnusedWarnings (a6989586621679612097 -> TyFun a6989586621679612097 (TyFun a6989586621679612097 [a6989586621679612097] -> Type) -> *) (EnumFromThenToSym1 a6989586621679612097) # | |
SuppressUnusedWarnings (a6989586621679612097 -> a6989586621679612097 -> TyFun a6989586621679612097 [a6989586621679612097] -> *) (EnumFromThenToSym2 a6989586621679612097) # | |
SuppressUnusedWarnings (a6989586621679612097 -> TyFun a6989586621679612097 [a6989586621679612097] -> *) (EnumFromToSym1 a6989586621679612097) # | |
SuppressUnusedWarnings (a6989586621679677398 -> TyFun (Maybe a6989586621679677398) a6989586621679677398 -> *) (FromMaybeSym1 a6989586621679677398) # | |
SuppressUnusedWarnings (a6989586621679700165 -> TyFun [a6989586621679700165] [a6989586621679700165] -> *) (IntersperseSym1 a6989586621679700165) # | |
SuppressUnusedWarnings (a6989586621679700131 -> TyFun [a6989586621679700131] Bool -> *) (ElemSym1 a6989586621679700131) # | |
SuppressUnusedWarnings (a6989586621679700130 -> TyFun [a6989586621679700130] Bool -> *) (NotElemSym1 a6989586621679700130) # | |
SuppressUnusedWarnings (a6989586621679700080 -> TyFun [a6989586621679700080] (Maybe Nat) -> *) (ElemIndexSym1 a6989586621679700080) # | |
SuppressUnusedWarnings (a6989586621679700079 -> TyFun [a6989586621679700079] [Nat] -> *) (ElemIndicesSym1 a6989586621679700079) # | |
SuppressUnusedWarnings (a6989586621679700090 -> TyFun [a6989586621679700090] [a6989586621679700090] -> *) (DeleteSym1 a6989586621679700090) # | |
SuppressUnusedWarnings (a6989586621679700063 -> TyFun [a6989586621679700063] [a6989586621679700063] -> *) (InsertSym1 a6989586621679700063) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679689467 Bool -> Type) (TyFun [a6989586621679689467] Bool -> Type) -> *) (Any_Sym0 a6989586621679689467) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700072 Bool -> Type) (TyFun [a6989586621679700072] [a6989586621679700072] -> Type) -> *) (DropWhileEndSym0 a6989586621679700072) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700156 (TyFun a6989586621679700156 a6989586621679700156 -> Type) -> Type) (TyFun [a6989586621679700156] a6989586621679700156 -> Type) -> *) (Foldl1'Sym0 a6989586621679700156) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700083 (TyFun a6989586621679700083 Ordering -> Type) -> Type) (TyFun [a6989586621679700083] a6989586621679700083 -> Type) -> *) (MinimumBySym0 a6989586621679700083) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700084 (TyFun a6989586621679700084 Ordering -> Type) -> Type) (TyFun [a6989586621679700084] a6989586621679700084 -> Type) -> *) (MaximumBySym0 a6989586621679700084) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700157 (TyFun a6989586621679700157 a6989586621679700157 -> Type) -> Type) (TyFun [a6989586621679700157] a6989586621679700157 -> Type) -> *) (Foldl1Sym0 a6989586621679700157) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700155 (TyFun a6989586621679700155 a6989586621679700155 -> Type) -> Type) (TyFun [a6989586621679700155] a6989586621679700155 -> Type) -> *) (Foldr1Sym0 a6989586621679700155) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700151 Bool -> Type) (TyFun [a6989586621679700151] Bool -> Type) -> *) (AllSym0 a6989586621679700151) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700148 (TyFun a6989586621679700148 a6989586621679700148 -> Type) -> Type) (TyFun [a6989586621679700148] [a6989586621679700148] -> Type) -> *) (Scanl1Sym0 a6989586621679700148) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700145 (TyFun a6989586621679700145 a6989586621679700145 -> Type) -> Type) (TyFun [a6989586621679700145] [a6989586621679700145] -> Type) -> *) (Scanr1Sym0 a6989586621679700145) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700078 Bool -> Type) (TyFun [a6989586621679700078] (Maybe Nat) -> Type) -> *) (FindIndexSym0 a6989586621679700078) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700077 Bool -> Type) (TyFun [a6989586621679700077] [Nat] -> Type) -> *) (FindIndicesSym0 a6989586621679700077) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700047 (TyFun a6989586621679700047 Bool -> Type) -> Type) (TyFun [a6989586621679700047] (TyFun [a6989586621679700047] [a6989586621679700047] -> Type) -> Type) -> *) (UnionBySym0 a6989586621679700047) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700087 (TyFun a6989586621679700087 Bool -> Type) -> Type) (TyFun [a6989586621679700087] (TyFun [a6989586621679700087] [a6989586621679700087] -> Type) -> Type) -> *) (DeleteFirstsBySym0 a6989586621679700087) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700088 (TyFun a6989586621679700088 Bool -> Type) -> Type) (TyFun a6989586621679700088 (TyFun [a6989586621679700088] [a6989586621679700088] -> Type) -> Type) -> *) (DeleteBySym0 a6989586621679700088) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700086 (TyFun a6989586621679700086 Ordering -> Type) -> Type) (TyFun [a6989586621679700086] [a6989586621679700086] -> Type) -> *) (SortBySym0 a6989586621679700086) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700085 (TyFun a6989586621679700085 Ordering -> Type) -> Type) (TyFun a6989586621679700085 (TyFun [a6989586621679700085] [a6989586621679700085] -> Type) -> Type) -> *) (InsertBySym0 a6989586621679700085) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700075 (TyFun a6989586621679700075 Bool -> Type) -> Type) (TyFun [a6989586621679700075] (TyFun [a6989586621679700075] [a6989586621679700075] -> Type) -> Type) -> *) (IntersectBySym0 a6989586621679700075) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700081 Bool -> Type) (TyFun [a6989586621679700081] (Maybe a6989586621679700081) -> Type) -> *) (FindSym0 a6989586621679700081) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700082 Bool -> Type) (TyFun [a6989586621679700082] [a6989586621679700082] -> Type) -> *) (FilterSym0 a6989586621679700082) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700074 Bool -> Type) (TyFun [a6989586621679700074] [a6989586621679700074] -> Type) -> *) (TakeWhileSym0 a6989586621679700074) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700073 Bool -> Type) (TyFun [a6989586621679700073] [a6989586621679700073] -> Type) -> *) (DropWhileSym0 a6989586621679700073) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700061 (TyFun a6989586621679700061 Bool -> Type) -> Type) (TyFun [a6989586621679700061] [[a6989586621679700061]] -> Type) -> *) (GroupBySym0 a6989586621679700061) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700071 Bool -> Type) (TyFun [a6989586621679700071] ([a6989586621679700071], [a6989586621679700071]) -> Type) -> *) (SpanSym0 a6989586621679700071) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700070 Bool -> Type) (TyFun [a6989586621679700070] ([a6989586621679700070], [a6989586621679700070]) -> Type) -> *) (BreakSym0 a6989586621679700070) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700058 Bool -> Type) (TyFun [a6989586621679700058] ([a6989586621679700058], [a6989586621679700058]) -> Type) -> *) (PartitionSym0 a6989586621679700058) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700049 (TyFun a6989586621679700049 Bool -> Type) -> Type) (TyFun [a6989586621679700049] [a6989586621679700049] -> Type) -> *) (NubBySym0 a6989586621679700049) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679941957 Bool -> Type) (TyFun (TyFun a6989586621679941957 a6989586621679941957 -> Type) (TyFun a6989586621679941957 a6989586621679941957 -> Type) -> Type) -> *) (UntilSym0 a6989586621679941957) # | |
SuppressUnusedWarnings (TyFun [[a6989586621679700052]] [[a6989586621679700052]] -> *) (TransposeSym0 a6989586621679700052) # | |
SuppressUnusedWarnings (TyFun [[a6989586621679700154]] [a6989586621679700154] -> *) (ConcatSym0 a6989586621679700154) # | |
SuppressUnusedWarnings (TyFun [Maybe a6989586621679677395] [a6989586621679677395] -> *) (CatMaybesSym0 a6989586621679677395) # | |
SuppressUnusedWarnings (TyFun [a6989586621679482536] (TyFun [a6989586621679482536] [a6989586621679482536] -> Type) -> *) ((:++$) a6989586621679482536) # | |
SuppressUnusedWarnings (TyFun [a6989586621679677396] (Maybe a6989586621679677396) -> *) (ListToMaybeSym0 a6989586621679677396) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700171] a6989586621679700171 -> *) (HeadSym0 a6989586621679700171) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700170] a6989586621679700170 -> *) (LastSym0 a6989586621679700170) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700169] [a6989586621679700169] -> *) (TailSym0 a6989586621679700169) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700168] [a6989586621679700168] -> *) (InitSym0 a6989586621679700168) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700167] Bool -> *) (NullSym0 a6989586621679700167) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700133] (TyFun [a6989586621679700133] Bool -> Type) -> *) (IsSuffixOfSym0 a6989586621679700133) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700166] [a6989586621679700166] -> *) (ReverseSym0 a6989586621679700166) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700164] (TyFun [[a6989586621679700164]] [a6989586621679700164] -> Type) -> *) (IntercalateSym0 a6989586621679700164) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700163] [[a6989586621679700163]] -> *) (SubsequencesSym0 a6989586621679700163) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700160] [[a6989586621679700160]] -> *) (PermutationsSym0 a6989586621679700160) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700064] a6989586621679700064 -> *) (MinimumSym0 a6989586621679700064) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700065] a6989586621679700065 -> *) (MaximumSym0 a6989586621679700065) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700136] [[a6989586621679700136]] -> *) (InitsSym0 a6989586621679700136) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700132] (TyFun [a6989586621679700132] Bool -> Type) -> *) (IsInfixOfSym0 a6989586621679700132) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700135] [[a6989586621679700135]] -> *) (TailsSym0 a6989586621679700135) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700134] (TyFun [a6989586621679700134] Bool -> Type) -> *) (IsPrefixOfSym0 a6989586621679700134) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700050] [a6989586621679700050] -> *) (NubSym0 a6989586621679700050) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700089] (TyFun [a6989586621679700089] [a6989586621679700089] -> Type) -> *) ((:\\$) a6989586621679700089) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700046] (TyFun [a6989586621679700046] [a6989586621679700046] -> Type) -> *) (UnionSym0 a6989586621679700046) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700062] [a6989586621679700062] -> *) (SortSym0 a6989586621679700062) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700076] (TyFun [a6989586621679700076] [a6989586621679700076] -> Type) -> *) (IntersectSym0 a6989586621679700076) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700066] [[a6989586621679700066]] -> *) (GroupSym0 a6989586621679700066) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700056] a6989586621679700056 -> *) (SumSym0 a6989586621679700056) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700055] a6989586621679700055 -> *) (ProductSym0 a6989586621679700055) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700054] Nat -> *) (LengthSym0 a6989586621679700054) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700051] (TyFun Nat a6989586621679700051 -> Type) -> *) ((:!!$) a6989586621679700051) # | |
SuppressUnusedWarnings (TyFun [a6989586621679923077] (TyFun [a6989586621679923077] (Maybe [a6989586621679923077]) -> Type) -> *) (StripPrefixSym0 a6989586621679923077) # | |
SuppressUnusedWarnings (TyFun (Maybe a6989586621679677401) Bool -> *) (IsJustSym0 a6989586621679677401) # | |
SuppressUnusedWarnings (TyFun (Maybe a6989586621679677400) Bool -> *) (IsNothingSym0 a6989586621679677400) # | |
SuppressUnusedWarnings (TyFun (Maybe a6989586621679677399) a6989586621679677399 -> *) (FromJustSym0 a6989586621679677399) # | |
SuppressUnusedWarnings (TyFun (Maybe a6989586621679677397) [a6989586621679677397] -> *) (MaybeToListSym0 a6989586621679677397) # | |
SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679700067] ([a6989586621679700067], [a6989586621679700067]) -> Type) -> *) (SplitAtSym0 a6989586621679700067) # | |
SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679700069] [a6989586621679700069] -> Type) -> *) (TakeSym0 a6989586621679700069) # | |
SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679700068] [a6989586621679700068] -> Type) -> *) (DropSym0 a6989586621679700068) # | |
SuppressUnusedWarnings (TyFun Nat (TyFun a6989586621679700053 [a6989586621679700053] -> Type) -> *) (ReplicateSym0 a6989586621679700053) # | |
SuppressUnusedWarnings (TyFun Nat a6989586621679601146 -> *) (FromIntegerSym0 a6989586621679601146) # | |
SuppressUnusedWarnings (TyFun Nat a6989586621679612097 -> *) (ToEnumSym0 a6989586621679612097) # | |
SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun [a3530822107858468866] [a3530822107858468866] -> Type) -> *) ((:$) a3530822107858468866) # | |
SuppressUnusedWarnings (TyFun a3530822107858468866 (Maybe a3530822107858468866) -> *) (JustSym0 a3530822107858468866) # | |
SuppressUnusedWarnings (TyFun a6989586621679478696 (TyFun a6989586621679478696 (TyFun Bool a6989586621679478696 -> Type) -> Type) -> *) (Bool_Sym0 a6989586621679478696) # | |
SuppressUnusedWarnings (TyFun a6989586621679482535 a6989586621679482535 -> *) (IdSym0 a6989586621679482535) # | |
SuppressUnusedWarnings (TyFun a6989586621679482526 (TyFun a6989586621679482526 a6989586621679482526 -> Type) -> *) (AsTypeOfSym0 a6989586621679482526) # | |
SuppressUnusedWarnings (TyFun a6989586621679492109 (TyFun a6989586621679492109 Bool -> Type) -> *) ((:/=$) a6989586621679492109) # | |
SuppressUnusedWarnings (TyFun a6989586621679492109 (TyFun a6989586621679492109 Bool -> Type) -> *) ((:==$) a6989586621679492109) # | |
SuppressUnusedWarnings (TyFun a6989586621679513517 (TyFun a6989586621679513517 a6989586621679513517 -> Type) -> *) (MinSym0 a6989586621679513517) # | |
SuppressUnusedWarnings (TyFun a6989586621679513517 (TyFun a6989586621679513517 a6989586621679513517 -> Type) -> *) (MaxSym0 a6989586621679513517) # | |
SuppressUnusedWarnings (TyFun a6989586621679513517 (TyFun a6989586621679513517 Bool -> Type) -> *) ((:>=$) a6989586621679513517) # | |
SuppressUnusedWarnings (TyFun a6989586621679513517 (TyFun a6989586621679513517 Bool -> Type) -> *) ((:>$) a6989586621679513517) # | |
SuppressUnusedWarnings (TyFun a6989586621679513517 (TyFun a6989586621679513517 Bool -> Type) -> *) ((:<=$) a6989586621679513517) # | |
SuppressUnusedWarnings (TyFun a6989586621679513517 (TyFun a6989586621679513517 Bool -> Type) -> *) ((:<$) a6989586621679513517) # | |
SuppressUnusedWarnings (TyFun a6989586621679513517 (TyFun a6989586621679513517 Ordering -> Type) -> *) (CompareSym0 a6989586621679513517) # | |
SuppressUnusedWarnings (TyFun a6989586621679601146 a6989586621679601146 -> *) (SignumSym0 a6989586621679601146) # | |
SuppressUnusedWarnings (TyFun a6989586621679601146 a6989586621679601146 -> *) (AbsSym0 a6989586621679601146) # | |
SuppressUnusedWarnings (TyFun a6989586621679601146 a6989586621679601146 -> *) (NegateSym0 a6989586621679601146) # | |
SuppressUnusedWarnings (TyFun a6989586621679601146 (TyFun a6989586621679601146 a6989586621679601146 -> Type) -> *) ((:*$) a6989586621679601146) # | |
SuppressUnusedWarnings (TyFun a6989586621679601146 (TyFun a6989586621679601146 a6989586621679601146 -> Type) -> *) ((:-$) a6989586621679601146) # | |
SuppressUnusedWarnings (TyFun a6989586621679601146 (TyFun a6989586621679601146 a6989586621679601146 -> Type) -> *) ((:+$) a6989586621679601146) # | |
SuppressUnusedWarnings (TyFun a6989586621679603462 (TyFun a6989586621679603462 a6989586621679603462 -> Type) -> *) (SubtractSym0 a6989586621679603462) # | |
SuppressUnusedWarnings (TyFun a6989586621679612097 (TyFun a6989586621679612097 (TyFun a6989586621679612097 [a6989586621679612097] -> Type) -> Type) -> *) (EnumFromThenToSym0 a6989586621679612097) # | |
SuppressUnusedWarnings (TyFun a6989586621679612097 (TyFun a6989586621679612097 [a6989586621679612097] -> Type) -> *) (EnumFromToSym0 a6989586621679612097) # | |
SuppressUnusedWarnings (TyFun a6989586621679612097 Nat -> *) (FromEnumSym0 a6989586621679612097) # | |
SuppressUnusedWarnings (TyFun a6989586621679612097 a6989586621679612097 -> *) (PredSym0 a6989586621679612097) # | |
SuppressUnusedWarnings (TyFun a6989586621679612097 a6989586621679612097 -> *) (SuccSym0 a6989586621679612097) # | |
SuppressUnusedWarnings (TyFun a6989586621679677398 (TyFun (Maybe a6989586621679677398) a6989586621679677398 -> Type) -> *) (FromMaybeSym0 a6989586621679677398) # | |
SuppressUnusedWarnings (TyFun a6989586621679700165 (TyFun [a6989586621679700165] [a6989586621679700165] -> Type) -> *) (IntersperseSym0 a6989586621679700165) # | |
SuppressUnusedWarnings (TyFun a6989586621679700131 (TyFun [a6989586621679700131] Bool -> Type) -> *) (ElemSym0 a6989586621679700131) # | |
SuppressUnusedWarnings (TyFun a6989586621679700130 (TyFun [a6989586621679700130] Bool -> Type) -> *) (NotElemSym0 a6989586621679700130) # | |
SuppressUnusedWarnings (TyFun a6989586621679700080 (TyFun [a6989586621679700080] (Maybe Nat) -> Type) -> *) (ElemIndexSym0 a6989586621679700080) # | |
SuppressUnusedWarnings (TyFun a6989586621679700079 (TyFun [a6989586621679700079] [Nat] -> Type) -> *) (ElemIndicesSym0 a6989586621679700079) # | |
SuppressUnusedWarnings (TyFun a6989586621679700090 (TyFun [a6989586621679700090] [a6989586621679700090] -> Type) -> *) (DeleteSym0 a6989586621679700090) # | |
SuppressUnusedWarnings (TyFun a6989586621679700063 (TyFun [a6989586621679700063] [a6989586621679700063] -> Type) -> *) (InsertSym0 a6989586621679700063) # | |
SuppressUnusedWarnings ((TyFun b6989586621679448348 (TyFun a6989586621679448347 b6989586621679448348 -> Type) -> Type) -> TyFun b6989586621679448348 (TyFun [a6989586621679448347] b6989586621679448348 -> Type) -> *) (FoldlSym1 a6989586621679448347 b6989586621679448348) # | |
SuppressUnusedWarnings ((TyFun b6989586621679448348 (TyFun a6989586621679448347 b6989586621679448348 -> Type) -> Type) -> b6989586621679448348 -> TyFun [a6989586621679448347] b6989586621679448348 -> *) (FoldlSym2 a6989586621679448347 b6989586621679448348) # | |
SuppressUnusedWarnings ((TyFun a6989586621679482539 (TyFun b6989586621679482540 b6989586621679482540 -> Type) -> Type) -> TyFun b6989586621679482540 (TyFun [a6989586621679482539] b6989586621679482540 -> Type) -> *) (FoldrSym1 a6989586621679482539 b6989586621679482540) # | |
SuppressUnusedWarnings ((TyFun a6989586621679482539 (TyFun b6989586621679482540 b6989586621679482540 -> Type) -> Type) -> b6989586621679482540 -> TyFun [a6989586621679482539] b6989586621679482540 -> *) (FoldrSym2 a6989586621679482539 b6989586621679482540) # | |
SuppressUnusedWarnings ((TyFun a6989586621679482537 b6989586621679482538 -> Type) -> TyFun [a6989586621679482537] [b6989586621679482538] -> *) (MapSym1 a6989586621679482537 b6989586621679482538) # | |
SuppressUnusedWarnings ((TyFun a6989586621679677393 (Maybe b6989586621679677394) -> Type) -> TyFun [a6989586621679677393] [b6989586621679677394] -> *) (MapMaybeSym1 a6989586621679677393 b6989586621679677394) # | |
SuppressUnusedWarnings ((TyFun b6989586621679700159 (TyFun a6989586621679700158 b6989586621679700159 -> Type) -> Type) -> TyFun b6989586621679700159 (TyFun [a6989586621679700158] b6989586621679700159 -> Type) -> *) (Foldl'Sym1 a6989586621679700158 b6989586621679700159) # | |
SuppressUnusedWarnings ((TyFun b6989586621679700159 (TyFun a6989586621679700158 b6989586621679700159 -> Type) -> Type) -> b6989586621679700159 -> TyFun [a6989586621679700158] b6989586621679700159 -> *) (Foldl'Sym2 a6989586621679700158 b6989586621679700159) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700152 [b6989586621679700153] -> Type) -> TyFun [a6989586621679700152] [b6989586621679700153] -> *) (ConcatMapSym1 a6989586621679700152 b6989586621679700153) # | |
SuppressUnusedWarnings ((TyFun b6989586621679700149 (TyFun a6989586621679700150 b6989586621679700149 -> Type) -> Type) -> TyFun b6989586621679700149 (TyFun [a6989586621679700150] [b6989586621679700149] -> Type) -> *) (ScanlSym1 a6989586621679700150 b6989586621679700149) # | |
SuppressUnusedWarnings ((TyFun b6989586621679700149 (TyFun a6989586621679700150 b6989586621679700149 -> Type) -> Type) -> b6989586621679700149 -> TyFun [a6989586621679700150] [b6989586621679700149] -> *) (ScanlSym2 a6989586621679700150 b6989586621679700149) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700146 (TyFun b6989586621679700147 b6989586621679700147 -> Type) -> Type) -> TyFun b6989586621679700147 (TyFun [a6989586621679700146] [b6989586621679700147] -> Type) -> *) (ScanrSym1 a6989586621679700146 b6989586621679700147) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700146 (TyFun b6989586621679700147 b6989586621679700147 -> Type) -> Type) -> b6989586621679700147 -> TyFun [a6989586621679700146] [b6989586621679700147] -> *) (ScanrSym2 a6989586621679700146 b6989586621679700147) # | |
SuppressUnusedWarnings ((TyFun b6989586621679700137 (Maybe (a6989586621679700138, b6989586621679700137)) -> Type) -> TyFun b6989586621679700137 [a6989586621679700138] -> *) (UnfoldrSym1 a6989586621679700138 b6989586621679700137) # | |
SuppressUnusedWarnings ([a6989586621679700128] -> TyFun [b6989586621679700129] [(a6989586621679700128, b6989586621679700129)] -> *) (ZipSym1 b6989586621679700129 a6989586621679700128) # | |
SuppressUnusedWarnings ([a6989586621679923022] -> TyFun i6989586621679923021 a6989586621679923022 -> *) (GenericIndexSym1 i6989586621679923021 a6989586621679923022) # | |
SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (a3530822107858468866, b3530822107858468867) -> *) (Tuple2Sym1 b3530822107858468867 a3530822107858468866) # | |
SuppressUnusedWarnings (a6989586621679482533 -> TyFun b6989586621679482534 a6989586621679482533 -> *) (ConstSym1 b6989586621679482534 a6989586621679482533) # | |
SuppressUnusedWarnings (a6989586621679482524 -> TyFun b6989586621679482525 b6989586621679482525 -> *) (SeqSym1 b6989586621679482525 a6989586621679482524) # | |
SuppressUnusedWarnings (b6989586621679676147 -> TyFun (TyFun a6989586621679676148 b6989586621679676147 -> Type) (TyFun (Maybe a6989586621679676148) b6989586621679676147 -> Type) -> *) (Maybe_Sym1 a6989586621679676148 b6989586621679676147) # | |
SuppressUnusedWarnings (b6989586621679676147 -> (TyFun a6989586621679676148 b6989586621679676147 -> Type) -> TyFun (Maybe a6989586621679676148) b6989586621679676147 -> *) (Maybe_Sym2 a6989586621679676148 b6989586621679676147) # | |
SuppressUnusedWarnings (a6989586621679700059 -> TyFun [(a6989586621679700059, b6989586621679700060)] (Maybe b6989586621679700060) -> *) (LookupSym1 b6989586621679700060 a6989586621679700059) # | |
SuppressUnusedWarnings (i6989586621679923027 -> TyFun [a6989586621679923028] [a6989586621679923028] -> *) (GenericTakeSym1 a6989586621679923028 i6989586621679923027) # | |
SuppressUnusedWarnings (i6989586621679923025 -> TyFun [a6989586621679923026] [a6989586621679923026] -> *) (GenericDropSym1 a6989586621679923026 i6989586621679923025) # | |
SuppressUnusedWarnings (i6989586621679923023 -> TyFun [a6989586621679923024] ([a6989586621679923024], [a6989586621679923024]) -> *) (GenericSplitAtSym1 a6989586621679923024 i6989586621679923023) # | |
SuppressUnusedWarnings (i6989586621679923019 -> TyFun a6989586621679923020 [a6989586621679923020] -> *) (GenericReplicateSym1 a6989586621679923020 i6989586621679923019) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679448348 (TyFun a6989586621679448347 b6989586621679448348 -> Type) -> Type) (TyFun b6989586621679448348 (TyFun [a6989586621679448347] b6989586621679448348 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679448347 b6989586621679448348) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679482539 (TyFun b6989586621679482540 b6989586621679482540 -> Type) -> Type) (TyFun b6989586621679482540 (TyFun [a6989586621679482539] b6989586621679482540 -> Type) -> Type) -> *) (FoldrSym0 a6989586621679482539 b6989586621679482540) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679482537 b6989586621679482538 -> Type) (TyFun [a6989586621679482537] [b6989586621679482538] -> Type) -> *) (MapSym0 a6989586621679482537 b6989586621679482538) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679677393 (Maybe b6989586621679677394) -> Type) (TyFun [a6989586621679677393] [b6989586621679677394] -> Type) -> *) (MapMaybeSym0 a6989586621679677393 b6989586621679677394) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679700159 (TyFun a6989586621679700158 b6989586621679700159 -> Type) -> Type) (TyFun b6989586621679700159 (TyFun [a6989586621679700158] b6989586621679700159 -> Type) -> Type) -> *) (Foldl'Sym0 a6989586621679700158 b6989586621679700159) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700152 [b6989586621679700153] -> Type) (TyFun [a6989586621679700152] [b6989586621679700153] -> Type) -> *) (ConcatMapSym0 a6989586621679700152 b6989586621679700153) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679700149 (TyFun a6989586621679700150 b6989586621679700149 -> Type) -> Type) (TyFun b6989586621679700149 (TyFun [a6989586621679700150] [b6989586621679700149] -> Type) -> Type) -> *) (ScanlSym0 a6989586621679700150 b6989586621679700149) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700146 (TyFun b6989586621679700147 b6989586621679700147 -> Type) -> Type) (TyFun b6989586621679700147 (TyFun [a6989586621679700146] [b6989586621679700147] -> Type) -> Type) -> *) (ScanrSym0 a6989586621679700146 b6989586621679700147) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679700137 (Maybe (a6989586621679700138, b6989586621679700137)) -> Type) (TyFun b6989586621679700137 [a6989586621679700138] -> Type) -> *) (UnfoldrSym0 b6989586621679700137 a6989586621679700138) # | |
SuppressUnusedWarnings (TyFun [Either a6989586621679668933 b6989586621679668934] [a6989586621679668933] -> *) (LeftsSym0 b6989586621679668934 a6989586621679668933) # | |
SuppressUnusedWarnings (TyFun [Either a6989586621679668931 b6989586621679668932] [b6989586621679668932] -> *) (RightsSym0 a6989586621679668931 b6989586621679668932) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679700116, b6989586621679700117)] ([a6989586621679700116], [b6989586621679700117]) -> *) (UnzipSym0 a6989586621679700116 b6989586621679700117) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700128] (TyFun [b6989586621679700129] [(a6989586621679700128, b6989586621679700129)] -> Type) -> *) (ZipSym0 a6989586621679700128 b6989586621679700129) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700045] i6989586621679700044 -> *) (GenericLengthSym0 a6989586621679700045 i6989586621679700044) # | |
SuppressUnusedWarnings (TyFun [a6989586621679923022] (TyFun i6989586621679923021 a6989586621679923022 -> Type) -> *) (GenericIndexSym0 i6989586621679923021 a6989586621679923022) # | |
SuppressUnusedWarnings (TyFun (Either a6989586621679668927 b6989586621679668928) Bool -> *) (IsLeftSym0 a6989586621679668927 b6989586621679668928) # | |
SuppressUnusedWarnings (TyFun (Either a6989586621679668925 b6989586621679668926) Bool -> *) (IsRightSym0 a6989586621679668925 b6989586621679668926) # | |
SuppressUnusedWarnings (TyFun (a6989586621679686056, b6989586621679686057) a6989586621679686056 -> *) (FstSym0 b6989586621679686057 a6989586621679686056) # | |
SuppressUnusedWarnings (TyFun (a6989586621679686054, b6989586621679686055) b6989586621679686055 -> *) (SndSym0 a6989586621679686054 b6989586621679686055) # | |
SuppressUnusedWarnings (TyFun (a6989586621679686046, b6989586621679686047) (b6989586621679686047, a6989586621679686046) -> *) (SwapSym0 b6989586621679686047 a6989586621679686046) # | |
SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (a3530822107858468866, b3530822107858468867) -> Type) -> *) (Tuple2Sym0 a3530822107858468866 b3530822107858468867) # | |
SuppressUnusedWarnings (TyFun b6989586621679054101 (Either a6989586621679054100 b6989586621679054101) -> *) (RightSym0 a6989586621679054100 b6989586621679054101) # | |
SuppressUnusedWarnings (TyFun a6989586621679054100 (Either a6989586621679054100 b6989586621679054101) -> *) (LeftSym0 a6989586621679054100 b6989586621679054101) # | |
SuppressUnusedWarnings (TyFun a6989586621679482533 (TyFun b6989586621679482534 a6989586621679482533 -> Type) -> *) (ConstSym0 b6989586621679482534 a6989586621679482533) # | |
SuppressUnusedWarnings (TyFun a6989586621679482524 (TyFun b6989586621679482525 b6989586621679482525 -> Type) -> *) (SeqSym0 a6989586621679482524 b6989586621679482525) # | |
SuppressUnusedWarnings (TyFun k06989586621679591922 k6989586621679591924 -> *) (ErrorSym0 k06989586621679591922 k6989586621679591924) # | |
SuppressUnusedWarnings (TyFun b6989586621679676147 (TyFun (TyFun a6989586621679676148 b6989586621679676147 -> Type) (TyFun (Maybe a6989586621679676148) b6989586621679676147 -> Type) -> Type) -> *) (Maybe_Sym0 a6989586621679676148 b6989586621679676147) # | |
SuppressUnusedWarnings (TyFun a6989586621679700059 (TyFun [(a6989586621679700059, b6989586621679700060)] (Maybe b6989586621679700060) -> Type) -> *) (LookupSym0 a6989586621679700059 b6989586621679700060) # | |
SuppressUnusedWarnings (TyFun i6989586621679923027 (TyFun [a6989586621679923028] [a6989586621679923028] -> Type) -> *) (GenericTakeSym0 i6989586621679923027 a6989586621679923028) # | |
SuppressUnusedWarnings (TyFun i6989586621679923025 (TyFun [a6989586621679923026] [a6989586621679923026] -> Type) -> *) (GenericDropSym0 i6989586621679923025 a6989586621679923026) # | |
SuppressUnusedWarnings (TyFun i6989586621679923023 (TyFun [a6989586621679923024] ([a6989586621679923024], [a6989586621679923024]) -> Type) -> *) (GenericSplitAtSym0 i6989586621679923023 a6989586621679923024) # | |
SuppressUnusedWarnings (TyFun i6989586621679923019 (TyFun a6989586621679923020 [a6989586621679923020] -> Type) -> *) (GenericReplicateSym0 i6989586621679923019 a6989586621679923020) # | |
SuppressUnusedWarnings ((TyFun (a6989586621679686051, b6989586621679686052) c6989586621679686053 -> Type) -> TyFun a6989586621679686051 (TyFun b6989586621679686052 c6989586621679686053 -> Type) -> *) (CurrySym1 a6989586621679686051 b6989586621679686052 c6989586621679686053) # | |
SuppressUnusedWarnings ((TyFun (a6989586621679686051, b6989586621679686052) c6989586621679686053 -> Type) -> a6989586621679686051 -> TyFun b6989586621679686052 c6989586621679686053 -> *) (CurrySym2 a6989586621679686051 b6989586621679686052 c6989586621679686053) # | |
SuppressUnusedWarnings ((TyFun b6989586621679482530 c6989586621679482531 -> Type) -> TyFun (TyFun a6989586621679482532 b6989586621679482530 -> Type) (TyFun a6989586621679482532 c6989586621679482531 -> Type) -> *) ((:.$$) a6989586621679482532 b6989586621679482530 c6989586621679482531) # | |
SuppressUnusedWarnings ((TyFun b6989586621679482530 c6989586621679482531 -> Type) -> (TyFun a6989586621679482532 b6989586621679482530 -> Type) -> TyFun a6989586621679482532 c6989586621679482531 -> *) ((:.$$$) a6989586621679482532 b6989586621679482530 c6989586621679482531) # | |
SuppressUnusedWarnings ((TyFun a6989586621679482527 (TyFun b6989586621679482528 c6989586621679482529 -> Type) -> Type) -> TyFun b6989586621679482528 (TyFun a6989586621679482527 c6989586621679482529 -> Type) -> *) (FlipSym1 a6989586621679482527 b6989586621679482528 c6989586621679482529) # | |
SuppressUnusedWarnings ((TyFun a6989586621679482527 (TyFun b6989586621679482528 c6989586621679482529 -> Type) -> Type) -> b6989586621679482528 -> TyFun a6989586621679482527 c6989586621679482529 -> *) (FlipSym2 a6989586621679482527 b6989586621679482528 c6989586621679482529) # | |
SuppressUnusedWarnings ((TyFun a6989586621679667663 c6989586621679667664 -> Type) -> TyFun (TyFun b6989586621679667665 c6989586621679667664 -> Type) (TyFun (Either a6989586621679667663 b6989586621679667665) c6989586621679667664 -> Type) -> *) (Either_Sym1 b6989586621679667665 a6989586621679667663 c6989586621679667664) # | |
SuppressUnusedWarnings ((TyFun a6989586621679667663 c6989586621679667664 -> Type) -> (TyFun b6989586621679667665 c6989586621679667664 -> Type) -> TyFun (Either a6989586621679667663 b6989586621679667665) c6989586621679667664 -> *) (Either_Sym2 b6989586621679667665 a6989586621679667663 c6989586621679667664) # | |
SuppressUnusedWarnings ((TyFun a6989586621679686048 (TyFun b6989586621679686049 c6989586621679686050 -> Type) -> Type) -> TyFun (a6989586621679686048, b6989586621679686049) c6989586621679686050 -> *) (UncurrySym1 a6989586621679686048 b6989586621679686049 c6989586621679686050) # | |
SuppressUnusedWarnings ((TyFun acc6989586621679700142 (TyFun x6989586621679700143 (acc6989586621679700142, y6989586621679700144) -> Type) -> Type) -> TyFun acc6989586621679700142 (TyFun [x6989586621679700143] (acc6989586621679700142, [y6989586621679700144]) -> Type) -> *) (MapAccumLSym1 x6989586621679700143 acc6989586621679700142 y6989586621679700144) # | |
SuppressUnusedWarnings ((TyFun acc6989586621679700142 (TyFun x6989586621679700143 (acc6989586621679700142, y6989586621679700144) -> Type) -> Type) -> acc6989586621679700142 -> TyFun [x6989586621679700143] (acc6989586621679700142, [y6989586621679700144]) -> *) (MapAccumLSym2 x6989586621679700143 acc6989586621679700142 y6989586621679700144) # | |
SuppressUnusedWarnings ((TyFun acc6989586621679700139 (TyFun x6989586621679700140 (acc6989586621679700139, y6989586621679700141) -> Type) -> Type) -> TyFun acc6989586621679700139 (TyFun [x6989586621679700140] (acc6989586621679700139, [y6989586621679700141]) -> Type) -> *) (MapAccumRSym1 x6989586621679700140 acc6989586621679700139 y6989586621679700141) # | |
SuppressUnusedWarnings ((TyFun acc6989586621679700139 (TyFun x6989586621679700140 (acc6989586621679700139, y6989586621679700141) -> Type) -> Type) -> acc6989586621679700139 -> TyFun [x6989586621679700140] (acc6989586621679700139, [y6989586621679700141]) -> *) (MapAccumRSym2 x6989586621679700140 acc6989586621679700139 y6989586621679700141) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700122 (TyFun b6989586621679700123 c6989586621679700124 -> Type) -> Type) -> TyFun [a6989586621679700122] (TyFun [b6989586621679700123] [c6989586621679700124] -> Type) -> *) (ZipWithSym1 a6989586621679700122 b6989586621679700123 c6989586621679700124) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700122 (TyFun b6989586621679700123 c6989586621679700124 -> Type) -> Type) -> [a6989586621679700122] -> TyFun [b6989586621679700123] [c6989586621679700124] -> *) (ZipWithSym2 a6989586621679700122 b6989586621679700123 c6989586621679700124) # | |
SuppressUnusedWarnings ([a6989586621679700125] -> TyFun [b6989586621679700126] (TyFun [c6989586621679700127] [(a6989586621679700125, b6989586621679700126, c6989586621679700127)] -> Type) -> *) (Zip3Sym1 b6989586621679700126 c6989586621679700127 a6989586621679700125) # | |
SuppressUnusedWarnings ([a6989586621679700125] -> [b6989586621679700126] -> TyFun [c6989586621679700127] [(a6989586621679700125, b6989586621679700126, c6989586621679700127)] -> *) (Zip3Sym2 c6989586621679700127 b6989586621679700126 a6989586621679700125) # | |
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 (a6989586621679686051, b6989586621679686052) c6989586621679686053 -> Type) (TyFun a6989586621679686051 (TyFun b6989586621679686052 c6989586621679686053 -> Type) -> Type) -> *) (CurrySym0 a6989586621679686051 b6989586621679686052 c6989586621679686053) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679482530 c6989586621679482531 -> Type) (TyFun (TyFun a6989586621679482532 b6989586621679482530 -> Type) (TyFun a6989586621679482532 c6989586621679482531 -> Type) -> Type) -> *) ((:.$) b6989586621679482530 a6989586621679482532 c6989586621679482531) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679482527 (TyFun b6989586621679482528 c6989586621679482529 -> Type) -> Type) (TyFun b6989586621679482528 (TyFun a6989586621679482527 c6989586621679482529 -> Type) -> Type) -> *) (FlipSym0 b6989586621679482528 a6989586621679482527 c6989586621679482529) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679667663 c6989586621679667664 -> Type) (TyFun (TyFun b6989586621679667665 c6989586621679667664 -> Type) (TyFun (Either a6989586621679667663 b6989586621679667665) c6989586621679667664 -> Type) -> Type) -> *) (Either_Sym0 a6989586621679667663 b6989586621679667665 c6989586621679667664) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679686048 (TyFun b6989586621679686049 c6989586621679686050 -> Type) -> Type) (TyFun (a6989586621679686048, b6989586621679686049) c6989586621679686050 -> Type) -> *) (UncurrySym0 a6989586621679686048 b6989586621679686049 c6989586621679686050) # | |
SuppressUnusedWarnings (TyFun (TyFun acc6989586621679700142 (TyFun x6989586621679700143 (acc6989586621679700142, y6989586621679700144) -> Type) -> Type) (TyFun acc6989586621679700142 (TyFun [x6989586621679700143] (acc6989586621679700142, [y6989586621679700144]) -> Type) -> Type) -> *) (MapAccumLSym0 x6989586621679700143 acc6989586621679700142 y6989586621679700144) # | |
SuppressUnusedWarnings (TyFun (TyFun acc6989586621679700139 (TyFun x6989586621679700140 (acc6989586621679700139, y6989586621679700141) -> Type) -> Type) (TyFun acc6989586621679700139 (TyFun [x6989586621679700140] (acc6989586621679700139, [y6989586621679700141]) -> Type) -> Type) -> *) (MapAccumRSym0 x6989586621679700140 acc6989586621679700139 y6989586621679700141) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679700122 (TyFun b6989586621679700123 c6989586621679700124 -> Type) -> Type) (TyFun [a6989586621679700122] (TyFun [b6989586621679700123] [c6989586621679700124] -> Type) -> Type) -> *) (ZipWithSym0 a6989586621679700122 b6989586621679700123 c6989586621679700124) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679700113, b6989586621679700114, c6989586621679700115)] ([a6989586621679700113], [b6989586621679700114], [c6989586621679700115]) -> *) (Unzip3Sym0 a6989586621679700113 b6989586621679700114 c6989586621679700115) # | |
SuppressUnusedWarnings (TyFun [a6989586621679700125] (TyFun [b6989586621679700126] (TyFun [c6989586621679700127] [(a6989586621679700125, b6989586621679700126, c6989586621679700127)] -> Type) -> Type) -> *) (Zip3Sym0 a6989586621679700125 b6989586621679700126 c6989586621679700127) # | |
SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> Type) -> Type) -> *) (Tuple3Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700118 (TyFun b6989586621679700119 (TyFun c6989586621679700120 d6989586621679700121 -> Type) -> Type) -> Type) -> TyFun [a6989586621679700118] (TyFun [b6989586621679700119] (TyFun [c6989586621679700120] [d6989586621679700121] -> Type) -> Type) -> *) (ZipWith3Sym1 a6989586621679700118 b6989586621679700119 c6989586621679700120 d6989586621679700121) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700118 (TyFun b6989586621679700119 (TyFun c6989586621679700120 d6989586621679700121 -> Type) -> Type) -> Type) -> [a6989586621679700118] -> TyFun [b6989586621679700119] (TyFun [c6989586621679700120] [d6989586621679700121] -> Type) -> *) (ZipWith3Sym2 a6989586621679700118 b6989586621679700119 c6989586621679700120 d6989586621679700121) # | |
SuppressUnusedWarnings ((TyFun a6989586621679700118 (TyFun b6989586621679700119 (TyFun c6989586621679700120 d6989586621679700121 -> Type) -> Type) -> Type) -> [a6989586621679700118] -> [b6989586621679700119] -> TyFun [c6989586621679700120] [d6989586621679700121] -> *) (ZipWith3Sym3 a6989586621679700118 b6989586621679700119 c6989586621679700120 d6989586621679700121) # | |
SuppressUnusedWarnings ([a6989586621679923073] -> TyFun [b6989586621679923074] (TyFun [c6989586621679923075] (TyFun [d6989586621679923076] [(a6989586621679923073, b6989586621679923074, c6989586621679923075, d6989586621679923076)] -> Type) -> Type) -> *) (Zip4Sym1 b6989586621679923074 c6989586621679923075 d6989586621679923076 a6989586621679923073) # | |
SuppressUnusedWarnings ([a6989586621679923073] -> [b6989586621679923074] -> TyFun [c6989586621679923075] (TyFun [d6989586621679923076] [(a6989586621679923073, b6989586621679923074, c6989586621679923075, d6989586621679923076)] -> Type) -> *) (Zip4Sym2 c6989586621679923075 d6989586621679923076 b6989586621679923074 a6989586621679923073) # | |
SuppressUnusedWarnings ([a6989586621679923073] -> [b6989586621679923074] -> [c6989586621679923075] -> TyFun [d6989586621679923076] [(a6989586621679923073, b6989586621679923074, c6989586621679923075, d6989586621679923076)] -> *) (Zip4Sym3 d6989586621679923076 c6989586621679923075 b6989586621679923074 a6989586621679923073) # | |
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 a6989586621679700118 (TyFun b6989586621679700119 (TyFun c6989586621679700120 d6989586621679700121 -> Type) -> Type) -> Type) (TyFun [a6989586621679700118] (TyFun [b6989586621679700119] (TyFun [c6989586621679700120] [d6989586621679700121] -> Type) -> Type) -> Type) -> *) (ZipWith3Sym0 a6989586621679700118 b6989586621679700119 c6989586621679700120 d6989586621679700121) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679700109, b6989586621679700110, c6989586621679700111, d6989586621679700112)] ([a6989586621679700109], [b6989586621679700110], [c6989586621679700111], [d6989586621679700112]) -> *) (Unzip4Sym0 a6989586621679700109 b6989586621679700110 c6989586621679700111 d6989586621679700112) # | |
SuppressUnusedWarnings (TyFun [a6989586621679923073] (TyFun [b6989586621679923074] (TyFun [c6989586621679923075] (TyFun [d6989586621679923076] [(a6989586621679923073, b6989586621679923074, c6989586621679923075, d6989586621679923076)] -> Type) -> Type) -> Type) -> *) (Zip4Sym0 a6989586621679923073 b6989586621679923074 c6989586621679923075 d6989586621679923076) # | |
SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923050 (TyFun b6989586621679923051 (TyFun c6989586621679923052 (TyFun d6989586621679923053 e6989586621679923054 -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621679923050] (TyFun [b6989586621679923051] (TyFun [c6989586621679923052] (TyFun [d6989586621679923053] [e6989586621679923054] -> Type) -> Type) -> Type) -> *) (ZipWith4Sym1 a6989586621679923050 b6989586621679923051 c6989586621679923052 d6989586621679923053 e6989586621679923054) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923050 (TyFun b6989586621679923051 (TyFun c6989586621679923052 (TyFun d6989586621679923053 e6989586621679923054 -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923050] -> TyFun [b6989586621679923051] (TyFun [c6989586621679923052] (TyFun [d6989586621679923053] [e6989586621679923054] -> Type) -> Type) -> *) (ZipWith4Sym2 a6989586621679923050 b6989586621679923051 c6989586621679923052 d6989586621679923053 e6989586621679923054) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923050 (TyFun b6989586621679923051 (TyFun c6989586621679923052 (TyFun d6989586621679923053 e6989586621679923054 -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923050] -> [b6989586621679923051] -> TyFun [c6989586621679923052] (TyFun [d6989586621679923053] [e6989586621679923054] -> Type) -> *) (ZipWith4Sym3 a6989586621679923050 b6989586621679923051 c6989586621679923052 d6989586621679923053 e6989586621679923054) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923050 (TyFun b6989586621679923051 (TyFun c6989586621679923052 (TyFun d6989586621679923053 e6989586621679923054 -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923050] -> [b6989586621679923051] -> [c6989586621679923052] -> TyFun [d6989586621679923053] [e6989586621679923054] -> *) (ZipWith4Sym4 a6989586621679923050 b6989586621679923051 c6989586621679923052 d6989586621679923053 e6989586621679923054) # | |
SuppressUnusedWarnings ([a6989586621679923068] -> TyFun [b6989586621679923069] (TyFun [c6989586621679923070] (TyFun [d6989586621679923071] (TyFun [e6989586621679923072] [(a6989586621679923068, b6989586621679923069, c6989586621679923070, d6989586621679923071, e6989586621679923072)] -> Type) -> Type) -> Type) -> *) (Zip5Sym1 b6989586621679923069 c6989586621679923070 d6989586621679923071 e6989586621679923072 a6989586621679923068) # | |
SuppressUnusedWarnings ([a6989586621679923068] -> [b6989586621679923069] -> TyFun [c6989586621679923070] (TyFun [d6989586621679923071] (TyFun [e6989586621679923072] [(a6989586621679923068, b6989586621679923069, c6989586621679923070, d6989586621679923071, e6989586621679923072)] -> Type) -> Type) -> *) (Zip5Sym2 c6989586621679923070 d6989586621679923071 e6989586621679923072 b6989586621679923069 a6989586621679923068) # | |
SuppressUnusedWarnings ([a6989586621679923068] -> [b6989586621679923069] -> [c6989586621679923070] -> TyFun [d6989586621679923071] (TyFun [e6989586621679923072] [(a6989586621679923068, b6989586621679923069, c6989586621679923070, d6989586621679923071, e6989586621679923072)] -> Type) -> *) (Zip5Sym3 d6989586621679923071 e6989586621679923072 c6989586621679923070 b6989586621679923069 a6989586621679923068) # | |
SuppressUnusedWarnings ([a6989586621679923068] -> [b6989586621679923069] -> [c6989586621679923070] -> [d6989586621679923071] -> TyFun [e6989586621679923072] [(a6989586621679923068, b6989586621679923069, c6989586621679923070, d6989586621679923071, e6989586621679923072)] -> *) (Zip5Sym4 e6989586621679923072 d6989586621679923071 c6989586621679923070 b6989586621679923069 a6989586621679923068) # | |
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 a6989586621679923050 (TyFun b6989586621679923051 (TyFun c6989586621679923052 (TyFun d6989586621679923053 e6989586621679923054 -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621679923050] (TyFun [b6989586621679923051] (TyFun [c6989586621679923052] (TyFun [d6989586621679923053] [e6989586621679923054] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith4Sym0 a6989586621679923050 b6989586621679923051 c6989586621679923052 d6989586621679923053 e6989586621679923054) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679700104, b6989586621679700105, c6989586621679700106, d6989586621679700107, e6989586621679700108)] ([a6989586621679700104], [b6989586621679700105], [c6989586621679700106], [d6989586621679700107], [e6989586621679700108]) -> *) (Unzip5Sym0 a6989586621679700104 b6989586621679700105 c6989586621679700106 d6989586621679700107 e6989586621679700108) # | |
SuppressUnusedWarnings (TyFun [a6989586621679923068] (TyFun [b6989586621679923069] (TyFun [c6989586621679923070] (TyFun [d6989586621679923071] (TyFun [e6989586621679923072] [(a6989586621679923068, b6989586621679923069, c6989586621679923070, d6989586621679923071, e6989586621679923072)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip5Sym0 a6989586621679923068 b6989586621679923069 c6989586621679923070 d6989586621679923071 e6989586621679923072) # | |
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 a6989586621679923044 (TyFun b6989586621679923045 (TyFun c6989586621679923046 (TyFun d6989586621679923047 (TyFun e6989586621679923048 f6989586621679923049 -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621679923044] (TyFun [b6989586621679923045] (TyFun [c6989586621679923046] (TyFun [d6989586621679923047] (TyFun [e6989586621679923048] [f6989586621679923049] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith5Sym1 a6989586621679923044 b6989586621679923045 c6989586621679923046 d6989586621679923047 e6989586621679923048 f6989586621679923049) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923044 (TyFun b6989586621679923045 (TyFun c6989586621679923046 (TyFun d6989586621679923047 (TyFun e6989586621679923048 f6989586621679923049 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923044] -> TyFun [b6989586621679923045] (TyFun [c6989586621679923046] (TyFun [d6989586621679923047] (TyFun [e6989586621679923048] [f6989586621679923049] -> Type) -> Type) -> Type) -> *) (ZipWith5Sym2 a6989586621679923044 b6989586621679923045 c6989586621679923046 d6989586621679923047 e6989586621679923048 f6989586621679923049) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923044 (TyFun b6989586621679923045 (TyFun c6989586621679923046 (TyFun d6989586621679923047 (TyFun e6989586621679923048 f6989586621679923049 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923044] -> [b6989586621679923045] -> TyFun [c6989586621679923046] (TyFun [d6989586621679923047] (TyFun [e6989586621679923048] [f6989586621679923049] -> Type) -> Type) -> *) (ZipWith5Sym3 a6989586621679923044 b6989586621679923045 c6989586621679923046 d6989586621679923047 e6989586621679923048 f6989586621679923049) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923044 (TyFun b6989586621679923045 (TyFun c6989586621679923046 (TyFun d6989586621679923047 (TyFun e6989586621679923048 f6989586621679923049 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923044] -> [b6989586621679923045] -> [c6989586621679923046] -> TyFun [d6989586621679923047] (TyFun [e6989586621679923048] [f6989586621679923049] -> Type) -> *) (ZipWith5Sym4 a6989586621679923044 b6989586621679923045 c6989586621679923046 d6989586621679923047 e6989586621679923048 f6989586621679923049) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923044 (TyFun b6989586621679923045 (TyFun c6989586621679923046 (TyFun d6989586621679923047 (TyFun e6989586621679923048 f6989586621679923049 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923044] -> [b6989586621679923045] -> [c6989586621679923046] -> [d6989586621679923047] -> TyFun [e6989586621679923048] [f6989586621679923049] -> *) (ZipWith5Sym5 a6989586621679923044 b6989586621679923045 c6989586621679923046 d6989586621679923047 e6989586621679923048 f6989586621679923049) # | |
SuppressUnusedWarnings ([a6989586621679923062] -> TyFun [b6989586621679923063] (TyFun [c6989586621679923064] (TyFun [d6989586621679923065] (TyFun [e6989586621679923066] (TyFun [f6989586621679923067] [(a6989586621679923062, b6989586621679923063, c6989586621679923064, d6989586621679923065, e6989586621679923066, f6989586621679923067)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip6Sym1 b6989586621679923063 c6989586621679923064 d6989586621679923065 e6989586621679923066 f6989586621679923067 a6989586621679923062) # | |
SuppressUnusedWarnings ([a6989586621679923062] -> [b6989586621679923063] -> TyFun [c6989586621679923064] (TyFun [d6989586621679923065] (TyFun [e6989586621679923066] (TyFun [f6989586621679923067] [(a6989586621679923062, b6989586621679923063, c6989586621679923064, d6989586621679923065, e6989586621679923066, f6989586621679923067)] -> Type) -> Type) -> Type) -> *) (Zip6Sym2 c6989586621679923064 d6989586621679923065 e6989586621679923066 f6989586621679923067 b6989586621679923063 a6989586621679923062) # | |
SuppressUnusedWarnings ([a6989586621679923062] -> [b6989586621679923063] -> [c6989586621679923064] -> TyFun [d6989586621679923065] (TyFun [e6989586621679923066] (TyFun [f6989586621679923067] [(a6989586621679923062, b6989586621679923063, c6989586621679923064, d6989586621679923065, e6989586621679923066, f6989586621679923067)] -> Type) -> Type) -> *) (Zip6Sym3 d6989586621679923065 e6989586621679923066 f6989586621679923067 c6989586621679923064 b6989586621679923063 a6989586621679923062) # | |
SuppressUnusedWarnings ([a6989586621679923062] -> [b6989586621679923063] -> [c6989586621679923064] -> [d6989586621679923065] -> TyFun [e6989586621679923066] (TyFun [f6989586621679923067] [(a6989586621679923062, b6989586621679923063, c6989586621679923064, d6989586621679923065, e6989586621679923066, f6989586621679923067)] -> Type) -> *) (Zip6Sym4 e6989586621679923066 f6989586621679923067 d6989586621679923065 c6989586621679923064 b6989586621679923063 a6989586621679923062) # | |
SuppressUnusedWarnings ([a6989586621679923062] -> [b6989586621679923063] -> [c6989586621679923064] -> [d6989586621679923065] -> [e6989586621679923066] -> TyFun [f6989586621679923067] [(a6989586621679923062, b6989586621679923063, c6989586621679923064, d6989586621679923065, e6989586621679923066, f6989586621679923067)] -> *) (Zip6Sym5 f6989586621679923067 e6989586621679923066 d6989586621679923065 c6989586621679923064 b6989586621679923063 a6989586621679923062) # | |
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 a6989586621679923044 (TyFun b6989586621679923045 (TyFun c6989586621679923046 (TyFun d6989586621679923047 (TyFun e6989586621679923048 f6989586621679923049 -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621679923044] (TyFun [b6989586621679923045] (TyFun [c6989586621679923046] (TyFun [d6989586621679923047] (TyFun [e6989586621679923048] [f6989586621679923049] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith5Sym0 a6989586621679923044 b6989586621679923045 c6989586621679923046 d6989586621679923047 e6989586621679923048 f6989586621679923049) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679700098, b6989586621679700099, c6989586621679700100, d6989586621679700101, e6989586621679700102, f6989586621679700103)] ([a6989586621679700098], [b6989586621679700099], [c6989586621679700100], [d6989586621679700101], [e6989586621679700102], [f6989586621679700103]) -> *) (Unzip6Sym0 a6989586621679700098 b6989586621679700099 c6989586621679700100 d6989586621679700101 e6989586621679700102 f6989586621679700103) # | |
SuppressUnusedWarnings (TyFun [a6989586621679923062] (TyFun [b6989586621679923063] (TyFun [c6989586621679923064] (TyFun [d6989586621679923065] (TyFun [e6989586621679923066] (TyFun [f6989586621679923067] [(a6989586621679923062, b6989586621679923063, c6989586621679923064, d6989586621679923065, e6989586621679923066, f6989586621679923067)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip6Sym0 a6989586621679923062 b6989586621679923063 c6989586621679923064 d6989586621679923065 e6989586621679923066 f6989586621679923067) # | |
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 a6989586621679923037 (TyFun b6989586621679923038 (TyFun c6989586621679923039 (TyFun d6989586621679923040 (TyFun e6989586621679923041 (TyFun f6989586621679923042 g6989586621679923043 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621679923037] (TyFun [b6989586621679923038] (TyFun [c6989586621679923039] (TyFun [d6989586621679923040] (TyFun [e6989586621679923041] (TyFun [f6989586621679923042] [g6989586621679923043] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym1 a6989586621679923037 b6989586621679923038 c6989586621679923039 d6989586621679923040 e6989586621679923041 f6989586621679923042 g6989586621679923043) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923037 (TyFun b6989586621679923038 (TyFun c6989586621679923039 (TyFun d6989586621679923040 (TyFun e6989586621679923041 (TyFun f6989586621679923042 g6989586621679923043 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923037] -> TyFun [b6989586621679923038] (TyFun [c6989586621679923039] (TyFun [d6989586621679923040] (TyFun [e6989586621679923041] (TyFun [f6989586621679923042] [g6989586621679923043] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym2 a6989586621679923037 b6989586621679923038 c6989586621679923039 d6989586621679923040 e6989586621679923041 f6989586621679923042 g6989586621679923043) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923037 (TyFun b6989586621679923038 (TyFun c6989586621679923039 (TyFun d6989586621679923040 (TyFun e6989586621679923041 (TyFun f6989586621679923042 g6989586621679923043 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923037] -> [b6989586621679923038] -> TyFun [c6989586621679923039] (TyFun [d6989586621679923040] (TyFun [e6989586621679923041] (TyFun [f6989586621679923042] [g6989586621679923043] -> Type) -> Type) -> Type) -> *) (ZipWith6Sym3 a6989586621679923037 b6989586621679923038 c6989586621679923039 d6989586621679923040 e6989586621679923041 f6989586621679923042 g6989586621679923043) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923037 (TyFun b6989586621679923038 (TyFun c6989586621679923039 (TyFun d6989586621679923040 (TyFun e6989586621679923041 (TyFun f6989586621679923042 g6989586621679923043 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923037] -> [b6989586621679923038] -> [c6989586621679923039] -> TyFun [d6989586621679923040] (TyFun [e6989586621679923041] (TyFun [f6989586621679923042] [g6989586621679923043] -> Type) -> Type) -> *) (ZipWith6Sym4 a6989586621679923037 b6989586621679923038 c6989586621679923039 d6989586621679923040 e6989586621679923041 f6989586621679923042 g6989586621679923043) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923037 (TyFun b6989586621679923038 (TyFun c6989586621679923039 (TyFun d6989586621679923040 (TyFun e6989586621679923041 (TyFun f6989586621679923042 g6989586621679923043 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923037] -> [b6989586621679923038] -> [c6989586621679923039] -> [d6989586621679923040] -> TyFun [e6989586621679923041] (TyFun [f6989586621679923042] [g6989586621679923043] -> Type) -> *) (ZipWith6Sym5 a6989586621679923037 b6989586621679923038 c6989586621679923039 d6989586621679923040 e6989586621679923041 f6989586621679923042 g6989586621679923043) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923037 (TyFun b6989586621679923038 (TyFun c6989586621679923039 (TyFun d6989586621679923040 (TyFun e6989586621679923041 (TyFun f6989586621679923042 g6989586621679923043 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923037] -> [b6989586621679923038] -> [c6989586621679923039] -> [d6989586621679923040] -> [e6989586621679923041] -> TyFun [f6989586621679923042] [g6989586621679923043] -> *) (ZipWith6Sym6 a6989586621679923037 b6989586621679923038 c6989586621679923039 d6989586621679923040 e6989586621679923041 f6989586621679923042 g6989586621679923043) # | |
SuppressUnusedWarnings ([a6989586621679923055] -> TyFun [b6989586621679923056] (TyFun [c6989586621679923057] (TyFun [d6989586621679923058] (TyFun [e6989586621679923059] (TyFun [f6989586621679923060] (TyFun [g6989586621679923061] [(a6989586621679923055, b6989586621679923056, c6989586621679923057, d6989586621679923058, e6989586621679923059, f6989586621679923060, g6989586621679923061)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym1 b6989586621679923056 c6989586621679923057 d6989586621679923058 e6989586621679923059 f6989586621679923060 g6989586621679923061 a6989586621679923055) # | |
SuppressUnusedWarnings ([a6989586621679923055] -> [b6989586621679923056] -> TyFun [c6989586621679923057] (TyFun [d6989586621679923058] (TyFun [e6989586621679923059] (TyFun [f6989586621679923060] (TyFun [g6989586621679923061] [(a6989586621679923055, b6989586621679923056, c6989586621679923057, d6989586621679923058, e6989586621679923059, f6989586621679923060, g6989586621679923061)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym2 c6989586621679923057 d6989586621679923058 e6989586621679923059 f6989586621679923060 g6989586621679923061 b6989586621679923056 a6989586621679923055) # | |
SuppressUnusedWarnings ([a6989586621679923055] -> [b6989586621679923056] -> [c6989586621679923057] -> TyFun [d6989586621679923058] (TyFun [e6989586621679923059] (TyFun [f6989586621679923060] (TyFun [g6989586621679923061] [(a6989586621679923055, b6989586621679923056, c6989586621679923057, d6989586621679923058, e6989586621679923059, f6989586621679923060, g6989586621679923061)] -> Type) -> Type) -> Type) -> *) (Zip7Sym3 d6989586621679923058 e6989586621679923059 f6989586621679923060 g6989586621679923061 c6989586621679923057 b6989586621679923056 a6989586621679923055) # | |
SuppressUnusedWarnings ([a6989586621679923055] -> [b6989586621679923056] -> [c6989586621679923057] -> [d6989586621679923058] -> TyFun [e6989586621679923059] (TyFun [f6989586621679923060] (TyFun [g6989586621679923061] [(a6989586621679923055, b6989586621679923056, c6989586621679923057, d6989586621679923058, e6989586621679923059, f6989586621679923060, g6989586621679923061)] -> Type) -> Type) -> *) (Zip7Sym4 e6989586621679923059 f6989586621679923060 g6989586621679923061 d6989586621679923058 c6989586621679923057 b6989586621679923056 a6989586621679923055) # | |
SuppressUnusedWarnings ([a6989586621679923055] -> [b6989586621679923056] -> [c6989586621679923057] -> [d6989586621679923058] -> [e6989586621679923059] -> TyFun [f6989586621679923060] (TyFun [g6989586621679923061] [(a6989586621679923055, b6989586621679923056, c6989586621679923057, d6989586621679923058, e6989586621679923059, f6989586621679923060, g6989586621679923061)] -> Type) -> *) (Zip7Sym5 f6989586621679923060 g6989586621679923061 e6989586621679923059 d6989586621679923058 c6989586621679923057 b6989586621679923056 a6989586621679923055) # | |
SuppressUnusedWarnings ([a6989586621679923055] -> [b6989586621679923056] -> [c6989586621679923057] -> [d6989586621679923058] -> [e6989586621679923059] -> [f6989586621679923060] -> TyFun [g6989586621679923061] [(a6989586621679923055, b6989586621679923056, c6989586621679923057, d6989586621679923058, e6989586621679923059, f6989586621679923060, g6989586621679923061)] -> *) (Zip7Sym6 g6989586621679923061 f6989586621679923060 e6989586621679923059 d6989586621679923058 c6989586621679923057 b6989586621679923056 a6989586621679923055) # | |
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 a6989586621679923037 (TyFun b6989586621679923038 (TyFun c6989586621679923039 (TyFun d6989586621679923040 (TyFun e6989586621679923041 (TyFun f6989586621679923042 g6989586621679923043 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621679923037] (TyFun [b6989586621679923038] (TyFun [c6989586621679923039] (TyFun [d6989586621679923040] (TyFun [e6989586621679923041] (TyFun [f6989586621679923042] [g6989586621679923043] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym0 a6989586621679923037 b6989586621679923038 c6989586621679923039 d6989586621679923040 e6989586621679923041 f6989586621679923042 g6989586621679923043) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679700091, b6989586621679700092, c6989586621679700093, d6989586621679700094, e6989586621679700095, f6989586621679700096, g6989586621679700097)] ([a6989586621679700091], [b6989586621679700092], [c6989586621679700093], [d6989586621679700094], [e6989586621679700095], [f6989586621679700096], [g6989586621679700097]) -> *) (Unzip7Sym0 a6989586621679700091 b6989586621679700092 c6989586621679700093 d6989586621679700094 e6989586621679700095 f6989586621679700096 g6989586621679700097) # | |
SuppressUnusedWarnings (TyFun [a6989586621679923055] (TyFun [b6989586621679923056] (TyFun [c6989586621679923057] (TyFun [d6989586621679923058] (TyFun [e6989586621679923059] (TyFun [f6989586621679923060] (TyFun [g6989586621679923061] [(a6989586621679923055, b6989586621679923056, c6989586621679923057, d6989586621679923058, e6989586621679923059, f6989586621679923060, g6989586621679923061)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym0 a6989586621679923055 b6989586621679923056 c6989586621679923057 d6989586621679923058 e6989586621679923059 f6989586621679923060 g6989586621679923061) # | |
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 a6989586621679923029 (TyFun b6989586621679923030 (TyFun c6989586621679923031 (TyFun d6989586621679923032 (TyFun e6989586621679923033 (TyFun f6989586621679923034 (TyFun g6989586621679923035 h6989586621679923036 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621679923029] (TyFun [b6989586621679923030] (TyFun [c6989586621679923031] (TyFun [d6989586621679923032] (TyFun [e6989586621679923033] (TyFun [f6989586621679923034] (TyFun [g6989586621679923035] [h6989586621679923036] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym1 a6989586621679923029 b6989586621679923030 c6989586621679923031 d6989586621679923032 e6989586621679923033 f6989586621679923034 g6989586621679923035 h6989586621679923036) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923029 (TyFun b6989586621679923030 (TyFun c6989586621679923031 (TyFun d6989586621679923032 (TyFun e6989586621679923033 (TyFun f6989586621679923034 (TyFun g6989586621679923035 h6989586621679923036 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923029] -> TyFun [b6989586621679923030] (TyFun [c6989586621679923031] (TyFun [d6989586621679923032] (TyFun [e6989586621679923033] (TyFun [f6989586621679923034] (TyFun [g6989586621679923035] [h6989586621679923036] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym2 a6989586621679923029 b6989586621679923030 c6989586621679923031 d6989586621679923032 e6989586621679923033 f6989586621679923034 g6989586621679923035 h6989586621679923036) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923029 (TyFun b6989586621679923030 (TyFun c6989586621679923031 (TyFun d6989586621679923032 (TyFun e6989586621679923033 (TyFun f6989586621679923034 (TyFun g6989586621679923035 h6989586621679923036 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923029] -> [b6989586621679923030] -> TyFun [c6989586621679923031] (TyFun [d6989586621679923032] (TyFun [e6989586621679923033] (TyFun [f6989586621679923034] (TyFun [g6989586621679923035] [h6989586621679923036] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym3 a6989586621679923029 b6989586621679923030 c6989586621679923031 d6989586621679923032 e6989586621679923033 f6989586621679923034 g6989586621679923035 h6989586621679923036) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923029 (TyFun b6989586621679923030 (TyFun c6989586621679923031 (TyFun d6989586621679923032 (TyFun e6989586621679923033 (TyFun f6989586621679923034 (TyFun g6989586621679923035 h6989586621679923036 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923029] -> [b6989586621679923030] -> [c6989586621679923031] -> TyFun [d6989586621679923032] (TyFun [e6989586621679923033] (TyFun [f6989586621679923034] (TyFun [g6989586621679923035] [h6989586621679923036] -> Type) -> Type) -> Type) -> *) (ZipWith7Sym4 a6989586621679923029 b6989586621679923030 c6989586621679923031 d6989586621679923032 e6989586621679923033 f6989586621679923034 g6989586621679923035 h6989586621679923036) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923029 (TyFun b6989586621679923030 (TyFun c6989586621679923031 (TyFun d6989586621679923032 (TyFun e6989586621679923033 (TyFun f6989586621679923034 (TyFun g6989586621679923035 h6989586621679923036 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923029] -> [b6989586621679923030] -> [c6989586621679923031] -> [d6989586621679923032] -> TyFun [e6989586621679923033] (TyFun [f6989586621679923034] (TyFun [g6989586621679923035] [h6989586621679923036] -> Type) -> Type) -> *) (ZipWith7Sym5 a6989586621679923029 b6989586621679923030 c6989586621679923031 d6989586621679923032 e6989586621679923033 f6989586621679923034 g6989586621679923035 h6989586621679923036) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923029 (TyFun b6989586621679923030 (TyFun c6989586621679923031 (TyFun d6989586621679923032 (TyFun e6989586621679923033 (TyFun f6989586621679923034 (TyFun g6989586621679923035 h6989586621679923036 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923029] -> [b6989586621679923030] -> [c6989586621679923031] -> [d6989586621679923032] -> [e6989586621679923033] -> TyFun [f6989586621679923034] (TyFun [g6989586621679923035] [h6989586621679923036] -> Type) -> *) (ZipWith7Sym6 a6989586621679923029 b6989586621679923030 c6989586621679923031 d6989586621679923032 e6989586621679923033 f6989586621679923034 g6989586621679923035 h6989586621679923036) # | |
SuppressUnusedWarnings ((TyFun a6989586621679923029 (TyFun b6989586621679923030 (TyFun c6989586621679923031 (TyFun d6989586621679923032 (TyFun e6989586621679923033 (TyFun f6989586621679923034 (TyFun g6989586621679923035 h6989586621679923036 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621679923029] -> [b6989586621679923030] -> [c6989586621679923031] -> [d6989586621679923032] -> [e6989586621679923033] -> [f6989586621679923034] -> TyFun [g6989586621679923035] [h6989586621679923036] -> *) (ZipWith7Sym7 a6989586621679923029 b6989586621679923030 c6989586621679923031 d6989586621679923032 e6989586621679923033 f6989586621679923034 g6989586621679923035 h6989586621679923036) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679923029 (TyFun b6989586621679923030 (TyFun c6989586621679923031 (TyFun d6989586621679923032 (TyFun e6989586621679923033 (TyFun f6989586621679923034 (TyFun g6989586621679923035 h6989586621679923036 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621679923029] (TyFun [b6989586621679923030] (TyFun [c6989586621679923031] (TyFun [d6989586621679923032] (TyFun [e6989586621679923033] (TyFun [f6989586621679923034] (TyFun [g6989586621679923035] [h6989586621679923036] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym0 a6989586621679923029 b6989586621679923030 c6989586621679923031 d6989586621679923032 e6989586621679923033 f6989586621679923034 g6989586621679923035 h6989586621679923036) # | |