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
Contents
Description
This module exports the basic definitions to use singletons. For routine
use, consider importing Prelude
, which exports constructors
for singletons based on types in the Prelude
.
You may also want to read http://www.cis.upenn.edu/~eir/packages/singletons/README.html and the original paper presenting this library, available at http://www.cis.upenn.edu/~eir/papers/2012/singletons/paper.pdf.
- data family Sing (a :: k)
- class SingI a where
- class SingKind k where
- type KindOf a = (Proxy :: Proxy k)
- type Demote a = DemoteRep k
- data SingInstance a where
- SingInstance :: SingI a => SingInstance a
- data SomeSing k where
- singInstance :: forall a. Sing a -> SingInstance a
- withSingI :: Sing n -> (SingI n => r) -> r
- withSomeSing :: SingKind k => DemoteRep k -> (forall a. Sing a -> r) -> r
- singByProxy :: SingI a => proxy a -> Sing a
- singByProxy# :: SingI a => Proxy# a -> Sing a
- withSing :: SingI a => (Sing a -> b) -> b
- singThat :: forall a. (SingKind k, SingI a) => (Demote a -> Bool) -> Maybe (Sing a)
- data TyFun :: * -> * -> *
- type (~>) a b = TyFun a b -> *
- data TyCon1 :: (k1 -> k2) -> k1 ~> k2
- data TyCon2 :: (k1 -> k2 -> k3) -> k1 ~> (k2 ~> k3)
- data TyCon3 :: (k1 -> k2 -> k3 -> k4) -> k1 ~> (k2 ~> (k3 ~> k4))
- data TyCon4 :: (k1 -> k2 -> k3 -> k4 -> k5) -> k1 ~> (k2 ~> (k3 ~> (k4 ~> k5)))
- data TyCon5 :: (k1 -> k2 -> k3 -> k4 -> k5 -> k6) -> k1 ~> (k2 ~> (k3 ~> (k4 ~> (k5 ~> k6))))
- data TyCon6 :: (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7) -> k1 ~> (k2 ~> (k3 ~> (k4 ~> (k5 ~> (k6 ~> k7)))))
- data TyCon7 :: (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8) -> k1 ~> (k2 ~> (k3 ~> (k4 ~> (k5 ~> (k6 ~> (k7 ~> k8))))))
- data TyCon8 :: (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9) -> k1 ~> (k2 ~> (k3 ~> (k4 ~> (k5 ~> (k6 ~> (k7 ~> (k8 ~> k9)))))))
- type family Apply (f :: k1 ~> k2) (x :: k1) :: k2
- type (@@) a b = Apply a b
- singFun1 :: Proxy f -> SingFunction1 f -> Sing f
- singFun2 :: Proxy f -> SingFunction2 f -> Sing f
- singFun3 :: Proxy f -> SingFunction3 f -> Sing f
- singFun4 :: Proxy f -> SingFunction4 f -> Sing f
- singFun5 :: Proxy f -> SingFunction5 f -> Sing f
- singFun6 :: Proxy f -> SingFunction6 f -> Sing f
- singFun7 :: Proxy f -> SingFunction7 f -> Sing f
- singFun8 :: Proxy f -> SingFunction8 f -> Sing f
- unSingFun1 :: Proxy f -> Sing f -> SingFunction1 f
- unSingFun2 :: Proxy f -> Sing f -> SingFunction2 f
- unSingFun3 :: Proxy f -> Sing f -> SingFunction3 f
- unSingFun4 :: Proxy f -> Sing f -> SingFunction4 f
- unSingFun5 :: Proxy f -> Sing f -> SingFunction5 f
- unSingFun6 :: Proxy f -> Sing f -> SingFunction6 f
- unSingFun7 :: Proxy f -> Sing f -> SingFunction7 f
- unSingFun8 :: Proxy f -> Sing f -> SingFunction8 f
- type SingFunction1 f = forall t. Sing t -> Sing (f @@ t)
- type SingFunction2 f = forall t. Sing t -> SingFunction1 (f @@ t)
- type SingFunction3 f = forall t. Sing t -> SingFunction2 (f @@ t)
- type SingFunction4 f = forall t. Sing t -> SingFunction3 (f @@ t)
- type SingFunction5 f = forall t. Sing t -> SingFunction4 (f @@ t)
- type SingFunction6 f = forall t. Sing t -> SingFunction5 (f @@ t)
- type SingFunction7 f = forall t. Sing t -> SingFunction6 (f @@ t)
- type SingFunction8 f = forall t. Sing t -> SingFunction7 (f @@ t)
- data Proxy k t :: forall k. k -> * = Proxy
Main 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) # | |
See also Sing
for exported constructors
A SingI
constraint is essentially an implicitly-passed singleton.
If you need to satisfy this constraint with an explicit singleton, please
see withSingI
.
Minimal complete definition
The SingKind
class is a kind class. It classifies all kinds
for which singletons are defined. The class supports converting between a singleton
type and the base (unrefined) type which it is built from.
Associated Types
Get a base type from a proxy for the promoted kind. For example,
DemoteRep Bool
will be the type Bool
.
Working with singletons
type KindOf a = (Proxy :: Proxy k) #
Convenient synonym to refer to the kind of a type variable:
type KindOf (a :: k) = ('Proxy :: Proxy k)
Convenient abbreviation for DemoteRep
:
type Demote (a :: k) = DemoteRep k
data SingInstance a where #
A SingInstance
wraps up a SingI
instance for explicit handling.
Constructors
SingInstance :: SingI a => SingInstance a |
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
.
singInstance :: forall a. Sing a -> SingInstance a #
Get an implicit singleton (a SingI
instance) from an explicit one.
withSingI :: Sing n -> (SingI n => r) -> r #
Convenience function for creating a context with an implicit singleton available.
Arguments
:: SingKind k | |
=> DemoteRep k | The original datatype |
-> (forall a. Sing a -> r) | Function expecting a singleton |
-> r |
Convert a normal datatype (like Bool
) to a singleton for that datatype,
passing it into a continuation.
singByProxy :: SingI a => proxy a -> Sing a #
Allows creation of a singleton when a proxy is at hand.
singByProxy# :: SingI a => Proxy# a -> Sing a #
Allows creation of a singleton when a proxy#
is at hand.
withSing :: SingI a => (Sing a -> b) -> b #
A convenience function useful when we need to name a singleton value
multiple times. Without this function, each use of sing
could potentially
refer to a different singleton, and one has to use type signatures (often
with ScopedTypeVariables
) to ensure that they are the same.
singThat :: forall a. (SingKind k, SingI a) => (Demote a -> Bool) -> Maybe (Sing a) #
A convenience function that names a singleton satisfying a certain
property. If the singleton does not satisfy the property, then the function
returns Nothing
. The property is expressed in terms of the underlying
representation of the singleton.
Defunctionalization
Representation of the kind of a type-level function. The difference between term-level arrows and this type-level arrow is that at the term level applications can be unsaturated, whereas at the type level all applications have to be fully saturated.
Instances
(SingKind k1, SingKind k2) => SingKind ((~>) k1 k2) # | |
SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:&&$$) # | |
SuppressUnusedWarnings (Bool -> TyFun Bool Bool -> *) (:||$$) # | |
SuppressUnusedWarnings (Ordering -> TyFun Ordering Ordering -> *) ThenCmpSym1 # | |
SuppressUnusedWarnings (Nat -> TyFun Nat Nat -> *) (:^$$) # | |
SuppressUnusedWarnings (TyFun Bool Bool -> *) NotSym0 # | |
SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:&&$) # | |
SuppressUnusedWarnings (TyFun Bool (TyFun Bool Bool -> Type) -> *) (:||$) # | |
SuppressUnusedWarnings (TyFun [Bool] Bool -> *) AndSym0 # | |
SuppressUnusedWarnings (TyFun [Bool] Bool -> *) OrSym0 # | |
SuppressUnusedWarnings (TyFun Ordering (TyFun Ordering Ordering -> Type) -> *) ThenCmpSym0 # | |
SuppressUnusedWarnings (TyFun Nat (TyFun Nat Nat -> *) -> *) (:^$) # | |
SuppressUnusedWarnings ((TyFun a6989586621679785711 Bool -> Type) -> TyFun [a6989586621679785711] Bool -> *) (Any_Sym1 a6989586621679785711) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796316 Bool -> Type) -> TyFun [a6989586621679796316] [a6989586621679796316] -> *) (DropWhileEndSym1 a6989586621679796316) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796400 (TyFun a6989586621679796400 a6989586621679796400 -> Type) -> Type) -> TyFun [a6989586621679796400] a6989586621679796400 -> *) (Foldl1'Sym1 a6989586621679796400) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796327 (TyFun a6989586621679796327 Ordering -> Type) -> Type) -> TyFun [a6989586621679796327] a6989586621679796327 -> *) (MinimumBySym1 a6989586621679796327) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796328 (TyFun a6989586621679796328 Ordering -> Type) -> Type) -> TyFun [a6989586621679796328] a6989586621679796328 -> *) (MaximumBySym1 a6989586621679796328) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796401 (TyFun a6989586621679796401 a6989586621679796401 -> Type) -> Type) -> TyFun [a6989586621679796401] a6989586621679796401 -> *) (Foldl1Sym1 a6989586621679796401) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796399 (TyFun a6989586621679796399 a6989586621679796399 -> Type) -> Type) -> TyFun [a6989586621679796399] a6989586621679796399 -> *) (Foldr1Sym1 a6989586621679796399) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796395 Bool -> Type) -> TyFun [a6989586621679796395] Bool -> *) (AllSym1 a6989586621679796395) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796392 (TyFun a6989586621679796392 a6989586621679796392 -> Type) -> Type) -> TyFun [a6989586621679796392] [a6989586621679796392] -> *) (Scanl1Sym1 a6989586621679796392) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796389 (TyFun a6989586621679796389 a6989586621679796389 -> Type) -> Type) -> TyFun [a6989586621679796389] [a6989586621679796389] -> *) (Scanr1Sym1 a6989586621679796389) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796322 Bool -> Type) -> TyFun [a6989586621679796322] (Maybe Nat) -> *) (FindIndexSym1 a6989586621679796322) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796321 Bool -> Type) -> TyFun [a6989586621679796321] [Nat] -> *) (FindIndicesSym1 a6989586621679796321) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796291 (TyFun a6989586621679796291 Bool -> Type) -> Type) -> TyFun [a6989586621679796291] (TyFun [a6989586621679796291] [a6989586621679796291] -> Type) -> *) (UnionBySym1 a6989586621679796291) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796291 (TyFun a6989586621679796291 Bool -> Type) -> Type) -> [a6989586621679796291] -> TyFun [a6989586621679796291] [a6989586621679796291] -> *) (UnionBySym2 a6989586621679796291) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796331 (TyFun a6989586621679796331 Bool -> Type) -> Type) -> TyFun [a6989586621679796331] (TyFun [a6989586621679796331] [a6989586621679796331] -> Type) -> *) (DeleteFirstsBySym1 a6989586621679796331) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796331 (TyFun a6989586621679796331 Bool -> Type) -> Type) -> [a6989586621679796331] -> TyFun [a6989586621679796331] [a6989586621679796331] -> *) (DeleteFirstsBySym2 a6989586621679796331) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796332 (TyFun a6989586621679796332 Bool -> Type) -> Type) -> TyFun a6989586621679796332 (TyFun [a6989586621679796332] [a6989586621679796332] -> Type) -> *) (DeleteBySym1 a6989586621679796332) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796332 (TyFun a6989586621679796332 Bool -> Type) -> Type) -> a6989586621679796332 -> TyFun [a6989586621679796332] [a6989586621679796332] -> *) (DeleteBySym2 a6989586621679796332) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796330 (TyFun a6989586621679796330 Ordering -> Type) -> Type) -> TyFun [a6989586621679796330] [a6989586621679796330] -> *) (SortBySym1 a6989586621679796330) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796329 (TyFun a6989586621679796329 Ordering -> Type) -> Type) -> TyFun a6989586621679796329 (TyFun [a6989586621679796329] [a6989586621679796329] -> Type) -> *) (InsertBySym1 a6989586621679796329) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796329 (TyFun a6989586621679796329 Ordering -> Type) -> Type) -> a6989586621679796329 -> TyFun [a6989586621679796329] [a6989586621679796329] -> *) (InsertBySym2 a6989586621679796329) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796319 (TyFun a6989586621679796319 Bool -> Type) -> Type) -> TyFun [a6989586621679796319] (TyFun [a6989586621679796319] [a6989586621679796319] -> Type) -> *) (IntersectBySym1 a6989586621679796319) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796319 (TyFun a6989586621679796319 Bool -> Type) -> Type) -> [a6989586621679796319] -> TyFun [a6989586621679796319] [a6989586621679796319] -> *) (IntersectBySym2 a6989586621679796319) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796325 Bool -> Type) -> TyFun [a6989586621679796325] (Maybe a6989586621679796325) -> *) (FindSym1 a6989586621679796325) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796326 Bool -> Type) -> TyFun [a6989586621679796326] [a6989586621679796326] -> *) (FilterSym1 a6989586621679796326) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796318 Bool -> Type) -> TyFun [a6989586621679796318] [a6989586621679796318] -> *) (TakeWhileSym1 a6989586621679796318) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796317 Bool -> Type) -> TyFun [a6989586621679796317] [a6989586621679796317] -> *) (DropWhileSym1 a6989586621679796317) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796305 (TyFun a6989586621679796305 Bool -> Type) -> Type) -> TyFun [a6989586621679796305] [[a6989586621679796305]] -> *) (GroupBySym1 a6989586621679796305) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796315 Bool -> Type) -> TyFun [a6989586621679796315] ([a6989586621679796315], [a6989586621679796315]) -> *) (SpanSym1 a6989586621679796315) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796314 Bool -> Type) -> TyFun [a6989586621679796314] ([a6989586621679796314], [a6989586621679796314]) -> *) (BreakSym1 a6989586621679796314) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796302 Bool -> Type) -> TyFun [a6989586621679796302] ([a6989586621679796302], [a6989586621679796302]) -> *) (PartitionSym1 a6989586621679796302) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796293 (TyFun a6989586621679796293 Bool -> Type) -> Type) -> TyFun [a6989586621679796293] [a6989586621679796293] -> *) (NubBySym1 a6989586621679796293) # | |
SuppressUnusedWarnings ((TyFun a6989586621680073211 Bool -> Type) -> TyFun (TyFun a6989586621680073211 a6989586621680073211 -> Type) (TyFun a6989586621680073211 a6989586621680073211 -> Type) -> *) (UntilSym1 a6989586621680073211) # | |
SuppressUnusedWarnings ((TyFun a6989586621680073211 Bool -> Type) -> (TyFun a6989586621680073211 a6989586621680073211 -> Type) -> TyFun a6989586621680073211 a6989586621680073211 -> *) (UntilSym2 a6989586621680073211) # | |
SuppressUnusedWarnings ([a6989586621679550102] -> TyFun [a6989586621679550102] [a6989586621679550102] -> *) ((:++$$) a6989586621679550102) # | |
SuppressUnusedWarnings ([a6989586621679796377] -> TyFun [a6989586621679796377] Bool -> *) (IsSuffixOfSym1 a6989586621679796377) # | |
SuppressUnusedWarnings ([a6989586621679796408] -> TyFun [[a6989586621679796408]] [a6989586621679796408] -> *) (IntercalateSym1 a6989586621679796408) # | |
SuppressUnusedWarnings ([a6989586621679796376] -> TyFun [a6989586621679796376] Bool -> *) (IsInfixOfSym1 a6989586621679796376) # | |
SuppressUnusedWarnings ([a6989586621679796378] -> TyFun [a6989586621679796378] Bool -> *) (IsPrefixOfSym1 a6989586621679796378) # | |
SuppressUnusedWarnings ([a6989586621679796333] -> TyFun [a6989586621679796333] [a6989586621679796333] -> *) ((:\\$$) a6989586621679796333) # | |
SuppressUnusedWarnings ([a6989586621679796290] -> TyFun [a6989586621679796290] [a6989586621679796290] -> *) (UnionSym1 a6989586621679796290) # | |
SuppressUnusedWarnings ([a6989586621679796320] -> TyFun [a6989586621679796320] [a6989586621679796320] -> *) (IntersectSym1 a6989586621679796320) # | |
SuppressUnusedWarnings ([a6989586621679796295] -> TyFun Nat a6989586621679796295 -> *) ((:!!$$) a6989586621679796295) # | |
SuppressUnusedWarnings ([a6989586621680051561] -> TyFun [a6989586621680051561] (Maybe [a6989586621680051561]) -> *) (StripPrefixSym1 a6989586621680051561) # | |
SuppressUnusedWarnings (Nat -> TyFun [a6989586621679796311] ([a6989586621679796311], [a6989586621679796311]) -> *) (SplitAtSym1 a6989586621679796311) # | |
SuppressUnusedWarnings (Nat -> TyFun [a6989586621679796313] [a6989586621679796313] -> *) (TakeSym1 a6989586621679796313) # | |
SuppressUnusedWarnings (Nat -> TyFun [a6989586621679796312] [a6989586621679796312] -> *) (DropSym1 a6989586621679796312) # | |
SuppressUnusedWarnings (Nat -> TyFun a6989586621679796297 [a6989586621679796297] -> *) (ReplicateSym1 a6989586621679796297) # | |
SuppressUnusedWarnings (a3530822107858468866 -> TyFun [a3530822107858468866] [a3530822107858468866] -> *) ((:$$) a3530822107858468866) # | |
SuppressUnusedWarnings (a6989586621679545776 -> TyFun a6989586621679545776 (TyFun Bool a6989586621679545776 -> Type) -> *) (Bool_Sym1 a6989586621679545776) # | |
SuppressUnusedWarnings (a6989586621679545776 -> a6989586621679545776 -> TyFun Bool a6989586621679545776 -> *) (Bool_Sym2 a6989586621679545776) # | |
SuppressUnusedWarnings (a6989586621679550092 -> TyFun a6989586621679550092 a6989586621679550092 -> *) (AsTypeOfSym1 a6989586621679550092) # | |
SuppressUnusedWarnings (a6989586621679561203 -> TyFun a6989586621679561203 Bool -> *) ((:/=$$) a6989586621679561203) # | |
SuppressUnusedWarnings (a6989586621679561203 -> TyFun a6989586621679561203 Bool -> *) ((:==$$) a6989586621679561203) # | |
SuppressUnusedWarnings (a6989586621679586420 -> TyFun a6989586621679586420 a6989586621679586420 -> *) (MinSym1 a6989586621679586420) # | |
SuppressUnusedWarnings (a6989586621679586420 -> TyFun a6989586621679586420 a6989586621679586420 -> *) (MaxSym1 a6989586621679586420) # | |
SuppressUnusedWarnings (a6989586621679586420 -> TyFun a6989586621679586420 Bool -> *) ((:>=$$) a6989586621679586420) # | |
SuppressUnusedWarnings (a6989586621679586420 -> TyFun a6989586621679586420 Bool -> *) ((:>$$) a6989586621679586420) # | |
SuppressUnusedWarnings (a6989586621679586420 -> TyFun a6989586621679586420 Bool -> *) ((:<=$$) a6989586621679586420) # | |
SuppressUnusedWarnings (a6989586621679586420 -> TyFun a6989586621679586420 Bool -> *) ((:<$$) a6989586621679586420) # | |
SuppressUnusedWarnings (a6989586621679586420 -> TyFun a6989586621679586420 Ordering -> *) (CompareSym1 a6989586621679586420) # | |
SuppressUnusedWarnings (a6989586621679685236 -> TyFun a6989586621679685236 a6989586621679685236 -> *) ((:*$$) a6989586621679685236) # | |
SuppressUnusedWarnings (a6989586621679685236 -> TyFun a6989586621679685236 a6989586621679685236 -> *) ((:-$$) a6989586621679685236) # | |
SuppressUnusedWarnings (a6989586621679685236 -> TyFun a6989586621679685236 a6989586621679685236 -> *) ((:+$$) a6989586621679685236) # | |
SuppressUnusedWarnings (a6989586621679687552 -> TyFun a6989586621679687552 a6989586621679687552 -> *) (SubtractSym1 a6989586621679687552) # | |
SuppressUnusedWarnings (a6989586621679697496 -> TyFun a6989586621679697496 (TyFun a6989586621679697496 [a6989586621679697496] -> Type) -> *) (EnumFromThenToSym1 a6989586621679697496) # | |
SuppressUnusedWarnings (a6989586621679697496 -> a6989586621679697496 -> TyFun a6989586621679697496 [a6989586621679697496] -> *) (EnumFromThenToSym2 a6989586621679697496) # | |
SuppressUnusedWarnings (a6989586621679697496 -> TyFun a6989586621679697496 [a6989586621679697496] -> *) (EnumFromToSym1 a6989586621679697496) # | |
SuppressUnusedWarnings (a6989586621679771947 -> TyFun (Maybe a6989586621679771947) a6989586621679771947 -> *) (FromMaybeSym1 a6989586621679771947) # | |
SuppressUnusedWarnings (a6989586621679796409 -> TyFun [a6989586621679796409] [a6989586621679796409] -> *) (IntersperseSym1 a6989586621679796409) # | |
SuppressUnusedWarnings (a6989586621679796375 -> TyFun [a6989586621679796375] Bool -> *) (ElemSym1 a6989586621679796375) # | |
SuppressUnusedWarnings (a6989586621679796374 -> TyFun [a6989586621679796374] Bool -> *) (NotElemSym1 a6989586621679796374) # | |
SuppressUnusedWarnings (a6989586621679796324 -> TyFun [a6989586621679796324] (Maybe Nat) -> *) (ElemIndexSym1 a6989586621679796324) # | |
SuppressUnusedWarnings (a6989586621679796323 -> TyFun [a6989586621679796323] [Nat] -> *) (ElemIndicesSym1 a6989586621679796323) # | |
SuppressUnusedWarnings (a6989586621679796334 -> TyFun [a6989586621679796334] [a6989586621679796334] -> *) (DeleteSym1 a6989586621679796334) # | |
SuppressUnusedWarnings (a6989586621679796307 -> TyFun [a6989586621679796307] [a6989586621679796307] -> *) (InsertSym1 a6989586621679796307) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679785711 Bool -> Type) (TyFun [a6989586621679785711] Bool -> Type) -> *) (Any_Sym0 a6989586621679785711) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796316 Bool -> Type) (TyFun [a6989586621679796316] [a6989586621679796316] -> Type) -> *) (DropWhileEndSym0 a6989586621679796316) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796400 (TyFun a6989586621679796400 a6989586621679796400 -> Type) -> Type) (TyFun [a6989586621679796400] a6989586621679796400 -> Type) -> *) (Foldl1'Sym0 a6989586621679796400) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796327 (TyFun a6989586621679796327 Ordering -> Type) -> Type) (TyFun [a6989586621679796327] a6989586621679796327 -> Type) -> *) (MinimumBySym0 a6989586621679796327) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796328 (TyFun a6989586621679796328 Ordering -> Type) -> Type) (TyFun [a6989586621679796328] a6989586621679796328 -> Type) -> *) (MaximumBySym0 a6989586621679796328) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796401 (TyFun a6989586621679796401 a6989586621679796401 -> Type) -> Type) (TyFun [a6989586621679796401] a6989586621679796401 -> Type) -> *) (Foldl1Sym0 a6989586621679796401) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796399 (TyFun a6989586621679796399 a6989586621679796399 -> Type) -> Type) (TyFun [a6989586621679796399] a6989586621679796399 -> Type) -> *) (Foldr1Sym0 a6989586621679796399) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796395 Bool -> Type) (TyFun [a6989586621679796395] Bool -> Type) -> *) (AllSym0 a6989586621679796395) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796392 (TyFun a6989586621679796392 a6989586621679796392 -> Type) -> Type) (TyFun [a6989586621679796392] [a6989586621679796392] -> Type) -> *) (Scanl1Sym0 a6989586621679796392) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796389 (TyFun a6989586621679796389 a6989586621679796389 -> Type) -> Type) (TyFun [a6989586621679796389] [a6989586621679796389] -> Type) -> *) (Scanr1Sym0 a6989586621679796389) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796322 Bool -> Type) (TyFun [a6989586621679796322] (Maybe Nat) -> Type) -> *) (FindIndexSym0 a6989586621679796322) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796321 Bool -> Type) (TyFun [a6989586621679796321] [Nat] -> Type) -> *) (FindIndicesSym0 a6989586621679796321) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796291 (TyFun a6989586621679796291 Bool -> Type) -> Type) (TyFun [a6989586621679796291] (TyFun [a6989586621679796291] [a6989586621679796291] -> Type) -> Type) -> *) (UnionBySym0 a6989586621679796291) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796331 (TyFun a6989586621679796331 Bool -> Type) -> Type) (TyFun [a6989586621679796331] (TyFun [a6989586621679796331] [a6989586621679796331] -> Type) -> Type) -> *) (DeleteFirstsBySym0 a6989586621679796331) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796332 (TyFun a6989586621679796332 Bool -> Type) -> Type) (TyFun a6989586621679796332 (TyFun [a6989586621679796332] [a6989586621679796332] -> Type) -> Type) -> *) (DeleteBySym0 a6989586621679796332) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796330 (TyFun a6989586621679796330 Ordering -> Type) -> Type) (TyFun [a6989586621679796330] [a6989586621679796330] -> Type) -> *) (SortBySym0 a6989586621679796330) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796329 (TyFun a6989586621679796329 Ordering -> Type) -> Type) (TyFun a6989586621679796329 (TyFun [a6989586621679796329] [a6989586621679796329] -> Type) -> Type) -> *) (InsertBySym0 a6989586621679796329) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796319 (TyFun a6989586621679796319 Bool -> Type) -> Type) (TyFun [a6989586621679796319] (TyFun [a6989586621679796319] [a6989586621679796319] -> Type) -> Type) -> *) (IntersectBySym0 a6989586621679796319) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796325 Bool -> Type) (TyFun [a6989586621679796325] (Maybe a6989586621679796325) -> Type) -> *) (FindSym0 a6989586621679796325) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796326 Bool -> Type) (TyFun [a6989586621679796326] [a6989586621679796326] -> Type) -> *) (FilterSym0 a6989586621679796326) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796318 Bool -> Type) (TyFun [a6989586621679796318] [a6989586621679796318] -> Type) -> *) (TakeWhileSym0 a6989586621679796318) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796317 Bool -> Type) (TyFun [a6989586621679796317] [a6989586621679796317] -> Type) -> *) (DropWhileSym0 a6989586621679796317) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796305 (TyFun a6989586621679796305 Bool -> Type) -> Type) (TyFun [a6989586621679796305] [[a6989586621679796305]] -> Type) -> *) (GroupBySym0 a6989586621679796305) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796315 Bool -> Type) (TyFun [a6989586621679796315] ([a6989586621679796315], [a6989586621679796315]) -> Type) -> *) (SpanSym0 a6989586621679796315) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796314 Bool -> Type) (TyFun [a6989586621679796314] ([a6989586621679796314], [a6989586621679796314]) -> Type) -> *) (BreakSym0 a6989586621679796314) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796302 Bool -> Type) (TyFun [a6989586621679796302] ([a6989586621679796302], [a6989586621679796302]) -> Type) -> *) (PartitionSym0 a6989586621679796302) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796293 (TyFun a6989586621679796293 Bool -> Type) -> Type) (TyFun [a6989586621679796293] [a6989586621679796293] -> Type) -> *) (NubBySym0 a6989586621679796293) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621680073211 Bool -> Type) (TyFun (TyFun a6989586621680073211 a6989586621680073211 -> Type) (TyFun a6989586621680073211 a6989586621680073211 -> Type) -> Type) -> *) (UntilSym0 a6989586621680073211) # | |
SuppressUnusedWarnings (TyFun [[a6989586621679796296]] [[a6989586621679796296]] -> *) (TransposeSym0 a6989586621679796296) # | |
SuppressUnusedWarnings (TyFun [[a6989586621679796398]] [a6989586621679796398] -> *) (ConcatSym0 a6989586621679796398) # | |
SuppressUnusedWarnings (TyFun [Maybe a6989586621679771944] [a6989586621679771944] -> *) (CatMaybesSym0 a6989586621679771944) # | |
SuppressUnusedWarnings (TyFun [a6989586621679550102] (TyFun [a6989586621679550102] [a6989586621679550102] -> Type) -> *) ((:++$) a6989586621679550102) # | |
SuppressUnusedWarnings (TyFun [a6989586621679771945] (Maybe a6989586621679771945) -> *) (ListToMaybeSym0 a6989586621679771945) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796415] a6989586621679796415 -> *) (HeadSym0 a6989586621679796415) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796414] a6989586621679796414 -> *) (LastSym0 a6989586621679796414) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796413] [a6989586621679796413] -> *) (TailSym0 a6989586621679796413) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796412] [a6989586621679796412] -> *) (InitSym0 a6989586621679796412) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796411] Bool -> *) (NullSym0 a6989586621679796411) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796377] (TyFun [a6989586621679796377] Bool -> Type) -> *) (IsSuffixOfSym0 a6989586621679796377) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796410] [a6989586621679796410] -> *) (ReverseSym0 a6989586621679796410) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796408] (TyFun [[a6989586621679796408]] [a6989586621679796408] -> Type) -> *) (IntercalateSym0 a6989586621679796408) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796407] [[a6989586621679796407]] -> *) (SubsequencesSym0 a6989586621679796407) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796404] [[a6989586621679796404]] -> *) (PermutationsSym0 a6989586621679796404) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796308] a6989586621679796308 -> *) (MinimumSym0 a6989586621679796308) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796309] a6989586621679796309 -> *) (MaximumSym0 a6989586621679796309) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796380] [[a6989586621679796380]] -> *) (InitsSym0 a6989586621679796380) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796376] (TyFun [a6989586621679796376] Bool -> Type) -> *) (IsInfixOfSym0 a6989586621679796376) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796379] [[a6989586621679796379]] -> *) (TailsSym0 a6989586621679796379) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796378] (TyFun [a6989586621679796378] Bool -> Type) -> *) (IsPrefixOfSym0 a6989586621679796378) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796294] [a6989586621679796294] -> *) (NubSym0 a6989586621679796294) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796333] (TyFun [a6989586621679796333] [a6989586621679796333] -> Type) -> *) ((:\\$) a6989586621679796333) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796290] (TyFun [a6989586621679796290] [a6989586621679796290] -> Type) -> *) (UnionSym0 a6989586621679796290) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796306] [a6989586621679796306] -> *) (SortSym0 a6989586621679796306) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796320] (TyFun [a6989586621679796320] [a6989586621679796320] -> Type) -> *) (IntersectSym0 a6989586621679796320) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796310] [[a6989586621679796310]] -> *) (GroupSym0 a6989586621679796310) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796300] a6989586621679796300 -> *) (SumSym0 a6989586621679796300) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796299] a6989586621679796299 -> *) (ProductSym0 a6989586621679796299) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796298] Nat -> *) (LengthSym0 a6989586621679796298) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796295] (TyFun Nat a6989586621679796295 -> Type) -> *) ((:!!$) a6989586621679796295) # | |
SuppressUnusedWarnings (TyFun [a6989586621680051561] (TyFun [a6989586621680051561] (Maybe [a6989586621680051561]) -> Type) -> *) (StripPrefixSym0 a6989586621680051561) # | |
SuppressUnusedWarnings (TyFun (Maybe a6989586621679771950) Bool -> *) (IsJustSym0 a6989586621679771950) # | |
SuppressUnusedWarnings (TyFun (Maybe a6989586621679771949) Bool -> *) (IsNothingSym0 a6989586621679771949) # | |
SuppressUnusedWarnings (TyFun (Maybe a6989586621679771948) a6989586621679771948 -> *) (FromJustSym0 a6989586621679771948) # | |
SuppressUnusedWarnings (TyFun (Maybe a6989586621679771946) [a6989586621679771946] -> *) (MaybeToListSym0 a6989586621679771946) # | |
SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679796311] ([a6989586621679796311], [a6989586621679796311]) -> Type) -> *) (SplitAtSym0 a6989586621679796311) # | |
SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679796313] [a6989586621679796313] -> Type) -> *) (TakeSym0 a6989586621679796313) # | |
SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679796312] [a6989586621679796312] -> Type) -> *) (DropSym0 a6989586621679796312) # | |
SuppressUnusedWarnings (TyFun Nat (TyFun a6989586621679796297 [a6989586621679796297] -> Type) -> *) (ReplicateSym0 a6989586621679796297) # | |
SuppressUnusedWarnings (TyFun Nat a6989586621679685236 -> *) (FromIntegerSym0 a6989586621679685236) # | |
SuppressUnusedWarnings (TyFun Nat a6989586621679697496 -> *) (ToEnumSym0 a6989586621679697496) # | |
SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun [a3530822107858468866] [a3530822107858468866] -> Type) -> *) ((:$) a3530822107858468866) # | |
SuppressUnusedWarnings (TyFun a3530822107858468866 (Maybe a3530822107858468866) -> *) (JustSym0 a3530822107858468866) # | |
SuppressUnusedWarnings (TyFun a6989586621679545776 (TyFun a6989586621679545776 (TyFun Bool a6989586621679545776 -> Type) -> Type) -> *) (Bool_Sym0 a6989586621679545776) # | |
SuppressUnusedWarnings (TyFun a6989586621679550101 a6989586621679550101 -> *) (IdSym0 a6989586621679550101) # | |
SuppressUnusedWarnings (TyFun a6989586621679550092 (TyFun a6989586621679550092 a6989586621679550092 -> Type) -> *) (AsTypeOfSym0 a6989586621679550092) # | |
SuppressUnusedWarnings (TyFun a6989586621679561203 (TyFun a6989586621679561203 Bool -> Type) -> *) ((:/=$) a6989586621679561203) # | |
SuppressUnusedWarnings (TyFun a6989586621679561203 (TyFun a6989586621679561203 Bool -> Type) -> *) ((:==$) a6989586621679561203) # | |
SuppressUnusedWarnings (TyFun a6989586621679586420 (TyFun a6989586621679586420 a6989586621679586420 -> Type) -> *) (MinSym0 a6989586621679586420) # | |
SuppressUnusedWarnings (TyFun a6989586621679586420 (TyFun a6989586621679586420 a6989586621679586420 -> Type) -> *) (MaxSym0 a6989586621679586420) # | |
SuppressUnusedWarnings (TyFun a6989586621679586420 (TyFun a6989586621679586420 Bool -> Type) -> *) ((:>=$) a6989586621679586420) # | |
SuppressUnusedWarnings (TyFun a6989586621679586420 (TyFun a6989586621679586420 Bool -> Type) -> *) ((:>$) a6989586621679586420) # | |
SuppressUnusedWarnings (TyFun a6989586621679586420 (TyFun a6989586621679586420 Bool -> Type) -> *) ((:<=$) a6989586621679586420) # | |
SuppressUnusedWarnings (TyFun a6989586621679586420 (TyFun a6989586621679586420 Bool -> Type) -> *) ((:<$) a6989586621679586420) # | |
SuppressUnusedWarnings (TyFun a6989586621679586420 (TyFun a6989586621679586420 Ordering -> Type) -> *) (CompareSym0 a6989586621679586420) # | |
SuppressUnusedWarnings (TyFun a6989586621679685236 a6989586621679685236 -> *) (SignumSym0 a6989586621679685236) # | |
SuppressUnusedWarnings (TyFun a6989586621679685236 a6989586621679685236 -> *) (AbsSym0 a6989586621679685236) # | |
SuppressUnusedWarnings (TyFun a6989586621679685236 a6989586621679685236 -> *) (NegateSym0 a6989586621679685236) # | |
SuppressUnusedWarnings (TyFun a6989586621679685236 (TyFun a6989586621679685236 a6989586621679685236 -> Type) -> *) ((:*$) a6989586621679685236) # | |
SuppressUnusedWarnings (TyFun a6989586621679685236 (TyFun a6989586621679685236 a6989586621679685236 -> Type) -> *) ((:-$) a6989586621679685236) # | |
SuppressUnusedWarnings (TyFun a6989586621679685236 (TyFun a6989586621679685236 a6989586621679685236 -> Type) -> *) ((:+$) a6989586621679685236) # | |
SuppressUnusedWarnings (TyFun a6989586621679687552 (TyFun a6989586621679687552 a6989586621679687552 -> Type) -> *) (SubtractSym0 a6989586621679687552) # | |
SuppressUnusedWarnings (TyFun a6989586621679697496 (TyFun a6989586621679697496 (TyFun a6989586621679697496 [a6989586621679697496] -> Type) -> Type) -> *) (EnumFromThenToSym0 a6989586621679697496) # | |
SuppressUnusedWarnings (TyFun a6989586621679697496 (TyFun a6989586621679697496 [a6989586621679697496] -> Type) -> *) (EnumFromToSym0 a6989586621679697496) # | |
SuppressUnusedWarnings (TyFun a6989586621679697496 Nat -> *) (FromEnumSym0 a6989586621679697496) # | |
SuppressUnusedWarnings (TyFun a6989586621679697496 a6989586621679697496 -> *) (PredSym0 a6989586621679697496) # | |
SuppressUnusedWarnings (TyFun a6989586621679697496 a6989586621679697496 -> *) (SuccSym0 a6989586621679697496) # | |
SuppressUnusedWarnings (TyFun a6989586621679771947 (TyFun (Maybe a6989586621679771947) a6989586621679771947 -> Type) -> *) (FromMaybeSym0 a6989586621679771947) # | |
SuppressUnusedWarnings (TyFun a6989586621679796409 (TyFun [a6989586621679796409] [a6989586621679796409] -> Type) -> *) (IntersperseSym0 a6989586621679796409) # | |
SuppressUnusedWarnings (TyFun a6989586621679796375 (TyFun [a6989586621679796375] Bool -> Type) -> *) (ElemSym0 a6989586621679796375) # | |
SuppressUnusedWarnings (TyFun a6989586621679796374 (TyFun [a6989586621679796374] Bool -> Type) -> *) (NotElemSym0 a6989586621679796374) # | |
SuppressUnusedWarnings (TyFun a6989586621679796324 (TyFun [a6989586621679796324] (Maybe Nat) -> Type) -> *) (ElemIndexSym0 a6989586621679796324) # | |
SuppressUnusedWarnings (TyFun a6989586621679796323 (TyFun [a6989586621679796323] [Nat] -> Type) -> *) (ElemIndicesSym0 a6989586621679796323) # | |
SuppressUnusedWarnings (TyFun a6989586621679796334 (TyFun [a6989586621679796334] [a6989586621679796334] -> Type) -> *) (DeleteSym0 a6989586621679796334) # | |
SuppressUnusedWarnings (TyFun a6989586621679796307 (TyFun [a6989586621679796307] [a6989586621679796307] -> Type) -> *) (InsertSym0 a6989586621679796307) # | |
SuppressUnusedWarnings ((TyFun b6989586621679509136 (TyFun a6989586621679509135 b6989586621679509136 -> Type) -> Type) -> TyFun b6989586621679509136 (TyFun [a6989586621679509135] b6989586621679509136 -> Type) -> *) (FoldlSym1 a6989586621679509135 b6989586621679509136) # | |
SuppressUnusedWarnings ((TyFun b6989586621679509136 (TyFun a6989586621679509135 b6989586621679509136 -> Type) -> Type) -> b6989586621679509136 -> TyFun [a6989586621679509135] b6989586621679509136 -> *) (FoldlSym2 a6989586621679509135 b6989586621679509136) # | |
SuppressUnusedWarnings ((TyFun a6989586621679550105 (TyFun b6989586621679550106 b6989586621679550106 -> Type) -> Type) -> TyFun b6989586621679550106 (TyFun [a6989586621679550105] b6989586621679550106 -> Type) -> *) (FoldrSym1 a6989586621679550105 b6989586621679550106) # | |
SuppressUnusedWarnings ((TyFun a6989586621679550105 (TyFun b6989586621679550106 b6989586621679550106 -> Type) -> Type) -> b6989586621679550106 -> TyFun [a6989586621679550105] b6989586621679550106 -> *) (FoldrSym2 a6989586621679550105 b6989586621679550106) # | |
SuppressUnusedWarnings ((TyFun a6989586621679550103 b6989586621679550104 -> Type) -> TyFun [a6989586621679550103] [b6989586621679550104] -> *) (MapSym1 a6989586621679550103 b6989586621679550104) # | |
SuppressUnusedWarnings ((TyFun a6989586621679771942 (Maybe b6989586621679771943) -> Type) -> TyFun [a6989586621679771942] [b6989586621679771943] -> *) (MapMaybeSym1 a6989586621679771942 b6989586621679771943) # | |
SuppressUnusedWarnings ((TyFun b6989586621679796403 (TyFun a6989586621679796402 b6989586621679796403 -> Type) -> Type) -> TyFun b6989586621679796403 (TyFun [a6989586621679796402] b6989586621679796403 -> Type) -> *) (Foldl'Sym1 a6989586621679796402 b6989586621679796403) # | |
SuppressUnusedWarnings ((TyFun b6989586621679796403 (TyFun a6989586621679796402 b6989586621679796403 -> Type) -> Type) -> b6989586621679796403 -> TyFun [a6989586621679796402] b6989586621679796403 -> *) (Foldl'Sym2 a6989586621679796402 b6989586621679796403) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796396 [b6989586621679796397] -> Type) -> TyFun [a6989586621679796396] [b6989586621679796397] -> *) (ConcatMapSym1 a6989586621679796396 b6989586621679796397) # | |
SuppressUnusedWarnings ((TyFun b6989586621679796393 (TyFun a6989586621679796394 b6989586621679796393 -> Type) -> Type) -> TyFun b6989586621679796393 (TyFun [a6989586621679796394] [b6989586621679796393] -> Type) -> *) (ScanlSym1 a6989586621679796394 b6989586621679796393) # | |
SuppressUnusedWarnings ((TyFun b6989586621679796393 (TyFun a6989586621679796394 b6989586621679796393 -> Type) -> Type) -> b6989586621679796393 -> TyFun [a6989586621679796394] [b6989586621679796393] -> *) (ScanlSym2 a6989586621679796394 b6989586621679796393) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796390 (TyFun b6989586621679796391 b6989586621679796391 -> Type) -> Type) -> TyFun b6989586621679796391 (TyFun [a6989586621679796390] [b6989586621679796391] -> Type) -> *) (ScanrSym1 a6989586621679796390 b6989586621679796391) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796390 (TyFun b6989586621679796391 b6989586621679796391 -> Type) -> Type) -> b6989586621679796391 -> TyFun [a6989586621679796390] [b6989586621679796391] -> *) (ScanrSym2 a6989586621679796390 b6989586621679796391) # | |
SuppressUnusedWarnings ((TyFun b6989586621679796381 (Maybe (a6989586621679796382, b6989586621679796381)) -> Type) -> TyFun b6989586621679796381 [a6989586621679796382] -> *) (UnfoldrSym1 a6989586621679796382 b6989586621679796381) # | |
SuppressUnusedWarnings ([a6989586621679796372] -> TyFun [b6989586621679796373] [(a6989586621679796372, b6989586621679796373)] -> *) (ZipSym1 b6989586621679796373 a6989586621679796372) # | |
SuppressUnusedWarnings ([a6989586621680051506] -> TyFun i6989586621680051505 a6989586621680051506 -> *) (GenericIndexSym1 i6989586621680051505 a6989586621680051506) # | |
SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (a3530822107858468866, b3530822107858468867) -> *) (Tuple2Sym1 b3530822107858468867 a3530822107858468866) # | |
SuppressUnusedWarnings (a6989586621679550099 -> TyFun b6989586621679550100 a6989586621679550099 -> *) (ConstSym1 b6989586621679550100 a6989586621679550099) # | |
SuppressUnusedWarnings (a6989586621679550090 -> TyFun b6989586621679550091 b6989586621679550091 -> *) (SeqSym1 b6989586621679550091 a6989586621679550090) # | |
SuppressUnusedWarnings (b6989586621679770696 -> TyFun (TyFun a6989586621679770697 b6989586621679770696 -> Type) (TyFun (Maybe a6989586621679770697) b6989586621679770696 -> Type) -> *) (Maybe_Sym1 a6989586621679770697 b6989586621679770696) # | |
SuppressUnusedWarnings (b6989586621679770696 -> (TyFun a6989586621679770697 b6989586621679770696 -> Type) -> TyFun (Maybe a6989586621679770697) b6989586621679770696 -> *) (Maybe_Sym2 a6989586621679770697 b6989586621679770696) # | |
SuppressUnusedWarnings (a6989586621679796303 -> TyFun [(a6989586621679796303, b6989586621679796304)] (Maybe b6989586621679796304) -> *) (LookupSym1 b6989586621679796304 a6989586621679796303) # | |
SuppressUnusedWarnings (i6989586621680051511 -> TyFun [a6989586621680051512] [a6989586621680051512] -> *) (GenericTakeSym1 a6989586621680051512 i6989586621680051511) # | |
SuppressUnusedWarnings (i6989586621680051509 -> TyFun [a6989586621680051510] [a6989586621680051510] -> *) (GenericDropSym1 a6989586621680051510 i6989586621680051509) # | |
SuppressUnusedWarnings (i6989586621680051507 -> TyFun [a6989586621680051508] ([a6989586621680051508], [a6989586621680051508]) -> *) (GenericSplitAtSym1 a6989586621680051508 i6989586621680051507) # | |
SuppressUnusedWarnings (i6989586621680051503 -> TyFun a6989586621680051504 [a6989586621680051504] -> *) (GenericReplicateSym1 a6989586621680051504 i6989586621680051503) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679509136 (TyFun a6989586621679509135 b6989586621679509136 -> Type) -> Type) (TyFun b6989586621679509136 (TyFun [a6989586621679509135] b6989586621679509136 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679509135 b6989586621679509136) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679550105 (TyFun b6989586621679550106 b6989586621679550106 -> Type) -> Type) (TyFun b6989586621679550106 (TyFun [a6989586621679550105] b6989586621679550106 -> Type) -> Type) -> *) (FoldrSym0 a6989586621679550105 b6989586621679550106) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679550103 b6989586621679550104 -> Type) (TyFun [a6989586621679550103] [b6989586621679550104] -> Type) -> *) (MapSym0 a6989586621679550103 b6989586621679550104) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679771942 (Maybe b6989586621679771943) -> Type) (TyFun [a6989586621679771942] [b6989586621679771943] -> Type) -> *) (MapMaybeSym0 a6989586621679771942 b6989586621679771943) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679796403 (TyFun a6989586621679796402 b6989586621679796403 -> Type) -> Type) (TyFun b6989586621679796403 (TyFun [a6989586621679796402] b6989586621679796403 -> Type) -> Type) -> *) (Foldl'Sym0 a6989586621679796402 b6989586621679796403) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796396 [b6989586621679796397] -> Type) (TyFun [a6989586621679796396] [b6989586621679796397] -> Type) -> *) (ConcatMapSym0 a6989586621679796396 b6989586621679796397) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679796393 (TyFun a6989586621679796394 b6989586621679796393 -> Type) -> Type) (TyFun b6989586621679796393 (TyFun [a6989586621679796394] [b6989586621679796393] -> Type) -> Type) -> *) (ScanlSym0 a6989586621679796394 b6989586621679796393) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796390 (TyFun b6989586621679796391 b6989586621679796391 -> Type) -> Type) (TyFun b6989586621679796391 (TyFun [a6989586621679796390] [b6989586621679796391] -> Type) -> Type) -> *) (ScanrSym0 a6989586621679796390 b6989586621679796391) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679796381 (Maybe (a6989586621679796382, b6989586621679796381)) -> Type) (TyFun b6989586621679796381 [a6989586621679796382] -> Type) -> *) (UnfoldrSym0 b6989586621679796381 a6989586621679796382) # | |
SuppressUnusedWarnings (TyFun [Either a6989586621679762510 b6989586621679762511] [a6989586621679762510] -> *) (LeftsSym0 b6989586621679762511 a6989586621679762510) # | |
SuppressUnusedWarnings (TyFun [Either a6989586621679762508 b6989586621679762509] [b6989586621679762509] -> *) (RightsSym0 a6989586621679762508 b6989586621679762509) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679796360, b6989586621679796361)] ([a6989586621679796360], [b6989586621679796361]) -> *) (UnzipSym0 a6989586621679796360 b6989586621679796361) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796372] (TyFun [b6989586621679796373] [(a6989586621679796372, b6989586621679796373)] -> Type) -> *) (ZipSym0 a6989586621679796372 b6989586621679796373) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796289] i6989586621679796288 -> *) (GenericLengthSym0 a6989586621679796289 i6989586621679796288) # | |
SuppressUnusedWarnings (TyFun [a6989586621680051506] (TyFun i6989586621680051505 a6989586621680051506 -> Type) -> *) (GenericIndexSym0 i6989586621680051505 a6989586621680051506) # | |
SuppressUnusedWarnings (TyFun (Either a6989586621679762504 b6989586621679762505) Bool -> *) (IsLeftSym0 a6989586621679762504 b6989586621679762505) # | |
SuppressUnusedWarnings (TyFun (Either a6989586621679762502 b6989586621679762503) Bool -> *) (IsRightSym0 a6989586621679762502 b6989586621679762503) # | |
SuppressUnusedWarnings (TyFun (a6989586621679781816, b6989586621679781817) a6989586621679781816 -> *) (FstSym0 b6989586621679781817 a6989586621679781816) # | |
SuppressUnusedWarnings (TyFun (a6989586621679781814, b6989586621679781815) b6989586621679781815 -> *) (SndSym0 a6989586621679781814 b6989586621679781815) # | |
SuppressUnusedWarnings (TyFun (a6989586621679781806, b6989586621679781807) (b6989586621679781807, a6989586621679781806) -> *) (SwapSym0 b6989586621679781807 a6989586621679781806) # | |
SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (a3530822107858468866, b3530822107858468867) -> Type) -> *) (Tuple2Sym0 a3530822107858468866 b3530822107858468867) # | |
SuppressUnusedWarnings (TyFun b6989586621679054094 (Either a6989586621679054093 b6989586621679054094) -> *) (RightSym0 a6989586621679054093 b6989586621679054094) # | |
SuppressUnusedWarnings (TyFun a6989586621679054093 (Either a6989586621679054093 b6989586621679054094) -> *) (LeftSym0 a6989586621679054093 b6989586621679054094) # | |
SuppressUnusedWarnings (TyFun a6989586621679550099 (TyFun b6989586621679550100 a6989586621679550099 -> Type) -> *) (ConstSym0 b6989586621679550100 a6989586621679550099) # | |
SuppressUnusedWarnings (TyFun a6989586621679550090 (TyFun b6989586621679550091 b6989586621679550091 -> Type) -> *) (SeqSym0 a6989586621679550090 b6989586621679550091) # | |
SuppressUnusedWarnings (TyFun k06989586621679675033 k6989586621679675035 -> *) (ErrorSym0 k06989586621679675033 k6989586621679675035) # | |
SuppressUnusedWarnings (TyFun b6989586621679770696 (TyFun (TyFun a6989586621679770697 b6989586621679770696 -> Type) (TyFun (Maybe a6989586621679770697) b6989586621679770696 -> Type) -> Type) -> *) (Maybe_Sym0 a6989586621679770697 b6989586621679770696) # | |
SuppressUnusedWarnings (TyFun a6989586621679796303 (TyFun [(a6989586621679796303, b6989586621679796304)] (Maybe b6989586621679796304) -> Type) -> *) (LookupSym0 a6989586621679796303 b6989586621679796304) # | |
SuppressUnusedWarnings (TyFun i6989586621680051511 (TyFun [a6989586621680051512] [a6989586621680051512] -> Type) -> *) (GenericTakeSym0 i6989586621680051511 a6989586621680051512) # | |
SuppressUnusedWarnings (TyFun i6989586621680051509 (TyFun [a6989586621680051510] [a6989586621680051510] -> Type) -> *) (GenericDropSym0 i6989586621680051509 a6989586621680051510) # | |
SuppressUnusedWarnings (TyFun i6989586621680051507 (TyFun [a6989586621680051508] ([a6989586621680051508], [a6989586621680051508]) -> Type) -> *) (GenericSplitAtSym0 i6989586621680051507 a6989586621680051508) # | |
SuppressUnusedWarnings (TyFun i6989586621680051503 (TyFun a6989586621680051504 [a6989586621680051504] -> Type) -> *) (GenericReplicateSym0 i6989586621680051503 a6989586621680051504) # | |
SuppressUnusedWarnings ((TyFun (a6989586621679781811, b6989586621679781812) c6989586621679781813 -> Type) -> TyFun a6989586621679781811 (TyFun b6989586621679781812 c6989586621679781813 -> Type) -> *) (CurrySym1 a6989586621679781811 b6989586621679781812 c6989586621679781813) # | |
SuppressUnusedWarnings ((TyFun (a6989586621679781811, b6989586621679781812) c6989586621679781813 -> Type) -> a6989586621679781811 -> TyFun b6989586621679781812 c6989586621679781813 -> *) (CurrySym2 a6989586621679781811 b6989586621679781812 c6989586621679781813) # | |
SuppressUnusedWarnings ((TyFun b6989586621679550096 c6989586621679550097 -> Type) -> TyFun (TyFun a6989586621679550098 b6989586621679550096 -> Type) (TyFun a6989586621679550098 c6989586621679550097 -> Type) -> *) ((:.$$) a6989586621679550098 b6989586621679550096 c6989586621679550097) # | |
SuppressUnusedWarnings ((TyFun b6989586621679550096 c6989586621679550097 -> Type) -> (TyFun a6989586621679550098 b6989586621679550096 -> Type) -> TyFun a6989586621679550098 c6989586621679550097 -> *) ((:.$$$) a6989586621679550098 b6989586621679550096 c6989586621679550097) # | |
SuppressUnusedWarnings ((TyFun a6989586621679550093 (TyFun b6989586621679550094 c6989586621679550095 -> Type) -> Type) -> TyFun b6989586621679550094 (TyFun a6989586621679550093 c6989586621679550095 -> Type) -> *) (FlipSym1 a6989586621679550093 b6989586621679550094 c6989586621679550095) # | |
SuppressUnusedWarnings ((TyFun a6989586621679550093 (TyFun b6989586621679550094 c6989586621679550095 -> Type) -> Type) -> b6989586621679550094 -> TyFun a6989586621679550093 c6989586621679550095 -> *) (FlipSym2 a6989586621679550093 b6989586621679550094 c6989586621679550095) # | |
SuppressUnusedWarnings ((TyFun a6989586621679761240 c6989586621679761241 -> Type) -> TyFun (TyFun b6989586621679761242 c6989586621679761241 -> Type) (TyFun (Either a6989586621679761240 b6989586621679761242) c6989586621679761241 -> Type) -> *) (Either_Sym1 b6989586621679761242 a6989586621679761240 c6989586621679761241) # | |
SuppressUnusedWarnings ((TyFun a6989586621679761240 c6989586621679761241 -> Type) -> (TyFun b6989586621679761242 c6989586621679761241 -> Type) -> TyFun (Either a6989586621679761240 b6989586621679761242) c6989586621679761241 -> *) (Either_Sym2 b6989586621679761242 a6989586621679761240 c6989586621679761241) # | |
SuppressUnusedWarnings ((TyFun a6989586621679781808 (TyFun b6989586621679781809 c6989586621679781810 -> Type) -> Type) -> TyFun (a6989586621679781808, b6989586621679781809) c6989586621679781810 -> *) (UncurrySym1 a6989586621679781808 b6989586621679781809 c6989586621679781810) # | |
SuppressUnusedWarnings ((TyFun acc6989586621679796386 (TyFun x6989586621679796387 (acc6989586621679796386, y6989586621679796388) -> Type) -> Type) -> TyFun acc6989586621679796386 (TyFun [x6989586621679796387] (acc6989586621679796386, [y6989586621679796388]) -> Type) -> *) (MapAccumLSym1 x6989586621679796387 acc6989586621679796386 y6989586621679796388) # | |
SuppressUnusedWarnings ((TyFun acc6989586621679796386 (TyFun x6989586621679796387 (acc6989586621679796386, y6989586621679796388) -> Type) -> Type) -> acc6989586621679796386 -> TyFun [x6989586621679796387] (acc6989586621679796386, [y6989586621679796388]) -> *) (MapAccumLSym2 x6989586621679796387 acc6989586621679796386 y6989586621679796388) # | |
SuppressUnusedWarnings ((TyFun acc6989586621679796383 (TyFun x6989586621679796384 (acc6989586621679796383, y6989586621679796385) -> Type) -> Type) -> TyFun acc6989586621679796383 (TyFun [x6989586621679796384] (acc6989586621679796383, [y6989586621679796385]) -> Type) -> *) (MapAccumRSym1 x6989586621679796384 acc6989586621679796383 y6989586621679796385) # | |
SuppressUnusedWarnings ((TyFun acc6989586621679796383 (TyFun x6989586621679796384 (acc6989586621679796383, y6989586621679796385) -> Type) -> Type) -> acc6989586621679796383 -> TyFun [x6989586621679796384] (acc6989586621679796383, [y6989586621679796385]) -> *) (MapAccumRSym2 x6989586621679796384 acc6989586621679796383 y6989586621679796385) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796366 (TyFun b6989586621679796367 c6989586621679796368 -> Type) -> Type) -> TyFun [a6989586621679796366] (TyFun [b6989586621679796367] [c6989586621679796368] -> Type) -> *) (ZipWithSym1 a6989586621679796366 b6989586621679796367 c6989586621679796368) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796366 (TyFun b6989586621679796367 c6989586621679796368 -> Type) -> Type) -> [a6989586621679796366] -> TyFun [b6989586621679796367] [c6989586621679796368] -> *) (ZipWithSym2 a6989586621679796366 b6989586621679796367 c6989586621679796368) # | |
SuppressUnusedWarnings ([a6989586621679796369] -> TyFun [b6989586621679796370] (TyFun [c6989586621679796371] [(a6989586621679796369, b6989586621679796370, c6989586621679796371)] -> Type) -> *) (Zip3Sym1 b6989586621679796370 c6989586621679796371 a6989586621679796369) # | |
SuppressUnusedWarnings ([a6989586621679796369] -> [b6989586621679796370] -> TyFun [c6989586621679796371] [(a6989586621679796369, b6989586621679796370, c6989586621679796371)] -> *) (Zip3Sym2 c6989586621679796371 b6989586621679796370 a6989586621679796369) # | |
SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> Type) -> *) (Tuple3Sym1 b3530822107858468867 c3530822107858468868 a3530822107858468866) # | |
SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> *) (Tuple3Sym2 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
SuppressUnusedWarnings (TyFun (TyFun (a6989586621679781811, b6989586621679781812) c6989586621679781813 -> Type) (TyFun a6989586621679781811 (TyFun b6989586621679781812 c6989586621679781813 -> Type) -> Type) -> *) (CurrySym0 a6989586621679781811 b6989586621679781812 c6989586621679781813) # | |
SuppressUnusedWarnings (TyFun (TyFun b6989586621679550096 c6989586621679550097 -> Type) (TyFun (TyFun a6989586621679550098 b6989586621679550096 -> Type) (TyFun a6989586621679550098 c6989586621679550097 -> Type) -> Type) -> *) ((:.$) b6989586621679550096 a6989586621679550098 c6989586621679550097) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679550093 (TyFun b6989586621679550094 c6989586621679550095 -> Type) -> Type) (TyFun b6989586621679550094 (TyFun a6989586621679550093 c6989586621679550095 -> Type) -> Type) -> *) (FlipSym0 b6989586621679550094 a6989586621679550093 c6989586621679550095) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679761240 c6989586621679761241 -> Type) (TyFun (TyFun b6989586621679761242 c6989586621679761241 -> Type) (TyFun (Either a6989586621679761240 b6989586621679761242) c6989586621679761241 -> Type) -> Type) -> *) (Either_Sym0 a6989586621679761240 b6989586621679761242 c6989586621679761241) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679781808 (TyFun b6989586621679781809 c6989586621679781810 -> Type) -> Type) (TyFun (a6989586621679781808, b6989586621679781809) c6989586621679781810 -> Type) -> *) (UncurrySym0 a6989586621679781808 b6989586621679781809 c6989586621679781810) # | |
SuppressUnusedWarnings (TyFun (TyFun acc6989586621679796386 (TyFun x6989586621679796387 (acc6989586621679796386, y6989586621679796388) -> Type) -> Type) (TyFun acc6989586621679796386 (TyFun [x6989586621679796387] (acc6989586621679796386, [y6989586621679796388]) -> Type) -> Type) -> *) (MapAccumLSym0 x6989586621679796387 acc6989586621679796386 y6989586621679796388) # | |
SuppressUnusedWarnings (TyFun (TyFun acc6989586621679796383 (TyFun x6989586621679796384 (acc6989586621679796383, y6989586621679796385) -> Type) -> Type) (TyFun acc6989586621679796383 (TyFun [x6989586621679796384] (acc6989586621679796383, [y6989586621679796385]) -> Type) -> Type) -> *) (MapAccumRSym0 x6989586621679796384 acc6989586621679796383 y6989586621679796385) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796366 (TyFun b6989586621679796367 c6989586621679796368 -> Type) -> Type) (TyFun [a6989586621679796366] (TyFun [b6989586621679796367] [c6989586621679796368] -> Type) -> Type) -> *) (ZipWithSym0 a6989586621679796366 b6989586621679796367 c6989586621679796368) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679796357, b6989586621679796358, c6989586621679796359)] ([a6989586621679796357], [b6989586621679796358], [c6989586621679796359]) -> *) (Unzip3Sym0 a6989586621679796357 b6989586621679796358 c6989586621679796359) # | |
SuppressUnusedWarnings (TyFun [a6989586621679796369] (TyFun [b6989586621679796370] (TyFun [c6989586621679796371] [(a6989586621679796369, b6989586621679796370, c6989586621679796371)] -> Type) -> Type) -> *) (Zip3Sym0 a6989586621679796369 b6989586621679796370 c6989586621679796371) # | |
SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> Type) -> Type) -> *) (Tuple3Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796362 (TyFun b6989586621679796363 (TyFun c6989586621679796364 d6989586621679796365 -> Type) -> Type) -> Type) -> TyFun [a6989586621679796362] (TyFun [b6989586621679796363] (TyFun [c6989586621679796364] [d6989586621679796365] -> Type) -> Type) -> *) (ZipWith3Sym1 a6989586621679796362 b6989586621679796363 c6989586621679796364 d6989586621679796365) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796362 (TyFun b6989586621679796363 (TyFun c6989586621679796364 d6989586621679796365 -> Type) -> Type) -> Type) -> [a6989586621679796362] -> TyFun [b6989586621679796363] (TyFun [c6989586621679796364] [d6989586621679796365] -> Type) -> *) (ZipWith3Sym2 a6989586621679796362 b6989586621679796363 c6989586621679796364 d6989586621679796365) # | |
SuppressUnusedWarnings ((TyFun a6989586621679796362 (TyFun b6989586621679796363 (TyFun c6989586621679796364 d6989586621679796365 -> Type) -> Type) -> Type) -> [a6989586621679796362] -> [b6989586621679796363] -> TyFun [c6989586621679796364] [d6989586621679796365] -> *) (ZipWith3Sym3 a6989586621679796362 b6989586621679796363 c6989586621679796364 d6989586621679796365) # | |
SuppressUnusedWarnings ([a6989586621680051557] -> TyFun [b6989586621680051558] (TyFun [c6989586621680051559] (TyFun [d6989586621680051560] [(a6989586621680051557, b6989586621680051558, c6989586621680051559, d6989586621680051560)] -> Type) -> Type) -> *) (Zip4Sym1 b6989586621680051558 c6989586621680051559 d6989586621680051560 a6989586621680051557) # | |
SuppressUnusedWarnings ([a6989586621680051557] -> [b6989586621680051558] -> TyFun [c6989586621680051559] (TyFun [d6989586621680051560] [(a6989586621680051557, b6989586621680051558, c6989586621680051559, d6989586621680051560)] -> Type) -> *) (Zip4Sym2 c6989586621680051559 d6989586621680051560 b6989586621680051558 a6989586621680051557) # | |
SuppressUnusedWarnings ([a6989586621680051557] -> [b6989586621680051558] -> [c6989586621680051559] -> TyFun [d6989586621680051560] [(a6989586621680051557, b6989586621680051558, c6989586621680051559, d6989586621680051560)] -> *) (Zip4Sym3 d6989586621680051560 c6989586621680051559 b6989586621680051558 a6989586621680051557) # | |
SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) -> Type) -> *) (Tuple4Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 a3530822107858468866) # | |
SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> TyFun c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) -> *) (Tuple4Sym2 c3530822107858468868 d3530822107858468869 b3530822107858468867 a3530822107858468866) # | |
SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> *) (Tuple4Sym3 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621679796362 (TyFun b6989586621679796363 (TyFun c6989586621679796364 d6989586621679796365 -> Type) -> Type) -> Type) (TyFun [a6989586621679796362] (TyFun [b6989586621679796363] (TyFun [c6989586621679796364] [d6989586621679796365] -> Type) -> Type) -> Type) -> *) (ZipWith3Sym0 a6989586621679796362 b6989586621679796363 c6989586621679796364 d6989586621679796365) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679796353, b6989586621679796354, c6989586621679796355, d6989586621679796356)] ([a6989586621679796353], [b6989586621679796354], [c6989586621679796355], [d6989586621679796356]) -> *) (Unzip4Sym0 a6989586621679796353 b6989586621679796354 c6989586621679796355 d6989586621679796356) # | |
SuppressUnusedWarnings (TyFun [a6989586621680051557] (TyFun [b6989586621680051558] (TyFun [c6989586621680051559] (TyFun [d6989586621680051560] [(a6989586621680051557, b6989586621680051558, c6989586621680051559, d6989586621680051560)] -> Type) -> Type) -> Type) -> *) (Zip4Sym0 a6989586621680051557 b6989586621680051558 c6989586621680051559 d6989586621680051560) # | |
SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051534 (TyFun b6989586621680051535 (TyFun c6989586621680051536 (TyFun d6989586621680051537 e6989586621680051538 -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621680051534] (TyFun [b6989586621680051535] (TyFun [c6989586621680051536] (TyFun [d6989586621680051537] [e6989586621680051538] -> Type) -> Type) -> Type) -> *) (ZipWith4Sym1 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051534 (TyFun b6989586621680051535 (TyFun c6989586621680051536 (TyFun d6989586621680051537 e6989586621680051538 -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051534] -> TyFun [b6989586621680051535] (TyFun [c6989586621680051536] (TyFun [d6989586621680051537] [e6989586621680051538] -> Type) -> Type) -> *) (ZipWith4Sym2 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051534 (TyFun b6989586621680051535 (TyFun c6989586621680051536 (TyFun d6989586621680051537 e6989586621680051538 -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051534] -> [b6989586621680051535] -> TyFun [c6989586621680051536] (TyFun [d6989586621680051537] [e6989586621680051538] -> Type) -> *) (ZipWith4Sym3 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051534 (TyFun b6989586621680051535 (TyFun c6989586621680051536 (TyFun d6989586621680051537 e6989586621680051538 -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051534] -> [b6989586621680051535] -> [c6989586621680051536] -> TyFun [d6989586621680051537] [e6989586621680051538] -> *) (ZipWith4Sym4 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538) # | |
SuppressUnusedWarnings ([a6989586621680051552] -> TyFun [b6989586621680051553] (TyFun [c6989586621680051554] (TyFun [d6989586621680051555] (TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> Type) -> Type) -> Type) -> *) (Zip5Sym1 b6989586621680051553 c6989586621680051554 d6989586621680051555 e6989586621680051556 a6989586621680051552) # | |
SuppressUnusedWarnings ([a6989586621680051552] -> [b6989586621680051553] -> TyFun [c6989586621680051554] (TyFun [d6989586621680051555] (TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> Type) -> Type) -> *) (Zip5Sym2 c6989586621680051554 d6989586621680051555 e6989586621680051556 b6989586621680051553 a6989586621680051552) # | |
SuppressUnusedWarnings ([a6989586621680051552] -> [b6989586621680051553] -> [c6989586621680051554] -> TyFun [d6989586621680051555] (TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> Type) -> *) (Zip5Sym3 d6989586621680051555 e6989586621680051556 c6989586621680051554 b6989586621680051553 a6989586621680051552) # | |
SuppressUnusedWarnings ([a6989586621680051552] -> [b6989586621680051553] -> [c6989586621680051554] -> [d6989586621680051555] -> TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> *) (Zip5Sym4 e6989586621680051556 d6989586621680051555 c6989586621680051554 b6989586621680051553 a6989586621680051552) # | |
SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) -> Type) -> Type) -> *) (Tuple5Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 a3530822107858468866) # | |
SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) -> Type) -> *) (Tuple5Sym2 c3530822107858468868 d3530822107858468869 e3530822107858468870 b3530822107858468867 a3530822107858468866) # | |
SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> TyFun d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) -> *) (Tuple5Sym3 d3530822107858468869 e3530822107858468870 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> *) (Tuple5Sym4 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621680051534 (TyFun b6989586621680051535 (TyFun c6989586621680051536 (TyFun d6989586621680051537 e6989586621680051538 -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680051534] (TyFun [b6989586621680051535] (TyFun [c6989586621680051536] (TyFun [d6989586621680051537] [e6989586621680051538] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith4Sym0 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679796348, b6989586621679796349, c6989586621679796350, d6989586621679796351, e6989586621679796352)] ([a6989586621679796348], [b6989586621679796349], [c6989586621679796350], [d6989586621679796351], [e6989586621679796352]) -> *) (Unzip5Sym0 a6989586621679796348 b6989586621679796349 c6989586621679796350 d6989586621679796351 e6989586621679796352) # | |
SuppressUnusedWarnings (TyFun [a6989586621680051552] (TyFun [b6989586621680051553] (TyFun [c6989586621680051554] (TyFun [d6989586621680051555] (TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip5Sym0 a6989586621680051552 b6989586621680051553 c6989586621680051554 d6989586621680051555 e6989586621680051556) # | |
SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple5Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051528 (TyFun b6989586621680051529 (TyFun c6989586621680051530 (TyFun d6989586621680051531 (TyFun e6989586621680051532 f6989586621680051533 -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621680051528] (TyFun [b6989586621680051529] (TyFun [c6989586621680051530] (TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith5Sym1 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051528 (TyFun b6989586621680051529 (TyFun c6989586621680051530 (TyFun d6989586621680051531 (TyFun e6989586621680051532 f6989586621680051533 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051528] -> TyFun [b6989586621680051529] (TyFun [c6989586621680051530] (TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> Type) -> Type) -> *) (ZipWith5Sym2 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051528 (TyFun b6989586621680051529 (TyFun c6989586621680051530 (TyFun d6989586621680051531 (TyFun e6989586621680051532 f6989586621680051533 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051528] -> [b6989586621680051529] -> TyFun [c6989586621680051530] (TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> Type) -> *) (ZipWith5Sym3 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051528 (TyFun b6989586621680051529 (TyFun c6989586621680051530 (TyFun d6989586621680051531 (TyFun e6989586621680051532 f6989586621680051533 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051528] -> [b6989586621680051529] -> [c6989586621680051530] -> TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> *) (ZipWith5Sym4 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051528 (TyFun b6989586621680051529 (TyFun c6989586621680051530 (TyFun d6989586621680051531 (TyFun e6989586621680051532 f6989586621680051533 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051528] -> [b6989586621680051529] -> [c6989586621680051530] -> [d6989586621680051531] -> TyFun [e6989586621680051532] [f6989586621680051533] -> *) (ZipWith5Sym5 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533) # | |
SuppressUnusedWarnings ([a6989586621680051546] -> TyFun [b6989586621680051547] (TyFun [c6989586621680051548] (TyFun [d6989586621680051549] (TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip6Sym1 b6989586621680051547 c6989586621680051548 d6989586621680051549 e6989586621680051550 f6989586621680051551 a6989586621680051546) # | |
SuppressUnusedWarnings ([a6989586621680051546] -> [b6989586621680051547] -> TyFun [c6989586621680051548] (TyFun [d6989586621680051549] (TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> Type) -> Type) -> *) (Zip6Sym2 c6989586621680051548 d6989586621680051549 e6989586621680051550 f6989586621680051551 b6989586621680051547 a6989586621680051546) # | |
SuppressUnusedWarnings ([a6989586621680051546] -> [b6989586621680051547] -> [c6989586621680051548] -> TyFun [d6989586621680051549] (TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> Type) -> *) (Zip6Sym3 d6989586621680051549 e6989586621680051550 f6989586621680051551 c6989586621680051548 b6989586621680051547 a6989586621680051546) # | |
SuppressUnusedWarnings ([a6989586621680051546] -> [b6989586621680051547] -> [c6989586621680051548] -> [d6989586621680051549] -> TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> *) (Zip6Sym4 e6989586621680051550 f6989586621680051551 d6989586621680051549 c6989586621680051548 b6989586621680051547 a6989586621680051546) # | |
SuppressUnusedWarnings ([a6989586621680051546] -> [b6989586621680051547] -> [c6989586621680051548] -> [d6989586621680051549] -> [e6989586621680051550] -> TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> *) (Zip6Sym5 f6989586621680051551 e6989586621680051550 d6989586621680051549 c6989586621680051548 b6989586621680051547 a6989586621680051546) # | |
SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 a3530822107858468866) # | |
SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> Type) -> Type) -> *) (Tuple6Sym2 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 b3530822107858468867 a3530822107858468866) # | |
SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> Type) -> *) (Tuple6Sym3 d3530822107858468869 e3530822107858468870 f3530822107858468871 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> *) (Tuple6Sym4 e3530822107858468870 f3530822107858468871 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> e3530822107858468870 -> TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> *) (Tuple6Sym5 f3530822107858468871 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621680051528 (TyFun b6989586621680051529 (TyFun c6989586621680051530 (TyFun d6989586621680051531 (TyFun e6989586621680051532 f6989586621680051533 -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680051528] (TyFun [b6989586621680051529] (TyFun [c6989586621680051530] (TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith5Sym0 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679796342, b6989586621679796343, c6989586621679796344, d6989586621679796345, e6989586621679796346, f6989586621679796347)] ([a6989586621679796342], [b6989586621679796343], [c6989586621679796344], [d6989586621679796345], [e6989586621679796346], [f6989586621679796347]) -> *) (Unzip6Sym0 a6989586621679796342 b6989586621679796343 c6989586621679796344 d6989586621679796345 e6989586621679796346 f6989586621679796347) # | |
SuppressUnusedWarnings (TyFun [a6989586621680051546] (TyFun [b6989586621680051547] (TyFun [c6989586621680051548] (TyFun [d6989586621680051549] (TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip6Sym0 a6989586621680051546 b6989586621680051547 c6989586621680051548 d6989586621680051549 e6989586621680051550 f6989586621680051551) # | |
SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple6Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051521 (TyFun b6989586621680051522 (TyFun c6989586621680051523 (TyFun d6989586621680051524 (TyFun e6989586621680051525 (TyFun f6989586621680051526 g6989586621680051527 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621680051521] (TyFun [b6989586621680051522] (TyFun [c6989586621680051523] (TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym1 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051521 (TyFun b6989586621680051522 (TyFun c6989586621680051523 (TyFun d6989586621680051524 (TyFun e6989586621680051525 (TyFun f6989586621680051526 g6989586621680051527 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051521] -> TyFun [b6989586621680051522] (TyFun [c6989586621680051523] (TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym2 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051521 (TyFun b6989586621680051522 (TyFun c6989586621680051523 (TyFun d6989586621680051524 (TyFun e6989586621680051525 (TyFun f6989586621680051526 g6989586621680051527 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051521] -> [b6989586621680051522] -> TyFun [c6989586621680051523] (TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> Type) -> *) (ZipWith6Sym3 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051521 (TyFun b6989586621680051522 (TyFun c6989586621680051523 (TyFun d6989586621680051524 (TyFun e6989586621680051525 (TyFun f6989586621680051526 g6989586621680051527 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051521] -> [b6989586621680051522] -> [c6989586621680051523] -> TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> *) (ZipWith6Sym4 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051521 (TyFun b6989586621680051522 (TyFun c6989586621680051523 (TyFun d6989586621680051524 (TyFun e6989586621680051525 (TyFun f6989586621680051526 g6989586621680051527 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051521] -> [b6989586621680051522] -> [c6989586621680051523] -> [d6989586621680051524] -> TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> *) (ZipWith6Sym5 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051521 (TyFun b6989586621680051522 (TyFun c6989586621680051523 (TyFun d6989586621680051524 (TyFun e6989586621680051525 (TyFun f6989586621680051526 g6989586621680051527 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051521] -> [b6989586621680051522] -> [c6989586621680051523] -> [d6989586621680051524] -> [e6989586621680051525] -> TyFun [f6989586621680051526] [g6989586621680051527] -> *) (ZipWith6Sym6 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527) # | |
SuppressUnusedWarnings ([a6989586621680051539] -> TyFun [b6989586621680051540] (TyFun [c6989586621680051541] (TyFun [d6989586621680051542] (TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym1 b6989586621680051540 c6989586621680051541 d6989586621680051542 e6989586621680051543 f6989586621680051544 g6989586621680051545 a6989586621680051539) # | |
SuppressUnusedWarnings ([a6989586621680051539] -> [b6989586621680051540] -> TyFun [c6989586621680051541] (TyFun [d6989586621680051542] (TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym2 c6989586621680051541 d6989586621680051542 e6989586621680051543 f6989586621680051544 g6989586621680051545 b6989586621680051540 a6989586621680051539) # | |
SuppressUnusedWarnings ([a6989586621680051539] -> [b6989586621680051540] -> [c6989586621680051541] -> TyFun [d6989586621680051542] (TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> Type) -> *) (Zip7Sym3 d6989586621680051542 e6989586621680051543 f6989586621680051544 g6989586621680051545 c6989586621680051541 b6989586621680051540 a6989586621680051539) # | |
SuppressUnusedWarnings ([a6989586621680051539] -> [b6989586621680051540] -> [c6989586621680051541] -> [d6989586621680051542] -> TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> *) (Zip7Sym4 e6989586621680051543 f6989586621680051544 g6989586621680051545 d6989586621680051542 c6989586621680051541 b6989586621680051540 a6989586621680051539) # | |
SuppressUnusedWarnings ([a6989586621680051539] -> [b6989586621680051540] -> [c6989586621680051541] -> [d6989586621680051542] -> [e6989586621680051543] -> TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> *) (Zip7Sym5 f6989586621680051544 g6989586621680051545 e6989586621680051543 d6989586621680051542 c6989586621680051541 b6989586621680051540 a6989586621680051539) # | |
SuppressUnusedWarnings ([a6989586621680051539] -> [b6989586621680051540] -> [c6989586621680051541] -> [d6989586621680051542] -> [e6989586621680051543] -> [f6989586621680051544] -> TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> *) (Zip7Sym6 g6989586621680051545 f6989586621680051544 e6989586621680051543 d6989586621680051542 c6989586621680051541 b6989586621680051540 a6989586621680051539) # | |
SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 g3530822107858468872 a3530822107858468866) # | |
SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym2 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 g3530822107858468872 b3530822107858468867 a3530822107858468866) # | |
SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> Type) -> *) (Tuple7Sym3 d3530822107858468869 e3530822107858468870 f3530822107858468871 g3530822107858468872 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> *) (Tuple7Sym4 e3530822107858468870 f3530822107858468871 g3530822107858468872 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> e3530822107858468870 -> TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> *) (Tuple7Sym5 f3530822107858468871 g3530822107858468872 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
SuppressUnusedWarnings (a3530822107858468866 -> b3530822107858468867 -> c3530822107858468868 -> d3530822107858468869 -> e3530822107858468870 -> f3530822107858468871 -> TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> *) (Tuple7Sym6 g3530822107858468872 f3530822107858468871 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621680051521 (TyFun b6989586621680051522 (TyFun c6989586621680051523 (TyFun d6989586621680051524 (TyFun e6989586621680051525 (TyFun f6989586621680051526 g6989586621680051527 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680051521] (TyFun [b6989586621680051522] (TyFun [c6989586621680051523] (TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym0 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527) # | |
SuppressUnusedWarnings (TyFun [(a6989586621679796335, b6989586621679796336, c6989586621679796337, d6989586621679796338, e6989586621679796339, f6989586621679796340, g6989586621679796341)] ([a6989586621679796335], [b6989586621679796336], [c6989586621679796337], [d6989586621679796338], [e6989586621679796339], [f6989586621679796340], [g6989586621679796341]) -> *) (Unzip7Sym0 a6989586621679796335 b6989586621679796336 c6989586621679796337 d6989586621679796338 e6989586621679796339 f6989586621679796340 g6989586621679796341) # | |
SuppressUnusedWarnings (TyFun [a6989586621680051539] (TyFun [b6989586621680051540] (TyFun [c6989586621680051541] (TyFun [d6989586621680051542] (TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym0 a6989586621680051539 b6989586621680051540 c6989586621680051541 d6989586621680051542 e6989586621680051543 f6989586621680051544 g6989586621680051545) # | |
SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (TyFun f3530822107858468871 (TyFun g3530822107858468872 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871, g3530822107858468872) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Tuple7Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869 e3530822107858468870 f3530822107858468871 g3530822107858468872) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621680051513] (TyFun [b6989586621680051514] (TyFun [c6989586621680051515] (TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym1 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051513] -> TyFun [b6989586621680051514] (TyFun [c6989586621680051515] (TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym2 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051513] -> [b6989586621680051514] -> TyFun [c6989586621680051515] (TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym3 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051513] -> [b6989586621680051514] -> [c6989586621680051515] -> TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> *) (ZipWith7Sym4 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051513] -> [b6989586621680051514] -> [c6989586621680051515] -> [d6989586621680051516] -> TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> *) (ZipWith7Sym5 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051513] -> [b6989586621680051514] -> [c6989586621680051515] -> [d6989586621680051516] -> [e6989586621680051517] -> TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> *) (ZipWith7Sym6 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) # | |
SuppressUnusedWarnings ((TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680051513] -> [b6989586621680051514] -> [c6989586621680051515] -> [d6989586621680051516] -> [e6989586621680051517] -> [f6989586621680051518] -> TyFun [g6989586621680051519] [h6989586621680051520] -> *) (ZipWith7Sym7 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) # | |
SuppressUnusedWarnings (TyFun (TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680051513] (TyFun [b6989586621680051514] (TyFun [c6989586621680051515] (TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym0 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) # | |
type Apply Bool (TyFun Bool Bool -> Type) (:&&$) l0 # | |
type Apply Bool (TyFun Bool Bool -> Type) (:||$) l0 # | |
type Apply Ordering (TyFun Ordering Ordering -> Type) ThenCmpSym0 l0 # | |
type Apply Nat (TyFun Nat Nat -> *) (:^$) l0 # | |
type Apply Nat (TyFun [a6989586621679796311] ([a6989586621679796311], [a6989586621679796311]) -> Type) (SplitAtSym0 a6989586621679796311) l0 # | |
type Apply Nat (TyFun [a6989586621679796313] [a6989586621679796313] -> Type) (TakeSym0 a6989586621679796313) l0 # | |
type Apply Nat (TyFun [a6989586621679796312] [a6989586621679796312] -> Type) (DropSym0 a6989586621679796312) l0 # | |
type Apply Nat (TyFun a6989586621679796297 [a6989586621679796297] -> Type) (ReplicateSym0 a6989586621679796297) l0 # | |
type Apply a3530822107858468866 (TyFun [a3530822107858468866] [a3530822107858468866] -> Type) ((:$) a3530822107858468866) l0 # | |
type Apply a6989586621679545776 (TyFun a6989586621679545776 (TyFun Bool a6989586621679545776 -> Type) -> Type) (Bool_Sym0 a6989586621679545776) l0 # | |
type Apply a6989586621679550092 (TyFun a6989586621679550092 a6989586621679550092 -> Type) (AsTypeOfSym0 a6989586621679550092) l0 # | |
type Apply a6989586621679561203 (TyFun a6989586621679561203 Bool -> Type) ((:/=$) a6989586621679561203) l0 # | |
type Apply a6989586621679561203 (TyFun a6989586621679561203 Bool -> Type) ((:==$) a6989586621679561203) l0 # | |
type Apply a6989586621679586420 (TyFun a6989586621679586420 a6989586621679586420 -> Type) (MinSym0 a6989586621679586420) l0 # | |
type Apply a6989586621679586420 (TyFun a6989586621679586420 a6989586621679586420 -> Type) (MaxSym0 a6989586621679586420) l0 # | |
type Apply a6989586621679586420 (TyFun a6989586621679586420 Bool -> Type) ((:>=$) a6989586621679586420) l0 # | |
type Apply a6989586621679586420 (TyFun a6989586621679586420 Bool -> Type) ((:>$) a6989586621679586420) l0 # | |
type Apply a6989586621679586420 (TyFun a6989586621679586420 Bool -> Type) ((:<=$) a6989586621679586420) l0 # | |
type Apply a6989586621679586420 (TyFun a6989586621679586420 Bool -> Type) ((:<$) a6989586621679586420) l0 # | |
type Apply a6989586621679586420 (TyFun a6989586621679586420 Ordering -> Type) (CompareSym0 a6989586621679586420) l0 # | |
type Apply a6989586621679685236 (TyFun a6989586621679685236 a6989586621679685236 -> Type) ((:*$) a6989586621679685236) l0 # | |
type Apply a6989586621679685236 (TyFun a6989586621679685236 a6989586621679685236 -> Type) ((:-$) a6989586621679685236) l0 # | |
type Apply a6989586621679685236 (TyFun a6989586621679685236 a6989586621679685236 -> Type) ((:+$) a6989586621679685236) l0 # | |
type Apply a6989586621679687552 (TyFun a6989586621679687552 a6989586621679687552 -> Type) (SubtractSym0 a6989586621679687552) l0 # | |
type Apply a6989586621679697496 (TyFun a6989586621679697496 (TyFun a6989586621679697496 [a6989586621679697496] -> Type) -> Type) (EnumFromThenToSym0 a6989586621679697496) l0 # | |
type Apply a6989586621679697496 (TyFun a6989586621679697496 [a6989586621679697496] -> Type) (EnumFromToSym0 a6989586621679697496) l0 # | |
type Apply a6989586621679771947 (TyFun (Maybe a6989586621679771947) a6989586621679771947 -> Type) (FromMaybeSym0 a6989586621679771947) l0 # | |
type Apply a6989586621679796409 (TyFun [a6989586621679796409] [a6989586621679796409] -> Type) (IntersperseSym0 a6989586621679796409) l0 # | |
type Apply a6989586621679796375 (TyFun [a6989586621679796375] Bool -> Type) (ElemSym0 a6989586621679796375) l0 # | |
type Apply a6989586621679796374 (TyFun [a6989586621679796374] Bool -> Type) (NotElemSym0 a6989586621679796374) l0 # | |
type Apply a6989586621679796324 (TyFun [a6989586621679796324] (Maybe Nat) -> Type) (ElemIndexSym0 a6989586621679796324) l0 # | |
type Apply a6989586621679796323 (TyFun [a6989586621679796323] [Nat] -> Type) (ElemIndicesSym0 a6989586621679796323) l0 # | |
type Apply a6989586621679796334 (TyFun [a6989586621679796334] [a6989586621679796334] -> Type) (DeleteSym0 a6989586621679796334) l0 # | |
type Apply a6989586621679796307 (TyFun [a6989586621679796307] [a6989586621679796307] -> Type) (InsertSym0 a6989586621679796307) l0 # | |
type Apply a3530822107858468866 (TyFun b3530822107858468867 (a3530822107858468866, b3530822107858468867) -> Type) (Tuple2Sym0 a3530822107858468866 b3530822107858468867) l0 # | |
type Apply a6989586621679545776 (TyFun Bool a6989586621679545776 -> Type) (Bool_Sym1 a6989586621679545776 l0) l1 # | |
type Apply a6989586621679550099 (TyFun b6989586621679550100 a6989586621679550099 -> Type) (ConstSym0 b6989586621679550100 a6989586621679550099) l0 # | |
type Apply a6989586621679550090 (TyFun b6989586621679550091 b6989586621679550091 -> Type) (SeqSym0 a6989586621679550090 b6989586621679550091) l0 # | |
type Apply a6989586621679697496 (TyFun a6989586621679697496 [a6989586621679697496] -> Type) (EnumFromThenToSym1 a6989586621679697496 l0) l1 # | |
type Apply b6989586621679770696 (TyFun (TyFun a6989586621679770697 b6989586621679770696 -> Type) (TyFun (Maybe a6989586621679770697) b6989586621679770696 -> Type) -> Type) (Maybe_Sym0 a6989586621679770697 b6989586621679770696) l0 # | |
type Apply a6989586621679796332 (TyFun [a6989586621679796332] [a6989586621679796332] -> Type) (DeleteBySym1 a6989586621679796332 l0) l1 # | |
type Apply a6989586621679796329 (TyFun [a6989586621679796329] [a6989586621679796329] -> Type) (InsertBySym1 a6989586621679796329 l0) l1 # | |
type Apply a6989586621679796303 (TyFun [(a6989586621679796303, b6989586621679796304)] (Maybe b6989586621679796304) -> Type) (LookupSym0 a6989586621679796303 b6989586621679796304) l0 # | |
type Apply i6989586621680051511 (TyFun [a6989586621680051512] [a6989586621680051512] -> Type) (GenericTakeSym0 i6989586621680051511 a6989586621680051512) l0 # | |
type Apply i6989586621680051509 (TyFun [a6989586621680051510] [a6989586621680051510] -> Type) (GenericDropSym0 i6989586621680051509 a6989586621680051510) l0 # | |
type Apply i6989586621680051507 (TyFun [a6989586621680051508] ([a6989586621680051508], [a6989586621680051508]) -> Type) (GenericSplitAtSym0 i6989586621680051507 a6989586621680051508) l0 # | |
type Apply i6989586621680051503 (TyFun a6989586621680051504 [a6989586621680051504] -> Type) (GenericReplicateSym0 i6989586621680051503 a6989586621680051504) l0 # | |
type Apply a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> Type) -> Type) (Tuple3Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868) l0 # | |
type Apply b6989586621679509136 (TyFun [a6989586621679509135] b6989586621679509136 -> Type) (FoldlSym1 a6989586621679509135 b6989586621679509136 l0) l1 # | |
type Apply b6989586621679550106 (TyFun [a6989586621679550105] b6989586621679550106 -> Type) (FoldrSym1 a6989586621679550105 b6989586621679550106 l0) l1 # | |
type Apply b6989586621679796403 (TyFun [a6989586621679796402] b6989586621679796403 -> Type) (Foldl'Sym1 a6989586621679796402 b6989586621679796403 l0) l1 # | |
type Apply b6989586621679796393 (TyFun [a6989586621679796394] [b6989586621679796393] -> Type) (ScanlSym1 a6989586621679796394 b6989586621679796393 l0) l1 # | |
type Apply b6989586621679796391 (TyFun [a6989586621679796390] [b6989586621679796391] -> Type) (ScanrSym1 a6989586621679796390 b6989586621679796391 l0) l1 # | |
type Apply k4 ((~>) k1 k2) (TyCon2 k2 k1 k4 f) x # | |
type Apply a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) -> Type) -> Type) (Tuple4Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869) l0 # | |
type Apply b3530822107858468867 (TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> Type) (Tuple3Sym1 b3530822107858468867 c3530822107858468868 a3530822107858468866 l0) l1 # | |
type Apply b6989586621679550094 (TyFun a6989586621679550093 c6989586621679550095 -> Type) (FlipSym1 a6989586621679550093 b6989586621679550094 c6989586621679550095 l0) l1 # | |
type Apply a6989586621679781811 (TyFun b6989586621679781812 c6989586621679781813 -> Type) (CurrySym1 a6989586621679781811 b6989586621679781812 c6989586621679781813 l0) l1 # | |
type Apply acc6989586621679796386 (TyFun [x6989586621679796387] (acc6989586621679796386, [y6989586621679796388]) -> Type) (MapAccumLSym1 x6989586621679796387 acc6989586621679796386 y6989586621679796388 l0) l1 # | |
type Apply acc6989586621679796383 (TyFun [x6989586621679796384] (acc6989586621679796383, [y6989586621679796385]) -> Type) (MapAccumRSym1 x6989586621679796384 acc6989586621679796383 y6989586621679796385 l0) l1 # | |
type Apply k4 ((~>) k1 ((~>) k2 k3)) (TyCon3 k3 k2 k1 k4 f) x # | |
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 # | |
type Apply b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) -> Type) (Tuple4Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 a3530822107858468866 l0) l1 # | |
type Apply k7 ((~>) k1 ((~>) k2 ((~>) k3 k4))) (TyCon4 k4 k3 k2 k1 k7 f) x # | |
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 # | |
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 # | |
type Apply c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) (Tuple4Sym2 c3530822107858468868 d3530822107858468869 b3530822107858468867 a3530822107858468866 l1 l0) l2 # | |
type Apply k7 ((~>) k1 ((~>) k2 ((~>) k3 ((~>) k4 k5)))) (TyCon5 k5 k4 k3 k2 k1 k7 f) x # | |
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 # | |
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 # | |
type Apply c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) -> Type) (Tuple5Sym2 c3530822107858468868 d3530822107858468869 e3530822107858468870 b3530822107858468867 a3530822107858468866 l1 l0) l2 # | |
type Apply k7 ((~>) k1 ((~>) k2 ((~>) k3 ((~>) k4 ((~>) k5 k6))))) (TyCon6 k6 k5 k4 k3 k2 k1 k7 f) x # | |
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 # | |
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 # | |
type Apply d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) (Tuple5Sym3 d3530822107858468869 e3530822107858468870 c3530822107858468868 b3530822107858468867 a3530822107858468866 l2 l1 l0) l3 # | |
type Apply k11 ((~>) k1 ((~>) k2 ((~>) k3 ((~>) k4 ((~>) k5 ((~>) k6 k7)))))) (TyCon7 k7 k6 k5 k4 k3 k2 k1 k11 f) x # | |
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 # | |
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 # | |
type Apply k11 ((~>) k1 ((~>) k2 ((~>) k3 ((~>) k4 ((~>) k5 ((~>) k6 ((~>) k7 k8))))))) (TyCon8 k8 k7 k6 k5 k4 k3 k2 k1 k11 f) x # | |
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 # | |
type Apply e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) (Tuple6Sym4 e3530822107858468870 f3530822107858468871 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866 l3 l2 l1 l0) l4 # | |
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 # | |
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 # | |
type Apply [a6989586621679550102] (TyFun [a6989586621679550102] [a6989586621679550102] -> Type) ((:++$) a6989586621679550102) l0 # | |
type Apply [a6989586621679796377] (TyFun [a6989586621679796377] Bool -> Type) (IsSuffixOfSym0 a6989586621679796377) l0 # | |
type Apply [a6989586621679796408] (TyFun [[a6989586621679796408]] [a6989586621679796408] -> Type) (IntercalateSym0 a6989586621679796408) l0 # | |
type Apply [a6989586621679796376] (TyFun [a6989586621679796376] Bool -> Type) (IsInfixOfSym0 a6989586621679796376) l0 # | |
type Apply [a6989586621679796378] (TyFun [a6989586621679796378] Bool -> Type) (IsPrefixOfSym0 a6989586621679796378) l0 # | |
type Apply [a6989586621679796333] (TyFun [a6989586621679796333] [a6989586621679796333] -> Type) ((:\\$) a6989586621679796333) l0 # | |
type Apply [a6989586621679796290] (TyFun [a6989586621679796290] [a6989586621679796290] -> Type) (UnionSym0 a6989586621679796290) l0 # | |
type Apply [a6989586621679796320] (TyFun [a6989586621679796320] [a6989586621679796320] -> Type) (IntersectSym0 a6989586621679796320) l0 # | |
type Apply [a6989586621679796295] (TyFun Nat a6989586621679796295 -> Type) ((:!!$) a6989586621679796295) l0 # | |
type Apply [a6989586621680051561] (TyFun [a6989586621680051561] (Maybe [a6989586621680051561]) -> Type) (StripPrefixSym0 a6989586621680051561) l0 # | |
type Apply [a6989586621679796372] (TyFun [b6989586621679796373] [(a6989586621679796372, b6989586621679796373)] -> Type) (ZipSym0 a6989586621679796372 b6989586621679796373) l0 # | |
type Apply [a6989586621679796291] (TyFun [a6989586621679796291] [a6989586621679796291] -> Type) (UnionBySym1 a6989586621679796291 l0) l1 # | |
type Apply [a6989586621679796331] (TyFun [a6989586621679796331] [a6989586621679796331] -> Type) (DeleteFirstsBySym1 a6989586621679796331 l0) l1 # | |
type Apply [a6989586621679796319] (TyFun [a6989586621679796319] [a6989586621679796319] -> Type) (IntersectBySym1 a6989586621679796319 l0) l1 # | |
type Apply [a6989586621680051506] (TyFun i6989586621680051505 a6989586621680051506 -> Type) (GenericIndexSym0 i6989586621680051505 a6989586621680051506) l0 # | |
type Apply [a6989586621679796369] (TyFun [b6989586621679796370] (TyFun [c6989586621679796371] [(a6989586621679796369, b6989586621679796370, c6989586621679796371)] -> Type) -> Type) (Zip3Sym0 a6989586621679796369 b6989586621679796370 c6989586621679796371) l0 # | |
type Apply [b6989586621679796370] (TyFun [c6989586621679796371] [(a6989586621679796369, b6989586621679796370, c6989586621679796371)] -> Type) (Zip3Sym1 b6989586621679796370 c6989586621679796371 a6989586621679796369 l0) l1 # | |
type Apply [a6989586621679796366] (TyFun [b6989586621679796367] [c6989586621679796368] -> Type) (ZipWithSym1 a6989586621679796366 b6989586621679796367 c6989586621679796368 l0) l1 # | |
type Apply [a6989586621680051557] (TyFun [b6989586621680051558] (TyFun [c6989586621680051559] (TyFun [d6989586621680051560] [(a6989586621680051557, b6989586621680051558, c6989586621680051559, d6989586621680051560)] -> Type) -> Type) -> Type) (Zip4Sym0 a6989586621680051557 b6989586621680051558 c6989586621680051559 d6989586621680051560) l0 # | |
type Apply [a6989586621679796362] (TyFun [b6989586621679796363] (TyFun [c6989586621679796364] [d6989586621679796365] -> Type) -> Type) (ZipWith3Sym1 a6989586621679796362 b6989586621679796363 c6989586621679796364 d6989586621679796365 l0) l1 # | |
type Apply [b6989586621680051558] (TyFun [c6989586621680051559] (TyFun [d6989586621680051560] [(a6989586621680051557, b6989586621680051558, c6989586621680051559, d6989586621680051560)] -> Type) -> Type) (Zip4Sym1 b6989586621680051558 c6989586621680051559 d6989586621680051560 a6989586621680051557 l0) l1 # | |
type Apply [a6989586621680051552] (TyFun [b6989586621680051553] (TyFun [c6989586621680051554] (TyFun [d6989586621680051555] (TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> Type) -> Type) -> Type) -> Type) (Zip5Sym0 a6989586621680051552 b6989586621680051553 c6989586621680051554 d6989586621680051555 e6989586621680051556) l0 # | |
type Apply [b6989586621679796363] (TyFun [c6989586621679796364] [d6989586621679796365] -> Type) (ZipWith3Sym2 a6989586621679796362 b6989586621679796363 c6989586621679796364 d6989586621679796365 l1 l0) l2 # | |
type Apply [c6989586621680051559] (TyFun [d6989586621680051560] [(a6989586621680051557, b6989586621680051558, c6989586621680051559, d6989586621680051560)] -> Type) (Zip4Sym2 c6989586621680051559 d6989586621680051560 b6989586621680051558 a6989586621680051557 l1 l0) l2 # | |
type Apply [b6989586621680051553] (TyFun [c6989586621680051554] (TyFun [d6989586621680051555] (TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> Type) -> Type) -> Type) (Zip5Sym1 b6989586621680051553 c6989586621680051554 d6989586621680051555 e6989586621680051556 a6989586621680051552 l0) l1 # | |
type Apply [a6989586621680051546] (TyFun [b6989586621680051547] (TyFun [c6989586621680051548] (TyFun [d6989586621680051549] (TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> Type) -> Type) -> Type) -> Type) (Zip6Sym0 a6989586621680051546 b6989586621680051547 c6989586621680051548 d6989586621680051549 e6989586621680051550 f6989586621680051551) l0 # | |
type Apply [a6989586621680051534] (TyFun [b6989586621680051535] (TyFun [c6989586621680051536] (TyFun [d6989586621680051537] [e6989586621680051538] -> Type) -> Type) -> Type) (ZipWith4Sym1 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538 l0) l1 # | |
type Apply [c6989586621680051554] (TyFun [d6989586621680051555] (TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> Type) -> Type) (Zip5Sym2 c6989586621680051554 d6989586621680051555 e6989586621680051556 b6989586621680051553 a6989586621680051552 l1 l0) l2 # | |
type Apply [b6989586621680051547] (TyFun [c6989586621680051548] (TyFun [d6989586621680051549] (TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> Type) -> Type) -> Type) (Zip6Sym1 b6989586621680051547 c6989586621680051548 d6989586621680051549 e6989586621680051550 f6989586621680051551 a6989586621680051546 l0) l1 # | |
type Apply [a6989586621680051539] (TyFun [b6989586621680051540] (TyFun [c6989586621680051541] (TyFun [d6989586621680051542] (TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Zip7Sym0 a6989586621680051539 b6989586621680051540 c6989586621680051541 d6989586621680051542 e6989586621680051543 f6989586621680051544 g6989586621680051545) l0 # | |
type Apply [b6989586621680051535] (TyFun [c6989586621680051536] (TyFun [d6989586621680051537] [e6989586621680051538] -> Type) -> Type) (ZipWith4Sym2 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538 l1 l0) l2 # | |
type Apply [a6989586621680051528] (TyFun [b6989586621680051529] (TyFun [c6989586621680051530] (TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> Type) -> Type) -> Type) (ZipWith5Sym1 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533 l0) l1 # | |
type Apply [d6989586621680051555] (TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> Type) (Zip5Sym3 d6989586621680051555 e6989586621680051556 c6989586621680051554 b6989586621680051553 a6989586621680051552 l2 l1 l0) l3 # | |
type Apply [c6989586621680051548] (TyFun [d6989586621680051549] (TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> Type) -> Type) (Zip6Sym2 c6989586621680051548 d6989586621680051549 e6989586621680051550 f6989586621680051551 b6989586621680051547 a6989586621680051546 l1 l0) l2 # | |
type Apply [b6989586621680051540] (TyFun [c6989586621680051541] (TyFun [d6989586621680051542] (TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> Type) -> Type) -> Type) (Zip7Sym1 b6989586621680051540 c6989586621680051541 d6989586621680051542 e6989586621680051543 f6989586621680051544 g6989586621680051545 a6989586621680051539 l0) l1 # | |
type Apply [c6989586621680051536] (TyFun [d6989586621680051537] [e6989586621680051538] -> Type) (ZipWith4Sym3 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538 l2 l1 l0) l3 # | |
type Apply [b6989586621680051529] (TyFun [c6989586621680051530] (TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> Type) -> Type) (ZipWith5Sym2 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533 l1 l0) l2 # | |
type Apply [a6989586621680051521] (TyFun [b6989586621680051522] (TyFun [c6989586621680051523] (TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith6Sym1 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527 l0) l1 # | |
type Apply [d6989586621680051549] (TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> Type) (Zip6Sym3 d6989586621680051549 e6989586621680051550 f6989586621680051551 c6989586621680051548 b6989586621680051547 a6989586621680051546 l2 l1 l0) l3 # | |
type Apply [c6989586621680051541] (TyFun [d6989586621680051542] (TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> Type) -> Type) (Zip7Sym2 c6989586621680051541 d6989586621680051542 e6989586621680051543 f6989586621680051544 g6989586621680051545 b6989586621680051540 a6989586621680051539 l1 l0) l2 # | |
type Apply [c6989586621680051530] (TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> Type) (ZipWith5Sym3 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533 l2 l1 l0) l3 # | |
type Apply [b6989586621680051522] (TyFun [c6989586621680051523] (TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> Type) -> Type) (ZipWith6Sym2 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527 l1 l0) l2 # | |
type Apply [a6989586621680051513] (TyFun [b6989586621680051514] (TyFun [c6989586621680051515] (TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith7Sym1 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520 l0) l1 # | |
type Apply [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) (Zip6Sym4 e6989586621680051550 f6989586621680051551 d6989586621680051549 c6989586621680051548 b6989586621680051547 a6989586621680051546 l3 l2 l1 l0) l4 # | |
type Apply [d6989586621680051542] (TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> Type) (Zip7Sym3 d6989586621680051542 e6989586621680051543 f6989586621680051544 g6989586621680051545 c6989586621680051541 b6989586621680051540 a6989586621680051539 l2 l1 l0) l3 # | |
type Apply [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) (ZipWith5Sym4 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533 l3 l2 l1 l0) l4 # | |
type Apply [c6989586621680051523] (TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> Type) (ZipWith6Sym3 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527 l2 l1 l0) l3 # | |
type Apply [b6989586621680051514] (TyFun [c6989586621680051515] (TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith7Sym2 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520 l1 l0) l2 # | |
type Apply [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) (Zip7Sym4 e6989586621680051543 f6989586621680051544 g6989586621680051545 d6989586621680051542 c6989586621680051541 b6989586621680051540 a6989586621680051539 l3 l2 l1 l0) l4 # | |
type Apply [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) (ZipWith6Sym4 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527 l3 l2 l1 l0) l4 # | |
type Apply [c6989586621680051515] (TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> Type) (ZipWith7Sym3 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520 l2 l1 l0) l3 # | |
type Apply [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) (Zip7Sym5 f6989586621680051544 g6989586621680051545 e6989586621680051543 d6989586621680051542 c6989586621680051541 b6989586621680051540 a6989586621680051539 l4 l3 l2 l1 l0) l5 # | |
type Apply [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) (ZipWith6Sym5 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527 l4 l3 l2 l1 l0) l5 # | |
type Apply [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) (ZipWith7Sym4 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520 l3 l2 l1 l0) l4 # | |
type Apply [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) (ZipWith7Sym5 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520 l4 l3 l2 l1 l0) l5 # | |
type Apply [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) (ZipWith7Sym6 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520 l5 l4 l3 l2 l1 l0) l6 # | |
type DemoteRep ((~>) k1 k2) # | |
data Sing ((~>) k1 k2) # | |
type Apply (TyFun a6989586621679785711 Bool -> Type) (TyFun [a6989586621679785711] Bool -> Type) (Any_Sym0 a6989586621679785711) l0 # | |
type Apply (TyFun a6989586621679796316 Bool -> Type) (TyFun [a6989586621679796316] [a6989586621679796316] -> Type) (DropWhileEndSym0 a6989586621679796316) l0 # | |
type Apply (TyFun a6989586621679796400 (TyFun a6989586621679796400 a6989586621679796400 -> Type) -> Type) (TyFun [a6989586621679796400] a6989586621679796400 -> Type) (Foldl1'Sym0 a6989586621679796400) l0 # | |
type Apply (TyFun a6989586621679796327 (TyFun a6989586621679796327 Ordering -> Type) -> Type) (TyFun [a6989586621679796327] a6989586621679796327 -> Type) (MinimumBySym0 a6989586621679796327) l0 # | |
type Apply (TyFun a6989586621679796328 (TyFun a6989586621679796328 Ordering -> Type) -> Type) (TyFun [a6989586621679796328] a6989586621679796328 -> Type) (MaximumBySym0 a6989586621679796328) l0 # | |
type Apply (TyFun a6989586621679796401 (TyFun a6989586621679796401 a6989586621679796401 -> Type) -> Type) (TyFun [a6989586621679796401] a6989586621679796401 -> Type) (Foldl1Sym0 a6989586621679796401) l0 # | |
type Apply (TyFun a6989586621679796399 (TyFun a6989586621679796399 a6989586621679796399 -> Type) -> Type) (TyFun [a6989586621679796399] a6989586621679796399 -> Type) (Foldr1Sym0 a6989586621679796399) l0 # | |
type Apply (TyFun a6989586621679796395 Bool -> Type) (TyFun [a6989586621679796395] Bool -> Type) (AllSym0 a6989586621679796395) l0 # | |
type Apply (TyFun a6989586621679796392 (TyFun a6989586621679796392 a6989586621679796392 -> Type) -> Type) (TyFun [a6989586621679796392] [a6989586621679796392] -> Type) (Scanl1Sym0 a6989586621679796392) l0 # | |
type Apply (TyFun a6989586621679796389 (TyFun a6989586621679796389 a6989586621679796389 -> Type) -> Type) (TyFun [a6989586621679796389] [a6989586621679796389] -> Type) (Scanr1Sym0 a6989586621679796389) l0 # | |
type Apply (TyFun a6989586621679796322 Bool -> Type) (TyFun [a6989586621679796322] (Maybe Nat) -> Type) (FindIndexSym0 a6989586621679796322) l0 # | |
type Apply (TyFun a6989586621679796321 Bool -> Type) (TyFun [a6989586621679796321] [Nat] -> Type) (FindIndicesSym0 a6989586621679796321) l0 # | |
type Apply (TyFun a6989586621679796291 (TyFun a6989586621679796291 Bool -> Type) -> Type) (TyFun [a6989586621679796291] (TyFun [a6989586621679796291] [a6989586621679796291] -> Type) -> Type) (UnionBySym0 a6989586621679796291) l0 # | |
type Apply (TyFun a6989586621679796331 (TyFun a6989586621679796331 Bool -> Type) -> Type) (TyFun [a6989586621679796331] (TyFun [a6989586621679796331] [a6989586621679796331] -> Type) -> Type) (DeleteFirstsBySym0 a6989586621679796331) l0 # | |
type Apply (TyFun a6989586621679796332 (TyFun a6989586621679796332 Bool -> Type) -> Type) (TyFun a6989586621679796332 (TyFun [a6989586621679796332] [a6989586621679796332] -> Type) -> Type) (DeleteBySym0 a6989586621679796332) l0 # | |
type Apply (TyFun a6989586621679796330 (TyFun a6989586621679796330 Ordering -> Type) -> Type) (TyFun [a6989586621679796330] [a6989586621679796330] -> Type) (SortBySym0 a6989586621679796330) l0 # | |
type Apply (TyFun a6989586621679796329 (TyFun a6989586621679796329 Ordering -> Type) -> Type) (TyFun a6989586621679796329 (TyFun [a6989586621679796329] [a6989586621679796329] -> Type) -> Type) (InsertBySym0 a6989586621679796329) l0 # | |
type Apply (TyFun a6989586621679796319 (TyFun a6989586621679796319 Bool -> Type) -> Type) (TyFun [a6989586621679796319] (TyFun [a6989586621679796319] [a6989586621679796319] -> Type) -> Type) (IntersectBySym0 a6989586621679796319) l0 # | |
type Apply (TyFun a6989586621679796325 Bool -> Type) (TyFun [a6989586621679796325] (Maybe a6989586621679796325) -> Type) (FindSym0 a6989586621679796325) l0 # | |
type Apply (TyFun a6989586621679796326 Bool -> Type) (TyFun [a6989586621679796326] [a6989586621679796326] -> Type) (FilterSym0 a6989586621679796326) l0 # | |
type Apply (TyFun a6989586621679796318 Bool -> Type) (TyFun [a6989586621679796318] [a6989586621679796318] -> Type) (TakeWhileSym0 a6989586621679796318) l0 # | |
type Apply (TyFun a6989586621679796317 Bool -> Type) (TyFun [a6989586621679796317] [a6989586621679796317] -> Type) (DropWhileSym0 a6989586621679796317) l0 # | |
type Apply (TyFun a6989586621679796305 (TyFun a6989586621679796305 Bool -> Type) -> Type) (TyFun [a6989586621679796305] [[a6989586621679796305]] -> Type) (GroupBySym0 a6989586621679796305) l0 # | |
type Apply (TyFun a6989586621679796315 Bool -> Type) (TyFun [a6989586621679796315] ([a6989586621679796315], [a6989586621679796315]) -> Type) (SpanSym0 a6989586621679796315) l0 # | |
type Apply (TyFun a6989586621679796314 Bool -> Type) (TyFun [a6989586621679796314] ([a6989586621679796314], [a6989586621679796314]) -> Type) (BreakSym0 a6989586621679796314) l0 # | |
type Apply (TyFun a6989586621679796302 Bool -> Type) (TyFun [a6989586621679796302] ([a6989586621679796302], [a6989586621679796302]) -> Type) (PartitionSym0 a6989586621679796302) l0 # | |
type Apply (TyFun a6989586621679796293 (TyFun a6989586621679796293 Bool -> Type) -> Type) (TyFun [a6989586621679796293] [a6989586621679796293] -> Type) (NubBySym0 a6989586621679796293) l0 # | |
type Apply (TyFun a6989586621680073211 Bool -> Type) (TyFun (TyFun a6989586621680073211 a6989586621680073211 -> Type) (TyFun a6989586621680073211 a6989586621680073211 -> Type) -> Type) (UntilSym0 a6989586621680073211) l0 # | |
type Apply (TyFun b6989586621679509136 (TyFun a6989586621679509135 b6989586621679509136 -> Type) -> Type) (TyFun b6989586621679509136 (TyFun [a6989586621679509135] b6989586621679509136 -> Type) -> Type) (FoldlSym0 a6989586621679509135 b6989586621679509136) l0 # | |
type Apply (TyFun a b -> *) (TyFun a b -> *) (($!$) a b) arg # | |
type Apply (TyFun a b -> *) (TyFun a b -> *) (($$) a b) arg # | |
type Apply (TyFun a6989586621679550105 (TyFun b6989586621679550106 b6989586621679550106 -> Type) -> Type) (TyFun b6989586621679550106 (TyFun [a6989586621679550105] b6989586621679550106 -> Type) -> Type) (FoldrSym0 a6989586621679550105 b6989586621679550106) l0 # | |
type Apply (TyFun a6989586621679550103 b6989586621679550104 -> Type) (TyFun [a6989586621679550103] [b6989586621679550104] -> Type) (MapSym0 a6989586621679550103 b6989586621679550104) l0 # | |
type Apply (TyFun a6989586621679771942 (Maybe b6989586621679771943) -> Type) (TyFun [a6989586621679771942] [b6989586621679771943] -> Type) (MapMaybeSym0 a6989586621679771942 b6989586621679771943) l0 # | |
type Apply (TyFun b6989586621679796403 (TyFun a6989586621679796402 b6989586621679796403 -> Type) -> Type) (TyFun b6989586621679796403 (TyFun [a6989586621679796402] b6989586621679796403 -> Type) -> Type) (Foldl'Sym0 a6989586621679796402 b6989586621679796403) l0 # | |
type Apply (TyFun a6989586621679796396 [b6989586621679796397] -> Type) (TyFun [a6989586621679796396] [b6989586621679796397] -> Type) (ConcatMapSym0 a6989586621679796396 b6989586621679796397) l0 # | |
type Apply (TyFun b6989586621679796393 (TyFun a6989586621679796394 b6989586621679796393 -> Type) -> Type) (TyFun b6989586621679796393 (TyFun [a6989586621679796394] [b6989586621679796393] -> Type) -> Type) (ScanlSym0 a6989586621679796394 b6989586621679796393) l0 # | |
type Apply (TyFun a6989586621679796390 (TyFun b6989586621679796391 b6989586621679796391 -> Type) -> Type) (TyFun b6989586621679796391 (TyFun [a6989586621679796390] [b6989586621679796391] -> Type) -> Type) (ScanrSym0 a6989586621679796390 b6989586621679796391) l0 # | |
type Apply (TyFun b6989586621679796381 (Maybe (a6989586621679796382, b6989586621679796381)) -> Type) (TyFun b6989586621679796381 [a6989586621679796382] -> Type) (UnfoldrSym0 b6989586621679796381 a6989586621679796382) l0 # | |
type Apply (TyFun a6989586621680073211 a6989586621680073211 -> Type) (TyFun a6989586621680073211 a6989586621680073211 -> Type) (UntilSym1 a6989586621680073211 l0) l1 # | |
type Apply (TyFun (a6989586621679781811, b6989586621679781812) c6989586621679781813 -> Type) (TyFun a6989586621679781811 (TyFun b6989586621679781812 c6989586621679781813 -> Type) -> Type) (CurrySym0 a6989586621679781811 b6989586621679781812 c6989586621679781813) l0 # | |
type Apply (TyFun b6989586621679550096 c6989586621679550097 -> Type) (TyFun (TyFun a6989586621679550098 b6989586621679550096 -> Type) (TyFun a6989586621679550098 c6989586621679550097 -> Type) -> Type) ((:.$) b6989586621679550096 a6989586621679550098 c6989586621679550097) l0 # | |
type Apply (TyFun a6989586621679550093 (TyFun b6989586621679550094 c6989586621679550095 -> Type) -> Type) (TyFun b6989586621679550094 (TyFun a6989586621679550093 c6989586621679550095 -> Type) -> Type) (FlipSym0 b6989586621679550094 a6989586621679550093 c6989586621679550095) l0 # | |
type Apply (TyFun a6989586621679761240 c6989586621679761241 -> Type) (TyFun (TyFun b6989586621679761242 c6989586621679761241 -> Type) (TyFun (Either a6989586621679761240 b6989586621679761242) c6989586621679761241 -> Type) -> Type) (Either_Sym0 a6989586621679761240 b6989586621679761242 c6989586621679761241) l0 # | |
type Apply (TyFun a6989586621679770697 b6989586621679770696 -> Type) (TyFun (Maybe a6989586621679770697) b6989586621679770696 -> Type) (Maybe_Sym1 a6989586621679770697 b6989586621679770696 l0) l1 # | |
type Apply (TyFun a6989586621679781808 (TyFun b6989586621679781809 c6989586621679781810 -> Type) -> Type) (TyFun (a6989586621679781808, b6989586621679781809) c6989586621679781810 -> Type) (UncurrySym0 a6989586621679781808 b6989586621679781809 c6989586621679781810) l0 # | |
type Apply (TyFun acc6989586621679796386 (TyFun x6989586621679796387 (acc6989586621679796386, y6989586621679796388) -> Type) -> Type) (TyFun acc6989586621679796386 (TyFun [x6989586621679796387] (acc6989586621679796386, [y6989586621679796388]) -> Type) -> Type) (MapAccumLSym0 x6989586621679796387 acc6989586621679796386 y6989586621679796388) l0 # | |
type Apply (TyFun acc6989586621679796383 (TyFun x6989586621679796384 (acc6989586621679796383, y6989586621679796385) -> Type) -> Type) (TyFun acc6989586621679796383 (TyFun [x6989586621679796384] (acc6989586621679796383, [y6989586621679796385]) -> Type) -> Type) (MapAccumRSym0 x6989586621679796384 acc6989586621679796383 y6989586621679796385) l0 # | |
type Apply (TyFun a6989586621679796366 (TyFun b6989586621679796367 c6989586621679796368 -> Type) -> Type) (TyFun [a6989586621679796366] (TyFun [b6989586621679796367] [c6989586621679796368] -> Type) -> Type) (ZipWithSym0 a6989586621679796366 b6989586621679796367 c6989586621679796368) l0 # | |
type Apply (TyFun a6989586621679550098 b6989586621679550096 -> Type) (TyFun a6989586621679550098 c6989586621679550097 -> Type) ((:.$$) a6989586621679550098 b6989586621679550096 c6989586621679550097 l0) l1 # | |
type Apply (TyFun b6989586621679761242 c6989586621679761241 -> Type) (TyFun (Either a6989586621679761240 b6989586621679761242) c6989586621679761241 -> Type) (Either_Sym1 b6989586621679761242 a6989586621679761240 c6989586621679761241 l0) l1 # | |
type Apply (TyFun a6989586621679796362 (TyFun b6989586621679796363 (TyFun c6989586621679796364 d6989586621679796365 -> Type) -> Type) -> Type) (TyFun [a6989586621679796362] (TyFun [b6989586621679796363] (TyFun [c6989586621679796364] [d6989586621679796365] -> Type) -> Type) -> Type) (ZipWith3Sym0 a6989586621679796362 b6989586621679796363 c6989586621679796364 d6989586621679796365) l0 # | |
type Apply (TyFun a6989586621680051534 (TyFun b6989586621680051535 (TyFun c6989586621680051536 (TyFun d6989586621680051537 e6989586621680051538 -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680051534] (TyFun [b6989586621680051535] (TyFun [c6989586621680051536] (TyFun [d6989586621680051537] [e6989586621680051538] -> Type) -> Type) -> Type) -> Type) (ZipWith4Sym0 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538) l0 # | |
type Apply (TyFun a6989586621680051528 (TyFun b6989586621680051529 (TyFun c6989586621680051530 (TyFun d6989586621680051531 (TyFun e6989586621680051532 f6989586621680051533 -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680051528] (TyFun [b6989586621680051529] (TyFun [c6989586621680051530] (TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith5Sym0 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533) l0 # | |
type Apply (TyFun a6989586621680051521 (TyFun b6989586621680051522 (TyFun c6989586621680051523 (TyFun d6989586621680051524 (TyFun e6989586621680051525 (TyFun f6989586621680051526 g6989586621680051527 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680051521] (TyFun [b6989586621680051522] (TyFun [c6989586621680051523] (TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith6Sym0 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527) l0 # | |
type Apply (TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680051513] (TyFun [b6989586621680051514] (TyFun [c6989586621680051515] (TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith7Sym0 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) l0 # | |
type (~>) a b = TyFun a b -> * infixr 0 #
Something of kind `a ~> b` is a defunctionalized type function that is not necessarily generative or injective.
data TyCon1 :: (k1 -> k2) -> k1 ~> k2 #
Wrapper for converting the normal type-level arrow into a ~>
.
For example, given:
data Nat = Zero | Succ Nat type family Map (a :: a ~> b) (a :: [a]) :: [b] Map f '[] = '[] Map f (x ': xs) = Apply f x ': Map f xs
We can write:
Map (TyCon1 Succ) [Zero, Succ Zero]
data TyCon2 :: (k1 -> k2 -> k3) -> k1 ~> (k2 ~> k3) #
Similar to TyCon1
, but for two-parameter type constructors.
data TyCon6 :: (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7) -> k1 ~> (k2 ~> (k3 ~> (k4 ~> (k5 ~> (k6 ~> k7))))) #
data TyCon7 :: (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8) -> k1 ~> (k2 ~> (k3 ~> (k4 ~> (k5 ~> (k6 ~> (k7 ~> k8)))))) #
data TyCon8 :: (k1 -> k2 -> k3 -> k4 -> k5 -> k6 -> k7 -> k8 -> k9) -> k1 ~> (k2 ~> (k3 ~> (k4 ~> (k5 ~> (k6 ~> (k7 ~> (k8 ~> k9))))))) #
type family Apply (f :: k1 ~> k2) (x :: k1) :: k2 #
Type level function application
Instances
type Apply Bool Bool NotSym0 l0 # | |
type Apply Bool Bool ((:&&$$) l1) l0 # | |
type Apply Bool Bool ((:||$$) l1) l0 # | |
type Apply Ordering Ordering (ThenCmpSym1 l1) l0 # | |
type Apply Nat Nat ((:^$$) l1) l0 # | |
type Apply Nat k2 (FromIntegerSym0 k2) l0 # | |
type Apply Nat k2 (ToEnumSym0 k2) l0 # | |
type Apply a6989586621679550101 a6989586621679550101 (IdSym0 a6989586621679550101) l0 # | |
type Apply a6989586621679685236 a6989586621679685236 (SignumSym0 a6989586621679685236) l0 # | |
type Apply a6989586621679685236 a6989586621679685236 (AbsSym0 a6989586621679685236) l0 # | |
type Apply a6989586621679685236 a6989586621679685236 (NegateSym0 a6989586621679685236) l0 # | |
type Apply a6989586621679697496 Nat (FromEnumSym0 a6989586621679697496) l0 # | |
type Apply a6989586621679697496 a6989586621679697496 (PredSym0 a6989586621679697496) l0 # | |
type Apply a6989586621679697496 a6989586621679697496 (SuccSym0 a6989586621679697496) l0 # | |
type Apply Nat a6989586621679796295 ((:!!$$) a6989586621679796295 l0) l1 # | |
type Apply a6989586621679550092 a6989586621679550092 (AsTypeOfSym1 a6989586621679550092 l0) l1 # | |
type Apply a6989586621679561203 Bool ((:/=$$) a6989586621679561203 l0) l1 # | |
type Apply a6989586621679561203 Bool ((:==$$) a6989586621679561203 l0) l1 # | |
type Apply a6989586621679586420 a6989586621679586420 (MinSym1 a6989586621679586420 l0) l1 # | |
type Apply a6989586621679586420 a6989586621679586420 (MaxSym1 a6989586621679586420 l0) l1 # | |
type Apply a6989586621679586420 Bool ((:>=$$) a6989586621679586420 l0) l1 # | |
type Apply a6989586621679586420 Bool ((:>$$) a6989586621679586420 l0) l1 # | |
type Apply a6989586621679586420 Bool ((:<=$$) a6989586621679586420 l0) l1 # | |
type Apply a6989586621679586420 Bool ((:<$$) a6989586621679586420 l0) l1 # | |
type Apply a6989586621679586420 Ordering (CompareSym1 a6989586621679586420 l0) l1 # | |
type Apply k06989586621679675033 k2 (ErrorSym0 k06989586621679675033 k2) l0 # | |
type Apply a6989586621679685236 a6989586621679685236 ((:*$$) a6989586621679685236 l0) l1 # | |
type Apply a6989586621679685236 a6989586621679685236 ((:-$$) a6989586621679685236 l0) l1 # | |
type Apply a6989586621679685236 a6989586621679685236 ((:+$$) a6989586621679685236 l0) l1 # | |
type Apply a6989586621679687552 a6989586621679687552 (SubtractSym1 a6989586621679687552 l0) l1 # | |
type Apply Bool a6989586621679545776 (Bool_Sym2 a6989586621679545776 l1 l0) l2 # | |
type Apply k1 k2 (TyCon1 k2 k1 f) x # | |
type Apply a b (($!$$) a b f) arg # | |
type Apply a b (($$$) a b f) arg # | |
type Apply b6989586621679550100 a6989586621679550099 (ConstSym1 b6989586621679550100 a6989586621679550099 l0) l1 # | |
type Apply b6989586621679550091 b6989586621679550091 (SeqSym1 b6989586621679550091 a6989586621679550090 l0) l1 # | |
type Apply i6989586621680051505 a6989586621680051506 (GenericIndexSym1 i6989586621680051505 a6989586621680051506 l0) l1 # | |
type Apply a6989586621680073211 a6989586621680073211 (UntilSym2 a6989586621680073211 l1 l0) l2 # | |
type Apply a6989586621679550098 c6989586621679550097 ((:.$$$) a6989586621679550098 b6989586621679550096 c6989586621679550097 l1 l0) l2 # | |
type Apply a6989586621679550093 c6989586621679550095 (FlipSym2 a6989586621679550093 b6989586621679550094 c6989586621679550095 l1 l0) l2 # | |
type Apply b6989586621679781812 c6989586621679781813 (CurrySym2 a6989586621679781811 b6989586621679781812 c6989586621679781813 l1 l0) l2 # | |
type Apply a3530822107858468866 (Maybe a3530822107858468866) (JustSym0 a3530822107858468866) l0 # | |
type Apply a6989586621679697496 [a6989586621679697496] (EnumFromToSym1 a6989586621679697496 l0) l1 # | |
type Apply a6989586621679796297 [a6989586621679796297] (ReplicateSym1 a6989586621679796297 l0) l1 # | |
type Apply a6989586621679697496 [a6989586621679697496] (EnumFromThenToSym2 a6989586621679697496 l1 l0) l2 # | |
type Apply b6989586621679796381 [a6989586621679796382] (UnfoldrSym1 a6989586621679796382 b6989586621679796381 l0) l1 # | |
type Apply a6989586621680051504 [a6989586621680051504] (GenericReplicateSym1 a6989586621680051504 i6989586621680051503 l0) l1 # | |
type Apply Bool (TyFun Bool Bool -> Type) (:&&$) l0 # | |
type Apply Bool (TyFun Bool Bool -> Type) (:||$) l0 # | |
type Apply Ordering (TyFun Ordering Ordering -> Type) ThenCmpSym0 l0 # | |
type Apply Nat (TyFun Nat Nat -> *) (:^$) l0 # | |
type Apply Nat (TyFun [a6989586621679796311] ([a6989586621679796311], [a6989586621679796311]) -> Type) (SplitAtSym0 a6989586621679796311) l0 # | |
type Apply Nat (TyFun [a6989586621679796313] [a6989586621679796313] -> Type) (TakeSym0 a6989586621679796313) l0 # | |
type Apply Nat (TyFun [a6989586621679796312] [a6989586621679796312] -> Type) (DropSym0 a6989586621679796312) l0 # | |
type Apply Nat (TyFun a6989586621679796297 [a6989586621679796297] -> Type) (ReplicateSym0 a6989586621679796297) l0 # | |
type Apply a3530822107858468866 (TyFun [a3530822107858468866] [a3530822107858468866] -> Type) ((:$) a3530822107858468866) l0 # | |
type Apply a6989586621679545776 (TyFun a6989586621679545776 (TyFun Bool a6989586621679545776 -> Type) -> Type) (Bool_Sym0 a6989586621679545776) l0 # | |
type Apply a6989586621679550092 (TyFun a6989586621679550092 a6989586621679550092 -> Type) (AsTypeOfSym0 a6989586621679550092) l0 # | |
type Apply a6989586621679561203 (TyFun a6989586621679561203 Bool -> Type) ((:/=$) a6989586621679561203) l0 # | |
type Apply a6989586621679561203 (TyFun a6989586621679561203 Bool -> Type) ((:==$) a6989586621679561203) l0 # | |
type Apply a6989586621679586420 (TyFun a6989586621679586420 a6989586621679586420 -> Type) (MinSym0 a6989586621679586420) l0 # | |
type Apply a6989586621679586420 (TyFun a6989586621679586420 a6989586621679586420 -> Type) (MaxSym0 a6989586621679586420) l0 # | |
type Apply a6989586621679586420 (TyFun a6989586621679586420 Bool -> Type) ((:>=$) a6989586621679586420) l0 # | |
type Apply a6989586621679586420 (TyFun a6989586621679586420 Bool -> Type) ((:>$) a6989586621679586420) l0 # | |
type Apply a6989586621679586420 (TyFun a6989586621679586420 Bool -> Type) ((:<=$) a6989586621679586420) l0 # | |
type Apply a6989586621679586420 (TyFun a6989586621679586420 Bool -> Type) ((:<$) a6989586621679586420) l0 # | |
type Apply a6989586621679586420 (TyFun a6989586621679586420 Ordering -> Type) (CompareSym0 a6989586621679586420) l0 # | |
type Apply a6989586621679685236 (TyFun a6989586621679685236 a6989586621679685236 -> Type) ((:*$) a6989586621679685236) l0 # | |
type Apply a6989586621679685236 (TyFun a6989586621679685236 a6989586621679685236 -> Type) ((:-$) a6989586621679685236) l0 # | |
type Apply a6989586621679685236 (TyFun a6989586621679685236 a6989586621679685236 -> Type) ((:+$) a6989586621679685236) l0 # | |
type Apply a6989586621679687552 (TyFun a6989586621679687552 a6989586621679687552 -> Type) (SubtractSym0 a6989586621679687552) l0 # | |
type Apply a6989586621679697496 (TyFun a6989586621679697496 (TyFun a6989586621679697496 [a6989586621679697496] -> Type) -> Type) (EnumFromThenToSym0 a6989586621679697496) l0 # | |
type Apply a6989586621679697496 (TyFun a6989586621679697496 [a6989586621679697496] -> Type) (EnumFromToSym0 a6989586621679697496) l0 # | |
type Apply a6989586621679771947 (TyFun (Maybe a6989586621679771947) a6989586621679771947 -> Type) (FromMaybeSym0 a6989586621679771947) l0 # | |
type Apply a6989586621679796409 (TyFun [a6989586621679796409] [a6989586621679796409] -> Type) (IntersperseSym0 a6989586621679796409) l0 # | |
type Apply a6989586621679796375 (TyFun [a6989586621679796375] Bool -> Type) (ElemSym0 a6989586621679796375) l0 # | |
type Apply a6989586621679796374 (TyFun [a6989586621679796374] Bool -> Type) (NotElemSym0 a6989586621679796374) l0 # | |
type Apply a6989586621679796324 (TyFun [a6989586621679796324] (Maybe Nat) -> Type) (ElemIndexSym0 a6989586621679796324) l0 # | |
type Apply a6989586621679796323 (TyFun [a6989586621679796323] [Nat] -> Type) (ElemIndicesSym0 a6989586621679796323) l0 # | |
type Apply a6989586621679796334 (TyFun [a6989586621679796334] [a6989586621679796334] -> Type) (DeleteSym0 a6989586621679796334) l0 # | |
type Apply a6989586621679796307 (TyFun [a6989586621679796307] [a6989586621679796307] -> Type) (InsertSym0 a6989586621679796307) l0 # | |
type Apply a3530822107858468866 (TyFun b3530822107858468867 (a3530822107858468866, b3530822107858468867) -> Type) (Tuple2Sym0 a3530822107858468866 b3530822107858468867) l0 # | |
type Apply b6989586621679054094 (Either a6989586621679054093 b6989586621679054094) (RightSym0 a6989586621679054093 b6989586621679054094) l0 # | |
type Apply a6989586621679054093 (Either a6989586621679054093 b6989586621679054094) (LeftSym0 a6989586621679054093 b6989586621679054094) l0 # | |
type Apply a6989586621679545776 (TyFun Bool a6989586621679545776 -> Type) (Bool_Sym1 a6989586621679545776 l0) l1 # | |
type Apply a6989586621679550099 (TyFun b6989586621679550100 a6989586621679550099 -> Type) (ConstSym0 b6989586621679550100 a6989586621679550099) l0 # | |
type Apply a6989586621679550090 (TyFun b6989586621679550091 b6989586621679550091 -> Type) (SeqSym0 a6989586621679550090 b6989586621679550091) l0 # | |
type Apply a6989586621679697496 (TyFun a6989586621679697496 [a6989586621679697496] -> Type) (EnumFromThenToSym1 a6989586621679697496 l0) l1 # | |
type Apply b6989586621679770696 (TyFun (TyFun a6989586621679770697 b6989586621679770696 -> Type) (TyFun (Maybe a6989586621679770697) b6989586621679770696 -> Type) -> Type) (Maybe_Sym0 a6989586621679770697 b6989586621679770696) l0 # | |
type Apply a6989586621679796332 (TyFun [a6989586621679796332] [a6989586621679796332] -> Type) (DeleteBySym1 a6989586621679796332 l0) l1 # | |
type Apply a6989586621679796329 (TyFun [a6989586621679796329] [a6989586621679796329] -> Type) (InsertBySym1 a6989586621679796329 l0) l1 # | |
type Apply a6989586621679796303 (TyFun [(a6989586621679796303, b6989586621679796304)] (Maybe b6989586621679796304) -> Type) (LookupSym0 a6989586621679796303 b6989586621679796304) l0 # | |
type Apply i6989586621680051511 (TyFun [a6989586621680051512] [a6989586621680051512] -> Type) (GenericTakeSym0 i6989586621680051511 a6989586621680051512) l0 # | |
type Apply i6989586621680051509 (TyFun [a6989586621680051510] [a6989586621680051510] -> Type) (GenericDropSym0 i6989586621680051509 a6989586621680051510) l0 # | |
type Apply i6989586621680051507 (TyFun [a6989586621680051508] ([a6989586621680051508], [a6989586621680051508]) -> Type) (GenericSplitAtSym0 i6989586621680051507 a6989586621680051508) l0 # | |
type Apply i6989586621680051503 (TyFun a6989586621680051504 [a6989586621680051504] -> Type) (GenericReplicateSym0 i6989586621680051503 a6989586621680051504) l0 # | |
type Apply a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> Type) -> Type) (Tuple3Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868) l0 # | |
type Apply b3530822107858468867 (a3530822107858468866, b3530822107858468867) (Tuple2Sym1 b3530822107858468867 a3530822107858468866 l0) l1 # | |
type Apply b6989586621679509136 (TyFun [a6989586621679509135] b6989586621679509136 -> Type) (FoldlSym1 a6989586621679509135 b6989586621679509136 l0) l1 # | |
type Apply b6989586621679550106 (TyFun [a6989586621679550105] b6989586621679550106 -> Type) (FoldrSym1 a6989586621679550105 b6989586621679550106 l0) l1 # | |
type Apply b6989586621679796403 (TyFun [a6989586621679796402] b6989586621679796403 -> Type) (Foldl'Sym1 a6989586621679796402 b6989586621679796403 l0) l1 # | |
type Apply b6989586621679796393 (TyFun [a6989586621679796394] [b6989586621679796393] -> Type) (ScanlSym1 a6989586621679796394 b6989586621679796393 l0) l1 # | |
type Apply b6989586621679796391 (TyFun [a6989586621679796390] [b6989586621679796391] -> Type) (ScanrSym1 a6989586621679796390 b6989586621679796391 l0) l1 # | |
type Apply k4 ((~>) k1 k2) (TyCon2 k2 k1 k4 f) x # | |
type Apply a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) -> Type) -> Type) (Tuple4Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869) l0 # | |
type Apply b3530822107858468867 (TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> Type) (Tuple3Sym1 b3530822107858468867 c3530822107858468868 a3530822107858468866 l0) l1 # | |
type Apply b6989586621679550094 (TyFun a6989586621679550093 c6989586621679550095 -> Type) (FlipSym1 a6989586621679550093 b6989586621679550094 c6989586621679550095 l0) l1 # | |
type Apply a6989586621679781811 (TyFun b6989586621679781812 c6989586621679781813 -> Type) (CurrySym1 a6989586621679781811 b6989586621679781812 c6989586621679781813 l0) l1 # | |
type Apply acc6989586621679796386 (TyFun [x6989586621679796387] (acc6989586621679796386, [y6989586621679796388]) -> Type) (MapAccumLSym1 x6989586621679796387 acc6989586621679796386 y6989586621679796388 l0) l1 # | |
type Apply acc6989586621679796383 (TyFun [x6989586621679796384] (acc6989586621679796383, [y6989586621679796385]) -> Type) (MapAccumRSym1 x6989586621679796384 acc6989586621679796383 y6989586621679796385 l0) l1 # | |
type Apply k4 ((~>) k1 ((~>) k2 k3)) (TyCon3 k3 k2 k1 k4 f) x # | |
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 # | |
type Apply b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) -> Type) (Tuple4Sym1 b3530822107858468867 c3530822107858468868 d3530822107858468869 a3530822107858468866 l0) l1 # | |
type Apply k7 ((~>) k1 ((~>) k2 ((~>) k3 k4))) (TyCon4 k4 k3 k2 k1 k7 f) x # | |
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 # | |
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 # | |
type Apply c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) (Tuple4Sym2 c3530822107858468868 d3530822107858468869 b3530822107858468867 a3530822107858468866 l1 l0) l2 # | |
type Apply k7 ((~>) k1 ((~>) k2 ((~>) k3 ((~>) k4 k5)))) (TyCon5 k5 k4 k3 k2 k1 k7 f) x # | |
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 # | |
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 # | |
type Apply c3530822107858468868 (TyFun d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) -> Type) (Tuple5Sym2 c3530822107858468868 d3530822107858468869 e3530822107858468870 b3530822107858468867 a3530822107858468866 l1 l0) l2 # | |
type Apply k7 ((~>) k1 ((~>) k2 ((~>) k3 ((~>) k4 ((~>) k5 k6))))) (TyCon6 k6 k5 k4 k3 k2 k1 k7 f) x # | |
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 # | |
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 # | |
type Apply d3530822107858468869 (TyFun e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) -> Type) (Tuple5Sym3 d3530822107858468869 e3530822107858468870 c3530822107858468868 b3530822107858468867 a3530822107858468866 l2 l1 l0) l3 # | |
type Apply k11 ((~>) k1 ((~>) k2 ((~>) k3 ((~>) k4 ((~>) k5 ((~>) k6 k7)))))) (TyCon7 k7 k6 k5 k4 k3 k2 k1 k11 f) x # | |
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 # | |
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 # | |
type Apply k11 ((~>) k1 ((~>) k2 ((~>) k3 ((~>) k4 ((~>) k5 ((~>) k6 ((~>) k7 k8))))))) (TyCon8 k8 k7 k6 k5 k4 k3 k2 k1 k11 f) x # | |
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 # | |
type Apply e3530822107858468870 (TyFun f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) -> Type) (Tuple6Sym4 e3530822107858468870 f3530822107858468871 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866 l3 l2 l1 l0) l4 # | |
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 # | |
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 # | |
type Apply c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) (Tuple3Sym2 c3530822107858468868 b3530822107858468867 a3530822107858468866 l1 l0) l2 # | |
type Apply d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) (Tuple4Sym3 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866 l2 l1 l0) l3 # | |
type Apply e3530822107858468870 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870) (Tuple5Sym4 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866 l3 l2 l1 l0) l4 # | |
type Apply f3530822107858468871 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869, e3530822107858468870, f3530822107858468871) (Tuple6Sym5 f3530822107858468871 e3530822107858468870 d3530822107858468869 c3530822107858468868 b3530822107858468867 a3530822107858468866 l4 l3 l2 l1 l0) l5 # | |
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 Apply [Bool] Bool AndSym0 l0 # | |
type Apply [Bool] Bool OrSym0 l0 # | |
type Apply [a6989586621679796415] a6989586621679796415 (HeadSym0 a6989586621679796415) l0 # | |
type Apply [a6989586621679796414] a6989586621679796414 (LastSym0 a6989586621679796414) l0 # | |
type Apply [a6989586621679796411] Bool (NullSym0 a6989586621679796411) l0 # | |
type Apply [a6989586621679796308] a6989586621679796308 (MinimumSym0 a6989586621679796308) l0 # | |
type Apply [a6989586621679796309] a6989586621679796309 (MaximumSym0 a6989586621679796309) l0 # | |
type Apply [a6989586621679796300] a6989586621679796300 (SumSym0 a6989586621679796300) l0 # | |
type Apply [a6989586621679796299] a6989586621679796299 (ProductSym0 a6989586621679796299) l0 # | |
type Apply [a6989586621679796298] Nat (LengthSym0 a6989586621679796298) l0 # | |
type Apply (Maybe a6989586621679771950) Bool (IsJustSym0 a6989586621679771950) l0 # | |
type Apply (Maybe a6989586621679771949) Bool (IsNothingSym0 a6989586621679771949) l0 # | |
type Apply (Maybe a6989586621679771948) a6989586621679771948 (FromJustSym0 a6989586621679771948) l0 # | |
type Apply [a6989586621679785711] Bool (Any_Sym1 a6989586621679785711 l0) l1 # | |
type Apply [a6989586621679796377] Bool (IsSuffixOfSym1 a6989586621679796377 l0) l1 # | |
type Apply [a6989586621679796400] a6989586621679796400 (Foldl1'Sym1 a6989586621679796400 l0) l1 # | |
type Apply [a6989586621679796327] a6989586621679796327 (MinimumBySym1 a6989586621679796327 l0) l1 # | |
type Apply [a6989586621679796328] a6989586621679796328 (MaximumBySym1 a6989586621679796328 l0) l1 # | |
type Apply [a6989586621679796401] a6989586621679796401 (Foldl1Sym1 a6989586621679796401 l0) l1 # | |
type Apply [a6989586621679796399] a6989586621679796399 (Foldr1Sym1 a6989586621679796399 l0) l1 # | |
type Apply [a6989586621679796395] Bool (AllSym1 a6989586621679796395 l0) l1 # | |
type Apply [a6989586621679796376] Bool (IsInfixOfSym1 a6989586621679796376 l0) l1 # | |
type Apply [a6989586621679796378] Bool (IsPrefixOfSym1 a6989586621679796378 l0) l1 # | |
type Apply [a6989586621679796375] Bool (ElemSym1 a6989586621679796375 l0) l1 # | |
type Apply [a6989586621679796374] Bool (NotElemSym1 a6989586621679796374 l0) l1 # | |
type Apply [a6989586621679796289] k2 (GenericLengthSym0 a6989586621679796289 k2) l0 # | |
type Apply (Maybe a6989586621679771947) a6989586621679771947 (FromMaybeSym1 a6989586621679771947 l0) l1 # | |
type Apply [a6989586621679509135] b6989586621679509136 (FoldlSym2 a6989586621679509135 b6989586621679509136 l1 l0) l2 # | |
type Apply [a6989586621679550105] b6989586621679550106 (FoldrSym2 a6989586621679550105 b6989586621679550106 l1 l0) l2 # | |
type Apply [a6989586621679796402] b6989586621679796403 (Foldl'Sym2 a6989586621679796402 b6989586621679796403 l1 l0) l2 # | |
type Apply (Maybe a6989586621679770697) b6989586621679770696 (Maybe_Sym2 a6989586621679770697 b6989586621679770696 l1 l0) l2 # | |
type Apply [[a6989586621679796296]] [[a6989586621679796296]] (TransposeSym0 a6989586621679796296) l0 # | |
type Apply [[a6989586621679796398]] [a6989586621679796398] (ConcatSym0 a6989586621679796398) l0 # | |
type Apply [Maybe a6989586621679771944] [a6989586621679771944] (CatMaybesSym0 a6989586621679771944) l0 # | |
type Apply [a6989586621679771945] (Maybe a6989586621679771945) (ListToMaybeSym0 a6989586621679771945) l0 # | |
type Apply [a6989586621679796413] [a6989586621679796413] (TailSym0 a6989586621679796413) l0 # | |
type Apply [a6989586621679796412] [a6989586621679796412] (InitSym0 a6989586621679796412) l0 # | |
type Apply [a6989586621679796410] [a6989586621679796410] (ReverseSym0 a6989586621679796410) l0 # | |
type Apply [a6989586621679796407] [[a6989586621679796407]] (SubsequencesSym0 a6989586621679796407) l0 # | |
type Apply [a6989586621679796404] [[a6989586621679796404]] (PermutationsSym0 a6989586621679796404) l0 # | |
type Apply [a6989586621679796380] [[a6989586621679796380]] (InitsSym0 a6989586621679796380) l0 # | |
type Apply [a6989586621679796379] [[a6989586621679796379]] (TailsSym0 a6989586621679796379) l0 # | |
type Apply [a6989586621679796294] [a6989586621679796294] (NubSym0 a6989586621679796294) l0 # | |
type Apply [a6989586621679796306] [a6989586621679796306] (SortSym0 a6989586621679796306) l0 # | |
type Apply [a6989586621679796310] [[a6989586621679796310]] (GroupSym0 a6989586621679796310) l0 # | |
type Apply (Maybe a6989586621679771946) [a6989586621679771946] (MaybeToListSym0 a6989586621679771946) l0 # | |
type Apply [[a6989586621679796408]] [a6989586621679796408] (IntercalateSym1 a6989586621679796408 l0) l1 # | |
type Apply [Either a6989586621679762510 b6989586621679762511] [a6989586621679762510] (LeftsSym0 b6989586621679762511 a6989586621679762510) l0 # | |
type Apply [Either a6989586621679762508 b6989586621679762509] [b6989586621679762509] (RightsSym0 a6989586621679762508 b6989586621679762509) l0 # | |
type Apply [a3530822107858468866] [a3530822107858468866] ((:$$) a3530822107858468866 l0) l1 # | |
type Apply [a6989586621679550102] [a6989586621679550102] ((:++$$) a6989586621679550102 l0) l1 # | |
type Apply [a6989586621679796316] [a6989586621679796316] (DropWhileEndSym1 a6989586621679796316 l0) l1 # | |
type Apply [a6989586621679796409] [a6989586621679796409] (IntersperseSym1 a6989586621679796409 l0) l1 # | |
type Apply [a6989586621679796392] [a6989586621679796392] (Scanl1Sym1 a6989586621679796392 l0) l1 # | |
type Apply [a6989586621679796389] [a6989586621679796389] (Scanr1Sym1 a6989586621679796389 l0) l1 # | |
type Apply [a6989586621679796324] (Maybe Nat) (ElemIndexSym1 a6989586621679796324 l0) l1 # | |
type Apply [a6989586621679796322] (Maybe Nat) (FindIndexSym1 a6989586621679796322 l0) l1 # | |
type Apply [a6989586621679796323] [Nat] (ElemIndicesSym1 a6989586621679796323 l0) l1 # | |
type Apply [a6989586621679796321] [Nat] (FindIndicesSym1 a6989586621679796321 l0) l1 # | |
type Apply [a6989586621679796333] [a6989586621679796333] ((:\\$$) a6989586621679796333 l0) l1 # | |
type Apply [a6989586621679796334] [a6989586621679796334] (DeleteSym1 a6989586621679796334 l0) l1 # | |
type Apply [a6989586621679796290] [a6989586621679796290] (UnionSym1 a6989586621679796290 l0) l1 # | |
type Apply [a6989586621679796330] [a6989586621679796330] (SortBySym1 a6989586621679796330 l0) l1 # | |
type Apply [a6989586621679796307] [a6989586621679796307] (InsertSym1 a6989586621679796307 l0) l1 # | |
type Apply [a6989586621679796320] [a6989586621679796320] (IntersectSym1 a6989586621679796320 l0) l1 # | |
type Apply [a6989586621679796325] (Maybe a6989586621679796325) (FindSym1 a6989586621679796325 l0) l1 # | |
type Apply [a6989586621679796326] [a6989586621679796326] (FilterSym1 a6989586621679796326 l0) l1 # | |
type Apply [a6989586621679796318] [a6989586621679796318] (TakeWhileSym1 a6989586621679796318 l0) l1 # | |
type Apply [a6989586621679796317] [a6989586621679796317] (DropWhileSym1 a6989586621679796317 l0) l1 # | |
type Apply [a6989586621679796305] [[a6989586621679796305]] (GroupBySym1 a6989586621679796305 l0) l1 # | |
type Apply [a6989586621679796313] [a6989586621679796313] (TakeSym1 a6989586621679796313 l0) l1 # | |
type Apply [a6989586621679796312] [a6989586621679796312] (DropSym1 a6989586621679796312 l0) l1 # | |
type Apply [a6989586621679796293] [a6989586621679796293] (NubBySym1 a6989586621679796293 l0) l1 # | |
type Apply [a6989586621680051561] (Maybe [a6989586621680051561]) (StripPrefixSym1 a6989586621680051561 l0) l1 # | |
type Apply [(a6989586621679796303, b6989586621679796304)] (Maybe b6989586621679796304) (LookupSym1 b6989586621679796304 a6989586621679796303 l0) l1 # | |
type Apply [a6989586621679550103] [b6989586621679550104] (MapSym1 a6989586621679550103 b6989586621679550104 l0) l1 # | |
type Apply [a6989586621679771942] [b6989586621679771943] (MapMaybeSym1 a6989586621679771942 b6989586621679771943 l0) l1 # | |
type Apply [a6989586621679796396] [b6989586621679796397] (ConcatMapSym1 a6989586621679796396 b6989586621679796397 l0) l1 # | |
type Apply [b6989586621679796373] [(a6989586621679796372, b6989586621679796373)] (ZipSym1 b6989586621679796373 a6989586621679796372 l0) l1 # | |
type Apply [a6989586621679796291] [a6989586621679796291] (UnionBySym2 a6989586621679796291 l1 l0) l2 # | |
type Apply [a6989586621679796331] [a6989586621679796331] (DeleteFirstsBySym2 a6989586621679796331 l1 l0) l2 # | |
type Apply [a6989586621679796332] [a6989586621679796332] (DeleteBySym2 a6989586621679796332 l1 l0) l2 # | |
type Apply [a6989586621679796329] [a6989586621679796329] (InsertBySym2 a6989586621679796329 l1 l0) l2 # | |
type Apply [a6989586621679796319] [a6989586621679796319] (IntersectBySym2 a6989586621679796319 l1 l0) l2 # | |
type Apply [a6989586621680051512] [a6989586621680051512] (GenericTakeSym1 a6989586621680051512 i6989586621680051511 l0) l1 # | |
type Apply [a6989586621680051510] [a6989586621680051510] (GenericDropSym1 a6989586621680051510 i6989586621680051509 l0) l1 # | |
type Apply [a6989586621679796394] [b6989586621679796393] (ScanlSym2 a6989586621679796394 b6989586621679796393 l1 l0) l2 # | |
type Apply [a6989586621679796390] [b6989586621679796391] (ScanrSym2 a6989586621679796390 b6989586621679796391 l1 l0) l2 # | |
type Apply [c6989586621679796371] [(a6989586621679796369, b6989586621679796370, c6989586621679796371)] (Zip3Sym2 c6989586621679796371 b6989586621679796370 a6989586621679796369 l1 l0) l2 # | |
type Apply [b6989586621679796367] [c6989586621679796368] (ZipWithSym2 a6989586621679796366 b6989586621679796367 c6989586621679796368 l1 l0) l2 # | |
type Apply [c6989586621679796364] [d6989586621679796365] (ZipWith3Sym3 a6989586621679796362 b6989586621679796363 c6989586621679796364 d6989586621679796365 l2 l1 l0) l3 # | |
type Apply [d6989586621680051560] [(a6989586621680051557, b6989586621680051558, c6989586621680051559, d6989586621680051560)] (Zip4Sym3 d6989586621680051560 c6989586621680051559 b6989586621680051558 a6989586621680051557 l2 l1 l0) l3 # | |
type Apply [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] (Zip5Sym4 e6989586621680051556 d6989586621680051555 c6989586621680051554 b6989586621680051553 a6989586621680051552 l3 l2 l1 l0) l4 # | |
type Apply [d6989586621680051537] [e6989586621680051538] (ZipWith4Sym4 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538 l3 l2 l1 l0) l4 # | |
type Apply [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] (Zip6Sym5 f6989586621680051551 e6989586621680051550 d6989586621680051549 c6989586621680051548 b6989586621680051547 a6989586621680051546 l4 l3 l2 l1 l0) l5 # | |
type Apply [e6989586621680051532] [f6989586621680051533] (ZipWith5Sym5 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533 l4 l3 l2 l1 l0) l5 # | |
type Apply [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] (Zip7Sym6 g6989586621680051545 f6989586621680051544 e6989586621680051543 d6989586621680051542 c6989586621680051541 b6989586621680051540 a6989586621680051539 l5 l4 l3 l2 l1 l0) l6 # | |
type Apply [f6989586621680051526] [g6989586621680051527] (ZipWith6Sym6 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527 l5 l4 l3 l2 l1 l0) l6 # | |
type Apply [g6989586621680051519] [h6989586621680051520] (ZipWith7Sym7 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520 l6 l5 l4 l3 l2 l1 l0) l7 # | |
type Apply [a6989586621679550102] (TyFun [a6989586621679550102] [a6989586621679550102] -> Type) ((:++$) a6989586621679550102) l0 # | |
type Apply [a6989586621679796377] (TyFun [a6989586621679796377] Bool -> Type) (IsSuffixOfSym0 a6989586621679796377) l0 # | |
type Apply [a6989586621679796408] (TyFun [[a6989586621679796408]] [a6989586621679796408] -> Type) (IntercalateSym0 a6989586621679796408) l0 # | |
type Apply [a6989586621679796376] (TyFun [a6989586621679796376] Bool -> Type) (IsInfixOfSym0 a6989586621679796376) l0 # | |
type Apply [a6989586621679796378] (TyFun [a6989586621679796378] Bool -> Type) (IsPrefixOfSym0 a6989586621679796378) l0 # | |
type Apply [a6989586621679796333] (TyFun [a6989586621679796333] [a6989586621679796333] -> Type) ((:\\$) a6989586621679796333) l0 # | |
type Apply [a6989586621679796290] (TyFun [a6989586621679796290] [a6989586621679796290] -> Type) (UnionSym0 a6989586621679796290) l0 # | |
type Apply [a6989586621679796320] (TyFun [a6989586621679796320] [a6989586621679796320] -> Type) (IntersectSym0 a6989586621679796320) l0 # | |
type Apply [a6989586621679796295] (TyFun Nat a6989586621679796295 -> Type) ((:!!$) a6989586621679796295) l0 # | |
type Apply [a6989586621680051561] (TyFun [a6989586621680051561] (Maybe [a6989586621680051561]) -> Type) (StripPrefixSym0 a6989586621680051561) l0 # | |
type Apply [(a6989586621679796360, b6989586621679796361)] ([a6989586621679796360], [b6989586621679796361]) (UnzipSym0 a6989586621679796360 b6989586621679796361) l0 # | |
type Apply [a6989586621679796372] (TyFun [b6989586621679796373] [(a6989586621679796372, b6989586621679796373)] -> Type) (ZipSym0 a6989586621679796372 b6989586621679796373) l0 # | |
type Apply [a6989586621679796291] (TyFun [a6989586621679796291] [a6989586621679796291] -> Type) (UnionBySym1 a6989586621679796291 l0) l1 # | |
type Apply [a6989586621679796331] (TyFun [a6989586621679796331] [a6989586621679796331] -> Type) (DeleteFirstsBySym1 a6989586621679796331 l0) l1 # | |
type Apply [a6989586621679796319] (TyFun [a6989586621679796319] [a6989586621679796319] -> Type) (IntersectBySym1 a6989586621679796319 l0) l1 # | |
type Apply [a6989586621679796315] ([a6989586621679796315], [a6989586621679796315]) (SpanSym1 a6989586621679796315 l0) l1 # | |
type Apply [a6989586621679796314] ([a6989586621679796314], [a6989586621679796314]) (BreakSym1 a6989586621679796314 l0) l1 # | |
type Apply [a6989586621679796311] ([a6989586621679796311], [a6989586621679796311]) (SplitAtSym1 a6989586621679796311 l0) l1 # | |
type Apply [a6989586621679796302] ([a6989586621679796302], [a6989586621679796302]) (PartitionSym1 a6989586621679796302 l0) l1 # | |
type Apply [a6989586621680051506] (TyFun i6989586621680051505 a6989586621680051506 -> Type) (GenericIndexSym0 i6989586621680051505 a6989586621680051506) l0 # | |
type Apply [a6989586621679796369] (TyFun [b6989586621679796370] (TyFun [c6989586621679796371] [(a6989586621679796369, b6989586621679796370, c6989586621679796371)] -> Type) -> Type) (Zip3Sym0 a6989586621679796369 b6989586621679796370 c6989586621679796371) l0 # | |
type Apply [a6989586621680051508] ([a6989586621680051508], [a6989586621680051508]) (GenericSplitAtSym1 a6989586621680051508 i6989586621680051507 l0) l1 # | |
type Apply [b6989586621679796370] (TyFun [c6989586621679796371] [(a6989586621679796369, b6989586621679796370, c6989586621679796371)] -> Type) (Zip3Sym1 b6989586621679796370 c6989586621679796371 a6989586621679796369 l0) l1 # | |
type Apply [a6989586621679796366] (TyFun [b6989586621679796367] [c6989586621679796368] -> Type) (ZipWithSym1 a6989586621679796366 b6989586621679796367 c6989586621679796368 l0) l1 # | |
type Apply [a6989586621680051557] (TyFun [b6989586621680051558] (TyFun [c6989586621680051559] (TyFun [d6989586621680051560] [(a6989586621680051557, b6989586621680051558, c6989586621680051559, d6989586621680051560)] -> Type) -> Type) -> Type) (Zip4Sym0 a6989586621680051557 b6989586621680051558 c6989586621680051559 d6989586621680051560) l0 # | |
type Apply [x6989586621679796387] (acc6989586621679796386, [y6989586621679796388]) (MapAccumLSym2 x6989586621679796387 acc6989586621679796386 y6989586621679796388 l1 l0) l2 # | |
type Apply [x6989586621679796384] (acc6989586621679796383, [y6989586621679796385]) (MapAccumRSym2 x6989586621679796384 acc6989586621679796383 y6989586621679796385 l1 l0) l2 # | |
type Apply [a6989586621679796362] (TyFun [b6989586621679796363] (TyFun [c6989586621679796364] [d6989586621679796365] -> Type) -> Type) (ZipWith3Sym1 a6989586621679796362 b6989586621679796363 c6989586621679796364 d6989586621679796365 l0) l1 # | |
type Apply [b6989586621680051558] (TyFun [c6989586621680051559] (TyFun [d6989586621680051560] [(a6989586621680051557, b6989586621680051558, c6989586621680051559, d6989586621680051560)] -> Type) -> Type) (Zip4Sym1 b6989586621680051558 c6989586621680051559 d6989586621680051560 a6989586621680051557 l0) l1 # | |
type Apply [a6989586621680051552] (TyFun [b6989586621680051553] (TyFun [c6989586621680051554] (TyFun [d6989586621680051555] (TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> Type) -> Type) -> Type) -> Type) (Zip5Sym0 a6989586621680051552 b6989586621680051553 c6989586621680051554 d6989586621680051555 e6989586621680051556) l0 # | |
type Apply [b6989586621679796363] (TyFun [c6989586621679796364] [d6989586621679796365] -> Type) (ZipWith3Sym2 a6989586621679796362 b6989586621679796363 c6989586621679796364 d6989586621679796365 l1 l0) l2 # | |
type Apply [c6989586621680051559] (TyFun [d6989586621680051560] [(a6989586621680051557, b6989586621680051558, c6989586621680051559, d6989586621680051560)] -> Type) (Zip4Sym2 c6989586621680051559 d6989586621680051560 b6989586621680051558 a6989586621680051557 l1 l0) l2 # | |
type Apply [b6989586621680051553] (TyFun [c6989586621680051554] (TyFun [d6989586621680051555] (TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> Type) -> Type) -> Type) (Zip5Sym1 b6989586621680051553 c6989586621680051554 d6989586621680051555 e6989586621680051556 a6989586621680051552 l0) l1 # | |
type Apply [a6989586621680051546] (TyFun [b6989586621680051547] (TyFun [c6989586621680051548] (TyFun [d6989586621680051549] (TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> Type) -> Type) -> Type) -> Type) (Zip6Sym0 a6989586621680051546 b6989586621680051547 c6989586621680051548 d6989586621680051549 e6989586621680051550 f6989586621680051551) l0 # | |
type Apply [a6989586621680051534] (TyFun [b6989586621680051535] (TyFun [c6989586621680051536] (TyFun [d6989586621680051537] [e6989586621680051538] -> Type) -> Type) -> Type) (ZipWith4Sym1 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538 l0) l1 # | |
type Apply [c6989586621680051554] (TyFun [d6989586621680051555] (TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> Type) -> Type) (Zip5Sym2 c6989586621680051554 d6989586621680051555 e6989586621680051556 b6989586621680051553 a6989586621680051552 l1 l0) l2 # | |
type Apply [b6989586621680051547] (TyFun [c6989586621680051548] (TyFun [d6989586621680051549] (TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> Type) -> Type) -> Type) (Zip6Sym1 b6989586621680051547 c6989586621680051548 d6989586621680051549 e6989586621680051550 f6989586621680051551 a6989586621680051546 l0) l1 # | |
type Apply [a6989586621680051539] (TyFun [b6989586621680051540] (TyFun [c6989586621680051541] (TyFun [d6989586621680051542] (TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Zip7Sym0 a6989586621680051539 b6989586621680051540 c6989586621680051541 d6989586621680051542 e6989586621680051543 f6989586621680051544 g6989586621680051545) l0 # | |
type Apply [b6989586621680051535] (TyFun [c6989586621680051536] (TyFun [d6989586621680051537] [e6989586621680051538] -> Type) -> Type) (ZipWith4Sym2 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538 l1 l0) l2 # | |
type Apply [a6989586621680051528] (TyFun [b6989586621680051529] (TyFun [c6989586621680051530] (TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> Type) -> Type) -> Type) (ZipWith5Sym1 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533 l0) l1 # | |
type Apply [d6989586621680051555] (TyFun [e6989586621680051556] [(a6989586621680051552, b6989586621680051553, c6989586621680051554, d6989586621680051555, e6989586621680051556)] -> Type) (Zip5Sym3 d6989586621680051555 e6989586621680051556 c6989586621680051554 b6989586621680051553 a6989586621680051552 l2 l1 l0) l3 # | |
type Apply [c6989586621680051548] (TyFun [d6989586621680051549] (TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> Type) -> Type) (Zip6Sym2 c6989586621680051548 d6989586621680051549 e6989586621680051550 f6989586621680051551 b6989586621680051547 a6989586621680051546 l1 l0) l2 # | |
type Apply [b6989586621680051540] (TyFun [c6989586621680051541] (TyFun [d6989586621680051542] (TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> Type) -> Type) -> Type) (Zip7Sym1 b6989586621680051540 c6989586621680051541 d6989586621680051542 e6989586621680051543 f6989586621680051544 g6989586621680051545 a6989586621680051539 l0) l1 # | |
type Apply [c6989586621680051536] (TyFun [d6989586621680051537] [e6989586621680051538] -> Type) (ZipWith4Sym3 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538 l2 l1 l0) l3 # | |
type Apply [b6989586621680051529] (TyFun [c6989586621680051530] (TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> Type) -> Type) (ZipWith5Sym2 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533 l1 l0) l2 # | |
type Apply [a6989586621680051521] (TyFun [b6989586621680051522] (TyFun [c6989586621680051523] (TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith6Sym1 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527 l0) l1 # | |
type Apply [d6989586621680051549] (TyFun [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) -> Type) (Zip6Sym3 d6989586621680051549 e6989586621680051550 f6989586621680051551 c6989586621680051548 b6989586621680051547 a6989586621680051546 l2 l1 l0) l3 # | |
type Apply [c6989586621680051541] (TyFun [d6989586621680051542] (TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> Type) -> Type) (Zip7Sym2 c6989586621680051541 d6989586621680051542 e6989586621680051543 f6989586621680051544 g6989586621680051545 b6989586621680051540 a6989586621680051539 l1 l0) l2 # | |
type Apply [c6989586621680051530] (TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> Type) (ZipWith5Sym3 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533 l2 l1 l0) l3 # | |
type Apply [b6989586621680051522] (TyFun [c6989586621680051523] (TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> Type) -> Type) (ZipWith6Sym2 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527 l1 l0) l2 # | |
type Apply [a6989586621680051513] (TyFun [b6989586621680051514] (TyFun [c6989586621680051515] (TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith7Sym1 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520 l0) l1 # | |
type Apply [e6989586621680051550] (TyFun [f6989586621680051551] [(a6989586621680051546, b6989586621680051547, c6989586621680051548, d6989586621680051549, e6989586621680051550, f6989586621680051551)] -> Type) (Zip6Sym4 e6989586621680051550 f6989586621680051551 d6989586621680051549 c6989586621680051548 b6989586621680051547 a6989586621680051546 l3 l2 l1 l0) l4 # | |
type Apply [d6989586621680051542] (TyFun [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) -> Type) (Zip7Sym3 d6989586621680051542 e6989586621680051543 f6989586621680051544 g6989586621680051545 c6989586621680051541 b6989586621680051540 a6989586621680051539 l2 l1 l0) l3 # | |
type Apply [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) (ZipWith5Sym4 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533 l3 l2 l1 l0) l4 # | |
type Apply [c6989586621680051523] (TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> Type) (ZipWith6Sym3 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527 l2 l1 l0) l3 # | |
type Apply [b6989586621680051514] (TyFun [c6989586621680051515] (TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith7Sym2 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520 l1 l0) l2 # | |
type Apply [e6989586621680051543] (TyFun [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) -> Type) (Zip7Sym4 e6989586621680051543 f6989586621680051544 g6989586621680051545 d6989586621680051542 c6989586621680051541 b6989586621680051540 a6989586621680051539 l3 l2 l1 l0) l4 # | |
type Apply [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) (ZipWith6Sym4 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527 l3 l2 l1 l0) l4 # | |
type Apply [c6989586621680051515] (TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> Type) (ZipWith7Sym3 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520 l2 l1 l0) l3 # | |
type Apply [f6989586621680051544] (TyFun [g6989586621680051545] [(a6989586621680051539, b6989586621680051540, c6989586621680051541, d6989586621680051542, e6989586621680051543, f6989586621680051544, g6989586621680051545)] -> Type) (Zip7Sym5 f6989586621680051544 g6989586621680051545 e6989586621680051543 d6989586621680051542 c6989586621680051541 b6989586621680051540 a6989586621680051539 l4 l3 l2 l1 l0) l5 # | |
type Apply [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) (ZipWith6Sym5 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527 l4 l3 l2 l1 l0) l5 # | |
type Apply [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) (ZipWith7Sym4 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520 l3 l2 l1 l0) l4 # | |
type Apply [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) (ZipWith7Sym5 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520 l4 l3 l2 l1 l0) l5 # | |
type Apply [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) (ZipWith7Sym6 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520 l5 l4 l3 l2 l1 l0) l6 # | |
type Apply [(a6989586621679796357, b6989586621679796358, c6989586621679796359)] ([a6989586621679796357], [b6989586621679796358], [c6989586621679796359]) (Unzip3Sym0 a6989586621679796357 b6989586621679796358 c6989586621679796359) l0 # | |
type Apply [(a6989586621679796353, b6989586621679796354, c6989586621679796355, d6989586621679796356)] ([a6989586621679796353], [b6989586621679796354], [c6989586621679796355], [d6989586621679796356]) (Unzip4Sym0 a6989586621679796353 b6989586621679796354 c6989586621679796355 d6989586621679796356) l0 # | |
type Apply [(a6989586621679796348, b6989586621679796349, c6989586621679796350, d6989586621679796351, e6989586621679796352)] ([a6989586621679796348], [b6989586621679796349], [c6989586621679796350], [d6989586621679796351], [e6989586621679796352]) (Unzip5Sym0 a6989586621679796348 b6989586621679796349 c6989586621679796350 d6989586621679796351 e6989586621679796352) l0 # | |
type Apply [(a6989586621679796342, b6989586621679796343, c6989586621679796344, d6989586621679796345, e6989586621679796346, f6989586621679796347)] ([a6989586621679796342], [b6989586621679796343], [c6989586621679796344], [d6989586621679796345], [e6989586621679796346], [f6989586621679796347]) (Unzip6Sym0 a6989586621679796342 b6989586621679796343 c6989586621679796344 d6989586621679796345 e6989586621679796346 f6989586621679796347) l0 # | |
type Apply [(a6989586621679796335, b6989586621679796336, c6989586621679796337, d6989586621679796338, e6989586621679796339, f6989586621679796340, g6989586621679796341)] ([a6989586621679796335], [b6989586621679796336], [c6989586621679796337], [d6989586621679796338], [e6989586621679796339], [f6989586621679796340], [g6989586621679796341]) (Unzip7Sym0 a6989586621679796335 b6989586621679796336 c6989586621679796337 d6989586621679796338 e6989586621679796339 f6989586621679796340 g6989586621679796341) l0 # | |
type Apply (Either a6989586621679762504 b6989586621679762505) Bool (IsLeftSym0 a6989586621679762504 b6989586621679762505) l0 # | |
type Apply (Either a6989586621679762502 b6989586621679762503) Bool (IsRightSym0 a6989586621679762502 b6989586621679762503) l0 # | |
type Apply (a6989586621679781816, b6989586621679781817) a6989586621679781816 (FstSym0 b6989586621679781817 a6989586621679781816) l0 # | |
type Apply (a6989586621679781814, b6989586621679781815) b6989586621679781815 (SndSym0 a6989586621679781814 b6989586621679781815) l0 # | |
type Apply (a6989586621679781808, b6989586621679781809) c6989586621679781810 (UncurrySym1 a6989586621679781808 b6989586621679781809 c6989586621679781810 l0) l1 # | |
type Apply (Either a6989586621679761240 b6989586621679761242) c6989586621679761241 (Either_Sym2 b6989586621679761242 a6989586621679761240 c6989586621679761241 l1 l0) l2 # | |
type Apply (TyFun a6989586621679785711 Bool -> Type) (TyFun [a6989586621679785711] Bool -> Type) (Any_Sym0 a6989586621679785711) l0 # | |
type Apply (TyFun a6989586621679796316 Bool -> Type) (TyFun [a6989586621679796316] [a6989586621679796316] -> Type) (DropWhileEndSym0 a6989586621679796316) l0 # | |
type Apply (TyFun a6989586621679796400 (TyFun a6989586621679796400 a6989586621679796400 -> Type) -> Type) (TyFun [a6989586621679796400] a6989586621679796400 -> Type) (Foldl1'Sym0 a6989586621679796400) l0 # | |
type Apply (TyFun a6989586621679796327 (TyFun a6989586621679796327 Ordering -> Type) -> Type) (TyFun [a6989586621679796327] a6989586621679796327 -> Type) (MinimumBySym0 a6989586621679796327) l0 # | |
type Apply (TyFun a6989586621679796328 (TyFun a6989586621679796328 Ordering -> Type) -> Type) (TyFun [a6989586621679796328] a6989586621679796328 -> Type) (MaximumBySym0 a6989586621679796328) l0 # | |
type Apply (TyFun a6989586621679796401 (TyFun a6989586621679796401 a6989586621679796401 -> Type) -> Type) (TyFun [a6989586621679796401] a6989586621679796401 -> Type) (Foldl1Sym0 a6989586621679796401) l0 # | |
type Apply (TyFun a6989586621679796399 (TyFun a6989586621679796399 a6989586621679796399 -> Type) -> Type) (TyFun [a6989586621679796399] a6989586621679796399 -> Type) (Foldr1Sym0 a6989586621679796399) l0 # | |
type Apply (TyFun a6989586621679796395 Bool -> Type) (TyFun [a6989586621679796395] Bool -> Type) (AllSym0 a6989586621679796395) l0 # | |
type Apply (TyFun a6989586621679796392 (TyFun a6989586621679796392 a6989586621679796392 -> Type) -> Type) (TyFun [a6989586621679796392] [a6989586621679796392] -> Type) (Scanl1Sym0 a6989586621679796392) l0 # | |
type Apply (TyFun a6989586621679796389 (TyFun a6989586621679796389 a6989586621679796389 -> Type) -> Type) (TyFun [a6989586621679796389] [a6989586621679796389] -> Type) (Scanr1Sym0 a6989586621679796389) l0 # | |
type Apply (TyFun a6989586621679796322 Bool -> Type) (TyFun [a6989586621679796322] (Maybe Nat) -> Type) (FindIndexSym0 a6989586621679796322) l0 # | |
type Apply (TyFun a6989586621679796321 Bool -> Type) (TyFun [a6989586621679796321] [Nat] -> Type) (FindIndicesSym0 a6989586621679796321) l0 # | |
type Apply (TyFun a6989586621679796291 (TyFun a6989586621679796291 Bool -> Type) -> Type) (TyFun [a6989586621679796291] (TyFun [a6989586621679796291] [a6989586621679796291] -> Type) -> Type) (UnionBySym0 a6989586621679796291) l0 # | |
type Apply (TyFun a6989586621679796331 (TyFun a6989586621679796331 Bool -> Type) -> Type) (TyFun [a6989586621679796331] (TyFun [a6989586621679796331] [a6989586621679796331] -> Type) -> Type) (DeleteFirstsBySym0 a6989586621679796331) l0 # | |
type Apply (TyFun a6989586621679796332 (TyFun a6989586621679796332 Bool -> Type) -> Type) (TyFun a6989586621679796332 (TyFun [a6989586621679796332] [a6989586621679796332] -> Type) -> Type) (DeleteBySym0 a6989586621679796332) l0 # | |
type Apply (TyFun a6989586621679796330 (TyFun a6989586621679796330 Ordering -> Type) -> Type) (TyFun [a6989586621679796330] [a6989586621679796330] -> Type) (SortBySym0 a6989586621679796330) l0 # | |
type Apply (TyFun a6989586621679796329 (TyFun a6989586621679796329 Ordering -> Type) -> Type) (TyFun a6989586621679796329 (TyFun [a6989586621679796329] [a6989586621679796329] -> Type) -> Type) (InsertBySym0 a6989586621679796329) l0 # | |
type Apply (TyFun a6989586621679796319 (TyFun a6989586621679796319 Bool -> Type) -> Type) (TyFun [a6989586621679796319] (TyFun [a6989586621679796319] [a6989586621679796319] -> Type) -> Type) (IntersectBySym0 a6989586621679796319) l0 # | |
type Apply (TyFun a6989586621679796325 Bool -> Type) (TyFun [a6989586621679796325] (Maybe a6989586621679796325) -> Type) (FindSym0 a6989586621679796325) l0 # | |
type Apply (TyFun a6989586621679796326 Bool -> Type) (TyFun [a6989586621679796326] [a6989586621679796326] -> Type) (FilterSym0 a6989586621679796326) l0 # | |
type Apply (TyFun a6989586621679796318 Bool -> Type) (TyFun [a6989586621679796318] [a6989586621679796318] -> Type) (TakeWhileSym0 a6989586621679796318) l0 # | |
type Apply (TyFun a6989586621679796317 Bool -> Type) (TyFun [a6989586621679796317] [a6989586621679796317] -> Type) (DropWhileSym0 a6989586621679796317) l0 # | |
type Apply (TyFun a6989586621679796305 (TyFun a6989586621679796305 Bool -> Type) -> Type) (TyFun [a6989586621679796305] [[a6989586621679796305]] -> Type) (GroupBySym0 a6989586621679796305) l0 # | |
type Apply (TyFun a6989586621679796315 Bool -> Type) (TyFun [a6989586621679796315] ([a6989586621679796315], [a6989586621679796315]) -> Type) (SpanSym0 a6989586621679796315) l0 # | |
type Apply (TyFun a6989586621679796314 Bool -> Type) (TyFun [a6989586621679796314] ([a6989586621679796314], [a6989586621679796314]) -> Type) (BreakSym0 a6989586621679796314) l0 # | |
type Apply (TyFun a6989586621679796302 Bool -> Type) (TyFun [a6989586621679796302] ([a6989586621679796302], [a6989586621679796302]) -> Type) (PartitionSym0 a6989586621679796302) l0 # | |
type Apply (TyFun a6989586621679796293 (TyFun a6989586621679796293 Bool -> Type) -> Type) (TyFun [a6989586621679796293] [a6989586621679796293] -> Type) (NubBySym0 a6989586621679796293) l0 # | |
type Apply (TyFun a6989586621680073211 Bool -> Type) (TyFun (TyFun a6989586621680073211 a6989586621680073211 -> Type) (TyFun a6989586621680073211 a6989586621680073211 -> Type) -> Type) (UntilSym0 a6989586621680073211) l0 # | |
type Apply (TyFun b6989586621679509136 (TyFun a6989586621679509135 b6989586621679509136 -> Type) -> Type) (TyFun b6989586621679509136 (TyFun [a6989586621679509135] b6989586621679509136 -> Type) -> Type) (FoldlSym0 a6989586621679509135 b6989586621679509136) l0 # | |
type Apply (TyFun a b -> *) (TyFun a b -> *) (($!$) a b) arg # | |
type Apply (TyFun a b -> *) (TyFun a b -> *) (($$) a b) arg # | |
type Apply (TyFun a6989586621679550105 (TyFun b6989586621679550106 b6989586621679550106 -> Type) -> Type) (TyFun b6989586621679550106 (TyFun [a6989586621679550105] b6989586621679550106 -> Type) -> Type) (FoldrSym0 a6989586621679550105 b6989586621679550106) l0 # | |
type Apply (TyFun a6989586621679550103 b6989586621679550104 -> Type) (TyFun [a6989586621679550103] [b6989586621679550104] -> Type) (MapSym0 a6989586621679550103 b6989586621679550104) l0 # | |
type Apply (TyFun a6989586621679771942 (Maybe b6989586621679771943) -> Type) (TyFun [a6989586621679771942] [b6989586621679771943] -> Type) (MapMaybeSym0 a6989586621679771942 b6989586621679771943) l0 # | |
type Apply (TyFun b6989586621679796403 (TyFun a6989586621679796402 b6989586621679796403 -> Type) -> Type) (TyFun b6989586621679796403 (TyFun [a6989586621679796402] b6989586621679796403 -> Type) -> Type) (Foldl'Sym0 a6989586621679796402 b6989586621679796403) l0 # | |
type Apply (TyFun a6989586621679796396 [b6989586621679796397] -> Type) (TyFun [a6989586621679796396] [b6989586621679796397] -> Type) (ConcatMapSym0 a6989586621679796396 b6989586621679796397) l0 # | |
type Apply (TyFun b6989586621679796393 (TyFun a6989586621679796394 b6989586621679796393 -> Type) -> Type) (TyFun b6989586621679796393 (TyFun [a6989586621679796394] [b6989586621679796393] -> Type) -> Type) (ScanlSym0 a6989586621679796394 b6989586621679796393) l0 # | |
type Apply (TyFun a6989586621679796390 (TyFun b6989586621679796391 b6989586621679796391 -> Type) -> Type) (TyFun b6989586621679796391 (TyFun [a6989586621679796390] [b6989586621679796391] -> Type) -> Type) (ScanrSym0 a6989586621679796390 b6989586621679796391) l0 # | |
type Apply (TyFun b6989586621679796381 (Maybe (a6989586621679796382, b6989586621679796381)) -> Type) (TyFun b6989586621679796381 [a6989586621679796382] -> Type) (UnfoldrSym0 b6989586621679796381 a6989586621679796382) l0 # | |
type Apply (TyFun a6989586621680073211 a6989586621680073211 -> Type) (TyFun a6989586621680073211 a6989586621680073211 -> Type) (UntilSym1 a6989586621680073211 l0) l1 # | |
type Apply (a6989586621679781806, b6989586621679781807) (b6989586621679781807, a6989586621679781806) (SwapSym0 b6989586621679781807 a6989586621679781806) l0 # | |
type Apply (TyFun (a6989586621679781811, b6989586621679781812) c6989586621679781813 -> Type) (TyFun a6989586621679781811 (TyFun b6989586621679781812 c6989586621679781813 -> Type) -> Type) (CurrySym0 a6989586621679781811 b6989586621679781812 c6989586621679781813) l0 # | |
type Apply (TyFun b6989586621679550096 c6989586621679550097 -> Type) (TyFun (TyFun a6989586621679550098 b6989586621679550096 -> Type) (TyFun a6989586621679550098 c6989586621679550097 -> Type) -> Type) ((:.$) b6989586621679550096 a6989586621679550098 c6989586621679550097) l0 # | |
type Apply (TyFun a6989586621679550093 (TyFun b6989586621679550094 c6989586621679550095 -> Type) -> Type) (TyFun b6989586621679550094 (TyFun a6989586621679550093 c6989586621679550095 -> Type) -> Type) (FlipSym0 b6989586621679550094 a6989586621679550093 c6989586621679550095) l0 # | |
type Apply (TyFun a6989586621679761240 c6989586621679761241 -> Type) (TyFun (TyFun b6989586621679761242 c6989586621679761241 -> Type) (TyFun (Either a6989586621679761240 b6989586621679761242) c6989586621679761241 -> Type) -> Type) (Either_Sym0 a6989586621679761240 b6989586621679761242 c6989586621679761241) l0 # | |
type Apply (TyFun a6989586621679770697 b6989586621679770696 -> Type) (TyFun (Maybe a6989586621679770697) b6989586621679770696 -> Type) (Maybe_Sym1 a6989586621679770697 b6989586621679770696 l0) l1 # | |
type Apply (TyFun a6989586621679781808 (TyFun b6989586621679781809 c6989586621679781810 -> Type) -> Type) (TyFun (a6989586621679781808, b6989586621679781809) c6989586621679781810 -> Type) (UncurrySym0 a6989586621679781808 b6989586621679781809 c6989586621679781810) l0 # | |
type Apply (TyFun acc6989586621679796386 (TyFun x6989586621679796387 (acc6989586621679796386, y6989586621679796388) -> Type) -> Type) (TyFun acc6989586621679796386 (TyFun [x6989586621679796387] (acc6989586621679796386, [y6989586621679796388]) -> Type) -> Type) (MapAccumLSym0 x6989586621679796387 acc6989586621679796386 y6989586621679796388) l0 # | |
type Apply (TyFun acc6989586621679796383 (TyFun x6989586621679796384 (acc6989586621679796383, y6989586621679796385) -> Type) -> Type) (TyFun acc6989586621679796383 (TyFun [x6989586621679796384] (acc6989586621679796383, [y6989586621679796385]) -> Type) -> Type) (MapAccumRSym0 x6989586621679796384 acc6989586621679796383 y6989586621679796385) l0 # | |
type Apply (TyFun a6989586621679796366 (TyFun b6989586621679796367 c6989586621679796368 -> Type) -> Type) (TyFun [a6989586621679796366] (TyFun [b6989586621679796367] [c6989586621679796368] -> Type) -> Type) (ZipWithSym0 a6989586621679796366 b6989586621679796367 c6989586621679796368) l0 # | |
type Apply (TyFun a6989586621679550098 b6989586621679550096 -> Type) (TyFun a6989586621679550098 c6989586621679550097 -> Type) ((:.$$) a6989586621679550098 b6989586621679550096 c6989586621679550097 l0) l1 # | |
type Apply (TyFun b6989586621679761242 c6989586621679761241 -> Type) (TyFun (Either a6989586621679761240 b6989586621679761242) c6989586621679761241 -> Type) (Either_Sym1 b6989586621679761242 a6989586621679761240 c6989586621679761241 l0) l1 # | |
type Apply (TyFun a6989586621679796362 (TyFun b6989586621679796363 (TyFun c6989586621679796364 d6989586621679796365 -> Type) -> Type) -> Type) (TyFun [a6989586621679796362] (TyFun [b6989586621679796363] (TyFun [c6989586621679796364] [d6989586621679796365] -> Type) -> Type) -> Type) (ZipWith3Sym0 a6989586621679796362 b6989586621679796363 c6989586621679796364 d6989586621679796365) l0 # | |
type Apply (TyFun a6989586621680051534 (TyFun b6989586621680051535 (TyFun c6989586621680051536 (TyFun d6989586621680051537 e6989586621680051538 -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680051534] (TyFun [b6989586621680051535] (TyFun [c6989586621680051536] (TyFun [d6989586621680051537] [e6989586621680051538] -> Type) -> Type) -> Type) -> Type) (ZipWith4Sym0 a6989586621680051534 b6989586621680051535 c6989586621680051536 d6989586621680051537 e6989586621680051538) l0 # | |
type Apply (TyFun a6989586621680051528 (TyFun b6989586621680051529 (TyFun c6989586621680051530 (TyFun d6989586621680051531 (TyFun e6989586621680051532 f6989586621680051533 -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680051528] (TyFun [b6989586621680051529] (TyFun [c6989586621680051530] (TyFun [d6989586621680051531] (TyFun [e6989586621680051532] [f6989586621680051533] -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith5Sym0 a6989586621680051528 b6989586621680051529 c6989586621680051530 d6989586621680051531 e6989586621680051532 f6989586621680051533) l0 # | |
type Apply (TyFun a6989586621680051521 (TyFun b6989586621680051522 (TyFun c6989586621680051523 (TyFun d6989586621680051524 (TyFun e6989586621680051525 (TyFun f6989586621680051526 g6989586621680051527 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680051521] (TyFun [b6989586621680051522] (TyFun [c6989586621680051523] (TyFun [d6989586621680051524] (TyFun [e6989586621680051525] (TyFun [f6989586621680051526] [g6989586621680051527] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith6Sym0 a6989586621680051521 b6989586621680051522 c6989586621680051523 d6989586621680051524 e6989586621680051525 f6989586621680051526 g6989586621680051527) l0 # | |
type Apply (TyFun a6989586621680051513 (TyFun b6989586621680051514 (TyFun c6989586621680051515 (TyFun d6989586621680051516 (TyFun e6989586621680051517 (TyFun f6989586621680051518 (TyFun g6989586621680051519 h6989586621680051520 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680051513] (TyFun [b6989586621680051514] (TyFun [c6989586621680051515] (TyFun [d6989586621680051516] (TyFun [e6989586621680051517] (TyFun [f6989586621680051518] (TyFun [g6989586621680051519] [h6989586621680051520] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith7Sym0 a6989586621680051513 b6989586621680051514 c6989586621680051515 d6989586621680051516 e6989586621680051517 f6989586621680051518 g6989586621680051519 h6989586621680051520) l0 # | |
Defunctionalized singletons
When calling a higher-order singleton function, you need to use a
singFun...
function to wrap it. See singFun1
.
singFun1 :: Proxy f -> SingFunction1 f -> Sing f #
Use this function when passing a function on singletons as a higher-order function. You will often need an explicit type annotation to get this to work. For example:
falses = sMap (singFun1 (Proxy :: Proxy NotSym0) sNot) (STrue `SCons` STrue `SCons` SNil)
There are a family of singFun...
functions, keyed by the number
of parameters of the function.
singFun2 :: Proxy f -> SingFunction2 f -> Sing f #
singFun3 :: Proxy f -> SingFunction3 f -> Sing f #
singFun4 :: Proxy f -> SingFunction4 f -> Sing f #
singFun5 :: Proxy f -> SingFunction5 f -> Sing f #
singFun6 :: Proxy f -> SingFunction6 f -> Sing f #
singFun7 :: Proxy f -> SingFunction7 f -> Sing f #
singFun8 :: Proxy f -> SingFunction8 f -> Sing f #
unSingFun1 :: Proxy f -> Sing f -> SingFunction1 f #
This is the inverse of singFun1
, and likewise for the other
unSingFun...
functions.
unSingFun2 :: Proxy f -> Sing f -> SingFunction2 f #
unSingFun3 :: Proxy f -> Sing f -> SingFunction3 f #
unSingFun4 :: Proxy f -> Sing f -> SingFunction4 f #
unSingFun5 :: Proxy f -> Sing f -> SingFunction5 f #
unSingFun6 :: Proxy f -> Sing f -> SingFunction6 f #
unSingFun7 :: Proxy f -> Sing f -> SingFunction7 f #
unSingFun8 :: Proxy f -> Sing f -> SingFunction8 f #
These type synonyms are exported only to improve error messages; users should not have to mention them.
type SingFunction1 f = forall t. Sing t -> Sing (f @@ t) #
type SingFunction2 f = forall t. Sing t -> SingFunction1 (f @@ t) #
type SingFunction3 f = forall t. Sing t -> SingFunction2 (f @@ t) #
type SingFunction4 f = forall t. Sing t -> SingFunction3 (f @@ t) #
type SingFunction5 f = forall t. Sing t -> SingFunction4 (f @@ t) #
type SingFunction6 f = forall t. Sing t -> SingFunction5 (f @@ t) #
type SingFunction7 f = forall t. Sing t -> SingFunction6 (f @@ t) #
type SingFunction8 f = forall t. Sing t -> SingFunction7 (f @@ t) #
Auxiliary functions
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) | |