| 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 a6989586621679986420 Bool -> Type) -> TyFun [a6989586621679986420] Bool -> *) (Any_Sym1 a6989586621679986420) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997025 Bool -> Type) -> TyFun [a6989586621679997025] [a6989586621679997025] -> *) (DropWhileEndSym1 a6989586621679997025) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997109 (TyFun a6989586621679997109 a6989586621679997109 -> Type) -> Type) -> TyFun [a6989586621679997109] a6989586621679997109 -> *) (Foldl1'Sym1 a6989586621679997109) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997036 (TyFun a6989586621679997036 Ordering -> Type) -> Type) -> TyFun [a6989586621679997036] a6989586621679997036 -> *) (MinimumBySym1 a6989586621679997036) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997037 (TyFun a6989586621679997037 Ordering -> Type) -> Type) -> TyFun [a6989586621679997037] a6989586621679997037 -> *) (MaximumBySym1 a6989586621679997037) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997110 (TyFun a6989586621679997110 a6989586621679997110 -> Type) -> Type) -> TyFun [a6989586621679997110] a6989586621679997110 -> *) (Foldl1Sym1 a6989586621679997110) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997108 (TyFun a6989586621679997108 a6989586621679997108 -> Type) -> Type) -> TyFun [a6989586621679997108] a6989586621679997108 -> *) (Foldr1Sym1 a6989586621679997108) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997104 Bool -> Type) -> TyFun [a6989586621679997104] Bool -> *) (AllSym1 a6989586621679997104) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997101 (TyFun a6989586621679997101 a6989586621679997101 -> Type) -> Type) -> TyFun [a6989586621679997101] [a6989586621679997101] -> *) (Scanl1Sym1 a6989586621679997101) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997098 (TyFun a6989586621679997098 a6989586621679997098 -> Type) -> Type) -> TyFun [a6989586621679997098] [a6989586621679997098] -> *) (Scanr1Sym1 a6989586621679997098) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997031 Bool -> Type) -> TyFun [a6989586621679997031] (Maybe Nat) -> *) (FindIndexSym1 a6989586621679997031) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997030 Bool -> Type) -> TyFun [a6989586621679997030] [Nat] -> *) (FindIndicesSym1 a6989586621679997030) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997000 (TyFun a6989586621679997000 Bool -> Type) -> Type) -> TyFun [a6989586621679997000] (TyFun [a6989586621679997000] [a6989586621679997000] -> Type) -> *) (UnionBySym1 a6989586621679997000) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997000 (TyFun a6989586621679997000 Bool -> Type) -> Type) -> [a6989586621679997000] -> TyFun [a6989586621679997000] [a6989586621679997000] -> *) (UnionBySym2 a6989586621679997000) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997040 (TyFun a6989586621679997040 Bool -> Type) -> Type) -> TyFun [a6989586621679997040] (TyFun [a6989586621679997040] [a6989586621679997040] -> Type) -> *) (DeleteFirstsBySym1 a6989586621679997040) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997040 (TyFun a6989586621679997040 Bool -> Type) -> Type) -> [a6989586621679997040] -> TyFun [a6989586621679997040] [a6989586621679997040] -> *) (DeleteFirstsBySym2 a6989586621679997040) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997041 (TyFun a6989586621679997041 Bool -> Type) -> Type) -> TyFun a6989586621679997041 (TyFun [a6989586621679997041] [a6989586621679997041] -> Type) -> *) (DeleteBySym1 a6989586621679997041) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997041 (TyFun a6989586621679997041 Bool -> Type) -> Type) -> a6989586621679997041 -> TyFun [a6989586621679997041] [a6989586621679997041] -> *) (DeleteBySym2 a6989586621679997041) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997039 (TyFun a6989586621679997039 Ordering -> Type) -> Type) -> TyFun [a6989586621679997039] [a6989586621679997039] -> *) (SortBySym1 a6989586621679997039) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997038 (TyFun a6989586621679997038 Ordering -> Type) -> Type) -> TyFun a6989586621679997038 (TyFun [a6989586621679997038] [a6989586621679997038] -> Type) -> *) (InsertBySym1 a6989586621679997038) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997038 (TyFun a6989586621679997038 Ordering -> Type) -> Type) -> a6989586621679997038 -> TyFun [a6989586621679997038] [a6989586621679997038] -> *) (InsertBySym2 a6989586621679997038) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997028 (TyFun a6989586621679997028 Bool -> Type) -> Type) -> TyFun [a6989586621679997028] (TyFun [a6989586621679997028] [a6989586621679997028] -> Type) -> *) (IntersectBySym1 a6989586621679997028) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997028 (TyFun a6989586621679997028 Bool -> Type) -> Type) -> [a6989586621679997028] -> TyFun [a6989586621679997028] [a6989586621679997028] -> *) (IntersectBySym2 a6989586621679997028) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997034 Bool -> Type) -> TyFun [a6989586621679997034] (Maybe a6989586621679997034) -> *) (FindSym1 a6989586621679997034) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997035 Bool -> Type) -> TyFun [a6989586621679997035] [a6989586621679997035] -> *) (FilterSym1 a6989586621679997035) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997027 Bool -> Type) -> TyFun [a6989586621679997027] [a6989586621679997027] -> *) (TakeWhileSym1 a6989586621679997027) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997026 Bool -> Type) -> TyFun [a6989586621679997026] [a6989586621679997026] -> *) (DropWhileSym1 a6989586621679997026) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997014 (TyFun a6989586621679997014 Bool -> Type) -> Type) -> TyFun [a6989586621679997014] [[a6989586621679997014]] -> *) (GroupBySym1 a6989586621679997014) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997024 Bool -> Type) -> TyFun [a6989586621679997024] ([a6989586621679997024], [a6989586621679997024]) -> *) (SpanSym1 a6989586621679997024) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997023 Bool -> Type) -> TyFun [a6989586621679997023] ([a6989586621679997023], [a6989586621679997023]) -> *) (BreakSym1 a6989586621679997023) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997011 Bool -> Type) -> TyFun [a6989586621679997011] ([a6989586621679997011], [a6989586621679997011]) -> *) (PartitionSym1 a6989586621679997011) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997002 (TyFun a6989586621679997002 Bool -> Type) -> Type) -> TyFun [a6989586621679997002] [a6989586621679997002] -> *) (NubBySym1 a6989586621679997002) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680328006 Bool -> Type) -> TyFun (TyFun a6989586621680328006 a6989586621680328006 -> Type) (TyFun a6989586621680328006 a6989586621680328006 -> Type) -> *) (UntilSym1 a6989586621680328006) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680328006 Bool -> Type) -> (TyFun a6989586621680328006 a6989586621680328006 -> Type) -> TyFun a6989586621680328006 a6989586621680328006 -> *) (UntilSym2 a6989586621680328006) # | |
| SuppressUnusedWarnings ([a6989586621679703398] -> TyFun [a6989586621679703398] [a6989586621679703398] -> *) ((:++$$) a6989586621679703398) # | |
| SuppressUnusedWarnings ([a6989586621679997086] -> TyFun [a6989586621679997086] Bool -> *) (IsSuffixOfSym1 a6989586621679997086) # | |
| SuppressUnusedWarnings ([a6989586621679997117] -> TyFun [[a6989586621679997117]] [a6989586621679997117] -> *) (IntercalateSym1 a6989586621679997117) # | |
| SuppressUnusedWarnings ([a6989586621679997085] -> TyFun [a6989586621679997085] Bool -> *) (IsInfixOfSym1 a6989586621679997085) # | |
| SuppressUnusedWarnings ([a6989586621679997087] -> TyFun [a6989586621679997087] Bool -> *) (IsPrefixOfSym1 a6989586621679997087) # | |
| SuppressUnusedWarnings ([a6989586621679997042] -> TyFun [a6989586621679997042] [a6989586621679997042] -> *) ((:\\$$) a6989586621679997042) # | |
| SuppressUnusedWarnings ([a6989586621679996999] -> TyFun [a6989586621679996999] [a6989586621679996999] -> *) (UnionSym1 a6989586621679996999) # | |
| SuppressUnusedWarnings ([a6989586621679997029] -> TyFun [a6989586621679997029] [a6989586621679997029] -> *) (IntersectSym1 a6989586621679997029) # | |
| SuppressUnusedWarnings ([a6989586621679997004] -> TyFun Nat a6989586621679997004 -> *) ((:!!$$) a6989586621679997004) # | |
| SuppressUnusedWarnings ([a6989586621680303776] -> TyFun [a6989586621680303776] (Maybe [a6989586621680303776]) -> *) (StripPrefixSym1 a6989586621680303776) # | |
| SuppressUnusedWarnings (Nat -> TyFun [a6989586621679997020] ([a6989586621679997020], [a6989586621679997020]) -> *) (SplitAtSym1 a6989586621679997020) # | |
| SuppressUnusedWarnings (Nat -> TyFun [a6989586621679997022] [a6989586621679997022] -> *) (TakeSym1 a6989586621679997022) # | |
| SuppressUnusedWarnings (Nat -> TyFun [a6989586621679997021] [a6989586621679997021] -> *) (DropSym1 a6989586621679997021) # | |
| SuppressUnusedWarnings (Nat -> TyFun a6989586621679997006 [a6989586621679997006] -> *) (ReplicateSym1 a6989586621679997006) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> TyFun [a3530822107858468866] [a3530822107858468866] -> *) ((:$$) a3530822107858468866) # | |
| SuppressUnusedWarnings (a6989586621679698428 -> TyFun a6989586621679698428 (TyFun Bool a6989586621679698428 -> Type) -> *) (Bool_Sym1 a6989586621679698428) # | |
| SuppressUnusedWarnings (a6989586621679698428 -> a6989586621679698428 -> TyFun Bool a6989586621679698428 -> *) (Bool_Sym2 a6989586621679698428) # | |
| SuppressUnusedWarnings (a6989586621679703388 -> TyFun a6989586621679703388 a6989586621679703388 -> *) (AsTypeOfSym1 a6989586621679703388) # | |
| SuppressUnusedWarnings (a6989586621679716089 -> TyFun a6989586621679716089 Bool -> *) ((:/=$$) a6989586621679716089) # | |
| SuppressUnusedWarnings (a6989586621679716089 -> TyFun a6989586621679716089 Bool -> *) ((:==$$) a6989586621679716089) # | |
| SuppressUnusedWarnings (a6989586621679748528 -> TyFun a6989586621679748528 a6989586621679748528 -> *) (MinSym1 a6989586621679748528) # | |
| SuppressUnusedWarnings (a6989586621679748528 -> TyFun a6989586621679748528 a6989586621679748528 -> *) (MaxSym1 a6989586621679748528) # | |
| SuppressUnusedWarnings (a6989586621679748528 -> TyFun a6989586621679748528 Bool -> *) ((:>=$$) a6989586621679748528) # | |
| SuppressUnusedWarnings (a6989586621679748528 -> TyFun a6989586621679748528 Bool -> *) ((:>$$) a6989586621679748528) # | |
| SuppressUnusedWarnings (a6989586621679748528 -> TyFun a6989586621679748528 Bool -> *) ((:<=$$) a6989586621679748528) # | |
| SuppressUnusedWarnings (a6989586621679748528 -> TyFun a6989586621679748528 Bool -> *) ((:<$$) a6989586621679748528) # | |
| SuppressUnusedWarnings (a6989586621679748528 -> TyFun a6989586621679748528 Ordering -> *) (CompareSym1 a6989586621679748528) # | |
| SuppressUnusedWarnings (a6989586621679869121 -> TyFun a6989586621679869121 a6989586621679869121 -> *) ((:*$$) a6989586621679869121) # | |
| SuppressUnusedWarnings (a6989586621679869121 -> TyFun a6989586621679869121 a6989586621679869121 -> *) ((:-$$) a6989586621679869121) # | |
| SuppressUnusedWarnings (a6989586621679869121 -> TyFun a6989586621679869121 a6989586621679869121 -> *) ((:+$$) a6989586621679869121) # | |
| SuppressUnusedWarnings (a6989586621679871437 -> TyFun a6989586621679871437 a6989586621679871437 -> *) (SubtractSym1 a6989586621679871437) # | |
| SuppressUnusedWarnings (a6989586621679883002 -> TyFun a6989586621679883002 (TyFun a6989586621679883002 [a6989586621679883002] -> Type) -> *) (EnumFromThenToSym1 a6989586621679883002) # | |
| SuppressUnusedWarnings (a6989586621679883002 -> a6989586621679883002 -> TyFun a6989586621679883002 [a6989586621679883002] -> *) (EnumFromThenToSym2 a6989586621679883002) # | |
| SuppressUnusedWarnings (a6989586621679883002 -> TyFun a6989586621679883002 [a6989586621679883002] -> *) (EnumFromToSym1 a6989586621679883002) # | |
| SuppressUnusedWarnings (a6989586621679970355 -> TyFun (Maybe a6989586621679970355) a6989586621679970355 -> *) (FromMaybeSym1 a6989586621679970355) # | |
| SuppressUnusedWarnings (a6989586621679997118 -> TyFun [a6989586621679997118] [a6989586621679997118] -> *) (IntersperseSym1 a6989586621679997118) # | |
| SuppressUnusedWarnings (a6989586621679997084 -> TyFun [a6989586621679997084] Bool -> *) (ElemSym1 a6989586621679997084) # | |
| SuppressUnusedWarnings (a6989586621679997083 -> TyFun [a6989586621679997083] Bool -> *) (NotElemSym1 a6989586621679997083) # | |
| SuppressUnusedWarnings (a6989586621679997033 -> TyFun [a6989586621679997033] (Maybe Nat) -> *) (ElemIndexSym1 a6989586621679997033) # | |
| SuppressUnusedWarnings (a6989586621679997032 -> TyFun [a6989586621679997032] [Nat] -> *) (ElemIndicesSym1 a6989586621679997032) # | |
| SuppressUnusedWarnings (a6989586621679997043 -> TyFun [a6989586621679997043] [a6989586621679997043] -> *) (DeleteSym1 a6989586621679997043) # | |
| SuppressUnusedWarnings (a6989586621679997016 -> TyFun [a6989586621679997016] [a6989586621679997016] -> *) (InsertSym1 a6989586621679997016) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679986420 Bool -> Type) (TyFun [a6989586621679986420] Bool -> Type) -> *) (Any_Sym0 a6989586621679986420) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997025 Bool -> Type) (TyFun [a6989586621679997025] [a6989586621679997025] -> Type) -> *) (DropWhileEndSym0 a6989586621679997025) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997109 (TyFun a6989586621679997109 a6989586621679997109 -> Type) -> Type) (TyFun [a6989586621679997109] a6989586621679997109 -> Type) -> *) (Foldl1'Sym0 a6989586621679997109) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997036 (TyFun a6989586621679997036 Ordering -> Type) -> Type) (TyFun [a6989586621679997036] a6989586621679997036 -> Type) -> *) (MinimumBySym0 a6989586621679997036) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997037 (TyFun a6989586621679997037 Ordering -> Type) -> Type) (TyFun [a6989586621679997037] a6989586621679997037 -> Type) -> *) (MaximumBySym0 a6989586621679997037) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997110 (TyFun a6989586621679997110 a6989586621679997110 -> Type) -> Type) (TyFun [a6989586621679997110] a6989586621679997110 -> Type) -> *) (Foldl1Sym0 a6989586621679997110) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997108 (TyFun a6989586621679997108 a6989586621679997108 -> Type) -> Type) (TyFun [a6989586621679997108] a6989586621679997108 -> Type) -> *) (Foldr1Sym0 a6989586621679997108) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997104 Bool -> Type) (TyFun [a6989586621679997104] Bool -> Type) -> *) (AllSym0 a6989586621679997104) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997101 (TyFun a6989586621679997101 a6989586621679997101 -> Type) -> Type) (TyFun [a6989586621679997101] [a6989586621679997101] -> Type) -> *) (Scanl1Sym0 a6989586621679997101) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997098 (TyFun a6989586621679997098 a6989586621679997098 -> Type) -> Type) (TyFun [a6989586621679997098] [a6989586621679997098] -> Type) -> *) (Scanr1Sym0 a6989586621679997098) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997031 Bool -> Type) (TyFun [a6989586621679997031] (Maybe Nat) -> Type) -> *) (FindIndexSym0 a6989586621679997031) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997030 Bool -> Type) (TyFun [a6989586621679997030] [Nat] -> Type) -> *) (FindIndicesSym0 a6989586621679997030) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997000 (TyFun a6989586621679997000 Bool -> Type) -> Type) (TyFun [a6989586621679997000] (TyFun [a6989586621679997000] [a6989586621679997000] -> Type) -> Type) -> *) (UnionBySym0 a6989586621679997000) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997040 (TyFun a6989586621679997040 Bool -> Type) -> Type) (TyFun [a6989586621679997040] (TyFun [a6989586621679997040] [a6989586621679997040] -> Type) -> Type) -> *) (DeleteFirstsBySym0 a6989586621679997040) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997041 (TyFun a6989586621679997041 Bool -> Type) -> Type) (TyFun a6989586621679997041 (TyFun [a6989586621679997041] [a6989586621679997041] -> Type) -> Type) -> *) (DeleteBySym0 a6989586621679997041) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997039 (TyFun a6989586621679997039 Ordering -> Type) -> Type) (TyFun [a6989586621679997039] [a6989586621679997039] -> Type) -> *) (SortBySym0 a6989586621679997039) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997038 (TyFun a6989586621679997038 Ordering -> Type) -> Type) (TyFun a6989586621679997038 (TyFun [a6989586621679997038] [a6989586621679997038] -> Type) -> Type) -> *) (InsertBySym0 a6989586621679997038) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997028 (TyFun a6989586621679997028 Bool -> Type) -> Type) (TyFun [a6989586621679997028] (TyFun [a6989586621679997028] [a6989586621679997028] -> Type) -> Type) -> *) (IntersectBySym0 a6989586621679997028) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997034 Bool -> Type) (TyFun [a6989586621679997034] (Maybe a6989586621679997034) -> Type) -> *) (FindSym0 a6989586621679997034) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997035 Bool -> Type) (TyFun [a6989586621679997035] [a6989586621679997035] -> Type) -> *) (FilterSym0 a6989586621679997035) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997027 Bool -> Type) (TyFun [a6989586621679997027] [a6989586621679997027] -> Type) -> *) (TakeWhileSym0 a6989586621679997027) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997026 Bool -> Type) (TyFun [a6989586621679997026] [a6989586621679997026] -> Type) -> *) (DropWhileSym0 a6989586621679997026) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997014 (TyFun a6989586621679997014 Bool -> Type) -> Type) (TyFun [a6989586621679997014] [[a6989586621679997014]] -> Type) -> *) (GroupBySym0 a6989586621679997014) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997024 Bool -> Type) (TyFun [a6989586621679997024] ([a6989586621679997024], [a6989586621679997024]) -> Type) -> *) (SpanSym0 a6989586621679997024) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997023 Bool -> Type) (TyFun [a6989586621679997023] ([a6989586621679997023], [a6989586621679997023]) -> Type) -> *) (BreakSym0 a6989586621679997023) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997011 Bool -> Type) (TyFun [a6989586621679997011] ([a6989586621679997011], [a6989586621679997011]) -> Type) -> *) (PartitionSym0 a6989586621679997011) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997002 (TyFun a6989586621679997002 Bool -> Type) -> Type) (TyFun [a6989586621679997002] [a6989586621679997002] -> Type) -> *) (NubBySym0 a6989586621679997002) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621680328006 Bool -> Type) (TyFun (TyFun a6989586621680328006 a6989586621680328006 -> Type) (TyFun a6989586621680328006 a6989586621680328006 -> Type) -> Type) -> *) (UntilSym0 a6989586621680328006) # | |
| SuppressUnusedWarnings (TyFun [[a6989586621679997005]] [[a6989586621679997005]] -> *) (TransposeSym0 a6989586621679997005) # | |
| SuppressUnusedWarnings (TyFun [[a6989586621679997107]] [a6989586621679997107] -> *) (ConcatSym0 a6989586621679997107) # | |
| SuppressUnusedWarnings (TyFun [Maybe a6989586621679970352] [a6989586621679970352] -> *) (CatMaybesSym0 a6989586621679970352) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679703398] (TyFun [a6989586621679703398] [a6989586621679703398] -> Type) -> *) ((:++$) a6989586621679703398) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679970353] (Maybe a6989586621679970353) -> *) (ListToMaybeSym0 a6989586621679970353) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997124] a6989586621679997124 -> *) (HeadSym0 a6989586621679997124) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997123] a6989586621679997123 -> *) (LastSym0 a6989586621679997123) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997122] [a6989586621679997122] -> *) (TailSym0 a6989586621679997122) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997121] [a6989586621679997121] -> *) (InitSym0 a6989586621679997121) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997120] Bool -> *) (NullSym0 a6989586621679997120) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997086] (TyFun [a6989586621679997086] Bool -> Type) -> *) (IsSuffixOfSym0 a6989586621679997086) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997119] [a6989586621679997119] -> *) (ReverseSym0 a6989586621679997119) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997117] (TyFun [[a6989586621679997117]] [a6989586621679997117] -> Type) -> *) (IntercalateSym0 a6989586621679997117) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997116] [[a6989586621679997116]] -> *) (SubsequencesSym0 a6989586621679997116) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997113] [[a6989586621679997113]] -> *) (PermutationsSym0 a6989586621679997113) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997017] a6989586621679997017 -> *) (MinimumSym0 a6989586621679997017) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997018] a6989586621679997018 -> *) (MaximumSym0 a6989586621679997018) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997089] [[a6989586621679997089]] -> *) (InitsSym0 a6989586621679997089) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997085] (TyFun [a6989586621679997085] Bool -> Type) -> *) (IsInfixOfSym0 a6989586621679997085) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997088] [[a6989586621679997088]] -> *) (TailsSym0 a6989586621679997088) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997087] (TyFun [a6989586621679997087] Bool -> Type) -> *) (IsPrefixOfSym0 a6989586621679997087) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997003] [a6989586621679997003] -> *) (NubSym0 a6989586621679997003) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997042] (TyFun [a6989586621679997042] [a6989586621679997042] -> Type) -> *) ((:\\$) a6989586621679997042) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679996999] (TyFun [a6989586621679996999] [a6989586621679996999] -> Type) -> *) (UnionSym0 a6989586621679996999) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997015] [a6989586621679997015] -> *) (SortSym0 a6989586621679997015) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997029] (TyFun [a6989586621679997029] [a6989586621679997029] -> Type) -> *) (IntersectSym0 a6989586621679997029) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997019] [[a6989586621679997019]] -> *) (GroupSym0 a6989586621679997019) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997009] a6989586621679997009 -> *) (SumSym0 a6989586621679997009) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997008] a6989586621679997008 -> *) (ProductSym0 a6989586621679997008) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997007] Nat -> *) (LengthSym0 a6989586621679997007) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997004] (TyFun Nat a6989586621679997004 -> Type) -> *) ((:!!$) a6989586621679997004) # | |
| SuppressUnusedWarnings (TyFun [a6989586621680303776] (TyFun [a6989586621680303776] (Maybe [a6989586621680303776]) -> Type) -> *) (StripPrefixSym0 a6989586621680303776) # | |
| SuppressUnusedWarnings (TyFun (Maybe a6989586621679970358) Bool -> *) (IsJustSym0 a6989586621679970358) # | |
| SuppressUnusedWarnings (TyFun (Maybe a6989586621679970357) Bool -> *) (IsNothingSym0 a6989586621679970357) # | |
| SuppressUnusedWarnings (TyFun (Maybe a6989586621679970356) a6989586621679970356 -> *) (FromJustSym0 a6989586621679970356) # | |
| SuppressUnusedWarnings (TyFun (Maybe a6989586621679970354) [a6989586621679970354] -> *) (MaybeToListSym0 a6989586621679970354) # | |
| SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679997020] ([a6989586621679997020], [a6989586621679997020]) -> Type) -> *) (SplitAtSym0 a6989586621679997020) # | |
| SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679997022] [a6989586621679997022] -> Type) -> *) (TakeSym0 a6989586621679997022) # | |
| SuppressUnusedWarnings (TyFun Nat (TyFun [a6989586621679997021] [a6989586621679997021] -> Type) -> *) (DropSym0 a6989586621679997021) # | |
| SuppressUnusedWarnings (TyFun Nat (TyFun a6989586621679997006 [a6989586621679997006] -> Type) -> *) (ReplicateSym0 a6989586621679997006) # | |
| SuppressUnusedWarnings (TyFun Nat a6989586621679869121 -> *) (FromIntegerSym0 a6989586621679869121) # | |
| SuppressUnusedWarnings (TyFun Nat a6989586621679883002 -> *) (ToEnumSym0 a6989586621679883002) # | |
| SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun [a3530822107858468866] [a3530822107858468866] -> Type) -> *) ((:$) a3530822107858468866) # | |
| SuppressUnusedWarnings (TyFun a3530822107858468866 (Maybe a3530822107858468866) -> *) (JustSym0 a3530822107858468866) # | |
| SuppressUnusedWarnings (TyFun a6989586621679698428 (TyFun a6989586621679698428 (TyFun Bool a6989586621679698428 -> Type) -> Type) -> *) (Bool_Sym0 a6989586621679698428) # | |
| SuppressUnusedWarnings (TyFun a6989586621679703397 a6989586621679703397 -> *) (IdSym0 a6989586621679703397) # | |
| SuppressUnusedWarnings (TyFun a6989586621679703388 (TyFun a6989586621679703388 a6989586621679703388 -> Type) -> *) (AsTypeOfSym0 a6989586621679703388) # | |
| SuppressUnusedWarnings (TyFun a6989586621679716089 (TyFun a6989586621679716089 Bool -> Type) -> *) ((:/=$) a6989586621679716089) # | |
| SuppressUnusedWarnings (TyFun a6989586621679716089 (TyFun a6989586621679716089 Bool -> Type) -> *) ((:==$) a6989586621679716089) # | |
| SuppressUnusedWarnings (TyFun a6989586621679748528 (TyFun a6989586621679748528 a6989586621679748528 -> Type) -> *) (MinSym0 a6989586621679748528) # | |
| SuppressUnusedWarnings (TyFun a6989586621679748528 (TyFun a6989586621679748528 a6989586621679748528 -> Type) -> *) (MaxSym0 a6989586621679748528) # | |
| SuppressUnusedWarnings (TyFun a6989586621679748528 (TyFun a6989586621679748528 Bool -> Type) -> *) ((:>=$) a6989586621679748528) # | |
| SuppressUnusedWarnings (TyFun a6989586621679748528 (TyFun a6989586621679748528 Bool -> Type) -> *) ((:>$) a6989586621679748528) # | |
| SuppressUnusedWarnings (TyFun a6989586621679748528 (TyFun a6989586621679748528 Bool -> Type) -> *) ((:<=$) a6989586621679748528) # | |
| SuppressUnusedWarnings (TyFun a6989586621679748528 (TyFun a6989586621679748528 Bool -> Type) -> *) ((:<$) a6989586621679748528) # | |
| SuppressUnusedWarnings (TyFun a6989586621679748528 (TyFun a6989586621679748528 Ordering -> Type) -> *) (CompareSym0 a6989586621679748528) # | |
| SuppressUnusedWarnings (TyFun a6989586621679869121 a6989586621679869121 -> *) (SignumSym0 a6989586621679869121) # | |
| SuppressUnusedWarnings (TyFun a6989586621679869121 a6989586621679869121 -> *) (AbsSym0 a6989586621679869121) # | |
| SuppressUnusedWarnings (TyFun a6989586621679869121 a6989586621679869121 -> *) (NegateSym0 a6989586621679869121) # | |
| SuppressUnusedWarnings (TyFun a6989586621679869121 (TyFun a6989586621679869121 a6989586621679869121 -> Type) -> *) ((:*$) a6989586621679869121) # | |
| SuppressUnusedWarnings (TyFun a6989586621679869121 (TyFun a6989586621679869121 a6989586621679869121 -> Type) -> *) ((:-$) a6989586621679869121) # | |
| SuppressUnusedWarnings (TyFun a6989586621679869121 (TyFun a6989586621679869121 a6989586621679869121 -> Type) -> *) ((:+$) a6989586621679869121) # | |
| SuppressUnusedWarnings (TyFun a6989586621679871437 (TyFun a6989586621679871437 a6989586621679871437 -> Type) -> *) (SubtractSym0 a6989586621679871437) # | |
| SuppressUnusedWarnings (TyFun a6989586621679883002 (TyFun a6989586621679883002 (TyFun a6989586621679883002 [a6989586621679883002] -> Type) -> Type) -> *) (EnumFromThenToSym0 a6989586621679883002) # | |
| SuppressUnusedWarnings (TyFun a6989586621679883002 (TyFun a6989586621679883002 [a6989586621679883002] -> Type) -> *) (EnumFromToSym0 a6989586621679883002) # | |
| SuppressUnusedWarnings (TyFun a6989586621679883002 Nat -> *) (FromEnumSym0 a6989586621679883002) # | |
| SuppressUnusedWarnings (TyFun a6989586621679883002 a6989586621679883002 -> *) (PredSym0 a6989586621679883002) # | |
| SuppressUnusedWarnings (TyFun a6989586621679883002 a6989586621679883002 -> *) (SuccSym0 a6989586621679883002) # | |
| SuppressUnusedWarnings (TyFun a6989586621679970355 (TyFun (Maybe a6989586621679970355) a6989586621679970355 -> Type) -> *) (FromMaybeSym0 a6989586621679970355) # | |
| SuppressUnusedWarnings (TyFun a6989586621679997118 (TyFun [a6989586621679997118] [a6989586621679997118] -> Type) -> *) (IntersperseSym0 a6989586621679997118) # | |
| SuppressUnusedWarnings (TyFun a6989586621679997084 (TyFun [a6989586621679997084] Bool -> Type) -> *) (ElemSym0 a6989586621679997084) # | |
| SuppressUnusedWarnings (TyFun a6989586621679997083 (TyFun [a6989586621679997083] Bool -> Type) -> *) (NotElemSym0 a6989586621679997083) # | |
| SuppressUnusedWarnings (TyFun a6989586621679997033 (TyFun [a6989586621679997033] (Maybe Nat) -> Type) -> *) (ElemIndexSym0 a6989586621679997033) # | |
| SuppressUnusedWarnings (TyFun a6989586621679997032 (TyFun [a6989586621679997032] [Nat] -> Type) -> *) (ElemIndicesSym0 a6989586621679997032) # | |
| SuppressUnusedWarnings (TyFun a6989586621679997043 (TyFun [a6989586621679997043] [a6989586621679997043] -> Type) -> *) (DeleteSym0 a6989586621679997043) # | |
| SuppressUnusedWarnings (TyFun a6989586621679997016 (TyFun [a6989586621679997016] [a6989586621679997016] -> Type) -> *) (InsertSym0 a6989586621679997016) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679650486 (TyFun a6989586621679650485 b6989586621679650486 -> Type) -> Type) -> TyFun b6989586621679650486 (TyFun [a6989586621679650485] b6989586621679650486 -> Type) -> *) (FoldlSym1 a6989586621679650485 b6989586621679650486) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679650486 (TyFun a6989586621679650485 b6989586621679650486 -> Type) -> Type) -> b6989586621679650486 -> TyFun [a6989586621679650485] b6989586621679650486 -> *) (FoldlSym2 a6989586621679650485 b6989586621679650486) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679703401 (TyFun b6989586621679703402 b6989586621679703402 -> Type) -> Type) -> TyFun b6989586621679703402 (TyFun [a6989586621679703401] b6989586621679703402 -> Type) -> *) (FoldrSym1 a6989586621679703401 b6989586621679703402) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679703401 (TyFun b6989586621679703402 b6989586621679703402 -> Type) -> Type) -> b6989586621679703402 -> TyFun [a6989586621679703401] b6989586621679703402 -> *) (FoldrSym2 a6989586621679703401 b6989586621679703402) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679703399 b6989586621679703400 -> Type) -> TyFun [a6989586621679703399] [b6989586621679703400] -> *) (MapSym1 a6989586621679703399 b6989586621679703400) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679970350 (Maybe b6989586621679970351) -> Type) -> TyFun [a6989586621679970350] [b6989586621679970351] -> *) (MapMaybeSym1 a6989586621679970350 b6989586621679970351) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679997112 (TyFun a6989586621679997111 b6989586621679997112 -> Type) -> Type) -> TyFun b6989586621679997112 (TyFun [a6989586621679997111] b6989586621679997112 -> Type) -> *) (Foldl'Sym1 a6989586621679997111 b6989586621679997112) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679997112 (TyFun a6989586621679997111 b6989586621679997112 -> Type) -> Type) -> b6989586621679997112 -> TyFun [a6989586621679997111] b6989586621679997112 -> *) (Foldl'Sym2 a6989586621679997111 b6989586621679997112) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997105 [b6989586621679997106] -> Type) -> TyFun [a6989586621679997105] [b6989586621679997106] -> *) (ConcatMapSym1 a6989586621679997105 b6989586621679997106) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679997102 (TyFun a6989586621679997103 b6989586621679997102 -> Type) -> Type) -> TyFun b6989586621679997102 (TyFun [a6989586621679997103] [b6989586621679997102] -> Type) -> *) (ScanlSym1 a6989586621679997103 b6989586621679997102) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679997102 (TyFun a6989586621679997103 b6989586621679997102 -> Type) -> Type) -> b6989586621679997102 -> TyFun [a6989586621679997103] [b6989586621679997102] -> *) (ScanlSym2 a6989586621679997103 b6989586621679997102) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997099 (TyFun b6989586621679997100 b6989586621679997100 -> Type) -> Type) -> TyFun b6989586621679997100 (TyFun [a6989586621679997099] [b6989586621679997100] -> Type) -> *) (ScanrSym1 a6989586621679997099 b6989586621679997100) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997099 (TyFun b6989586621679997100 b6989586621679997100 -> Type) -> Type) -> b6989586621679997100 -> TyFun [a6989586621679997099] [b6989586621679997100] -> *) (ScanrSym2 a6989586621679997099 b6989586621679997100) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679997090 (Maybe (a6989586621679997091, b6989586621679997090)) -> Type) -> TyFun b6989586621679997090 [a6989586621679997091] -> *) (UnfoldrSym1 a6989586621679997091 b6989586621679997090) # | |
| SuppressUnusedWarnings ([a6989586621679997081] -> TyFun [b6989586621679997082] [(a6989586621679997081, b6989586621679997082)] -> *) (ZipSym1 b6989586621679997082 a6989586621679997081) # | |
| SuppressUnusedWarnings ([a6989586621680303721] -> TyFun i6989586621680303720 a6989586621680303721 -> *) (GenericIndexSym1 i6989586621680303720 a6989586621680303721) # | |
| SuppressUnusedWarnings (a3530822107858468866 -> TyFun b3530822107858468867 (a3530822107858468866, b3530822107858468867) -> *) (Tuple2Sym1 b3530822107858468867 a3530822107858468866) # | |
| SuppressUnusedWarnings (a6989586621679703395 -> TyFun b6989586621679703396 a6989586621679703395 -> *) (ConstSym1 b6989586621679703396 a6989586621679703395) # | |
| SuppressUnusedWarnings (a6989586621679703386 -> TyFun b6989586621679703387 b6989586621679703387 -> *) (SeqSym1 b6989586621679703387 a6989586621679703386) # | |
| SuppressUnusedWarnings (b6989586621679969104 -> TyFun (TyFun a6989586621679969105 b6989586621679969104 -> Type) (TyFun (Maybe a6989586621679969105) b6989586621679969104 -> Type) -> *) (Maybe_Sym1 a6989586621679969105 b6989586621679969104) # | |
| SuppressUnusedWarnings (b6989586621679969104 -> (TyFun a6989586621679969105 b6989586621679969104 -> Type) -> TyFun (Maybe a6989586621679969105) b6989586621679969104 -> *) (Maybe_Sym2 a6989586621679969105 b6989586621679969104) # | |
| SuppressUnusedWarnings (a6989586621679997012 -> TyFun [(a6989586621679997012, b6989586621679997013)] (Maybe b6989586621679997013) -> *) (LookupSym1 b6989586621679997013 a6989586621679997012) # | |
| SuppressUnusedWarnings (i6989586621680303726 -> TyFun [a6989586621680303727] [a6989586621680303727] -> *) (GenericTakeSym1 a6989586621680303727 i6989586621680303726) # | |
| SuppressUnusedWarnings (i6989586621680303724 -> TyFun [a6989586621680303725] [a6989586621680303725] -> *) (GenericDropSym1 a6989586621680303725 i6989586621680303724) # | |
| SuppressUnusedWarnings (i6989586621680303722 -> TyFun [a6989586621680303723] ([a6989586621680303723], [a6989586621680303723]) -> *) (GenericSplitAtSym1 a6989586621680303723 i6989586621680303722) # | |
| SuppressUnusedWarnings (i6989586621680303718 -> TyFun a6989586621680303719 [a6989586621680303719] -> *) (GenericReplicateSym1 a6989586621680303719 i6989586621680303718) # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679650486 (TyFun a6989586621679650485 b6989586621679650486 -> Type) -> Type) (TyFun b6989586621679650486 (TyFun [a6989586621679650485] b6989586621679650486 -> Type) -> Type) -> *) (FoldlSym0 a6989586621679650485 b6989586621679650486) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679703401 (TyFun b6989586621679703402 b6989586621679703402 -> Type) -> Type) (TyFun b6989586621679703402 (TyFun [a6989586621679703401] b6989586621679703402 -> Type) -> Type) -> *) (FoldrSym0 a6989586621679703401 b6989586621679703402) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679703399 b6989586621679703400 -> Type) (TyFun [a6989586621679703399] [b6989586621679703400] -> Type) -> *) (MapSym0 a6989586621679703399 b6989586621679703400) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679970350 (Maybe b6989586621679970351) -> Type) (TyFun [a6989586621679970350] [b6989586621679970351] -> Type) -> *) (MapMaybeSym0 a6989586621679970350 b6989586621679970351) # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679997112 (TyFun a6989586621679997111 b6989586621679997112 -> Type) -> Type) (TyFun b6989586621679997112 (TyFun [a6989586621679997111] b6989586621679997112 -> Type) -> Type) -> *) (Foldl'Sym0 a6989586621679997111 b6989586621679997112) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997105 [b6989586621679997106] -> Type) (TyFun [a6989586621679997105] [b6989586621679997106] -> Type) -> *) (ConcatMapSym0 a6989586621679997105 b6989586621679997106) # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679997102 (TyFun a6989586621679997103 b6989586621679997102 -> Type) -> Type) (TyFun b6989586621679997102 (TyFun [a6989586621679997103] [b6989586621679997102] -> Type) -> Type) -> *) (ScanlSym0 a6989586621679997103 b6989586621679997102) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997099 (TyFun b6989586621679997100 b6989586621679997100 -> Type) -> Type) (TyFun b6989586621679997100 (TyFun [a6989586621679997099] [b6989586621679997100] -> Type) -> Type) -> *) (ScanrSym0 a6989586621679997099 b6989586621679997100) # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679997090 (Maybe (a6989586621679997091, b6989586621679997090)) -> Type) (TyFun b6989586621679997090 [a6989586621679997091] -> Type) -> *) (UnfoldrSym0 b6989586621679997090 a6989586621679997091) # | |
| SuppressUnusedWarnings (TyFun [Either a6989586621679959452 b6989586621679959453] [a6989586621679959452] -> *) (LeftsSym0 b6989586621679959453 a6989586621679959452) # | |
| SuppressUnusedWarnings (TyFun [Either a6989586621679959450 b6989586621679959451] [b6989586621679959451] -> *) (RightsSym0 a6989586621679959450 b6989586621679959451) # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679997069, b6989586621679997070)] ([a6989586621679997069], [b6989586621679997070]) -> *) (UnzipSym0 a6989586621679997069 b6989586621679997070) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997081] (TyFun [b6989586621679997082] [(a6989586621679997081, b6989586621679997082)] -> Type) -> *) (ZipSym0 a6989586621679997081 b6989586621679997082) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679996998] i6989586621679996997 -> *) (GenericLengthSym0 a6989586621679996998 i6989586621679996997) # | |
| SuppressUnusedWarnings (TyFun [a6989586621680303721] (TyFun i6989586621680303720 a6989586621680303721 -> Type) -> *) (GenericIndexSym0 i6989586621680303720 a6989586621680303721) # | |
| SuppressUnusedWarnings (TyFun (Either a6989586621679959446 b6989586621679959447) Bool -> *) (IsLeftSym0 a6989586621679959446 b6989586621679959447) # | |
| SuppressUnusedWarnings (TyFun (Either a6989586621679959444 b6989586621679959445) Bool -> *) (IsRightSym0 a6989586621679959444 b6989586621679959445) # | |
| SuppressUnusedWarnings (TyFun (a6989586621679981949, b6989586621679981950) a6989586621679981949 -> *) (FstSym0 b6989586621679981950 a6989586621679981949) # | |
| SuppressUnusedWarnings (TyFun (a6989586621679981947, b6989586621679981948) b6989586621679981948 -> *) (SndSym0 a6989586621679981947 b6989586621679981948) # | |
| SuppressUnusedWarnings (TyFun (a6989586621679981939, b6989586621679981940) (b6989586621679981940, a6989586621679981939) -> *) (SwapSym0 b6989586621679981940 a6989586621679981939) # | |
| 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 a6989586621679703395 (TyFun b6989586621679703396 a6989586621679703395 -> Type) -> *) (ConstSym0 b6989586621679703396 a6989586621679703395) # | |
| SuppressUnusedWarnings (TyFun a6989586621679703386 (TyFun b6989586621679703387 b6989586621679703387 -> Type) -> *) (SeqSym0 a6989586621679703386 b6989586621679703387) # | |
| SuppressUnusedWarnings (TyFun k06989586621679857097 k6989586621679857099 -> *) (ErrorSym0 k06989586621679857097 k6989586621679857099) # | |
| SuppressUnusedWarnings (TyFun b6989586621679969104 (TyFun (TyFun a6989586621679969105 b6989586621679969104 -> Type) (TyFun (Maybe a6989586621679969105) b6989586621679969104 -> Type) -> Type) -> *) (Maybe_Sym0 a6989586621679969105 b6989586621679969104) # | |
| SuppressUnusedWarnings (TyFun a6989586621679997012 (TyFun [(a6989586621679997012, b6989586621679997013)] (Maybe b6989586621679997013) -> Type) -> *) (LookupSym0 a6989586621679997012 b6989586621679997013) # | |
| SuppressUnusedWarnings (TyFun i6989586621680303726 (TyFun [a6989586621680303727] [a6989586621680303727] -> Type) -> *) (GenericTakeSym0 i6989586621680303726 a6989586621680303727) # | |
| SuppressUnusedWarnings (TyFun i6989586621680303724 (TyFun [a6989586621680303725] [a6989586621680303725] -> Type) -> *) (GenericDropSym0 i6989586621680303724 a6989586621680303725) # | |
| SuppressUnusedWarnings (TyFun i6989586621680303722 (TyFun [a6989586621680303723] ([a6989586621680303723], [a6989586621680303723]) -> Type) -> *) (GenericSplitAtSym0 i6989586621680303722 a6989586621680303723) # | |
| SuppressUnusedWarnings (TyFun i6989586621680303718 (TyFun a6989586621680303719 [a6989586621680303719] -> Type) -> *) (GenericReplicateSym0 i6989586621680303718 a6989586621680303719) # | |
| SuppressUnusedWarnings ((TyFun (a6989586621679981944, b6989586621679981945) c6989586621679981946 -> Type) -> TyFun a6989586621679981944 (TyFun b6989586621679981945 c6989586621679981946 -> Type) -> *) (CurrySym1 a6989586621679981944 b6989586621679981945 c6989586621679981946) # | |
| SuppressUnusedWarnings ((TyFun (a6989586621679981944, b6989586621679981945) c6989586621679981946 -> Type) -> a6989586621679981944 -> TyFun b6989586621679981945 c6989586621679981946 -> *) (CurrySym2 a6989586621679981944 b6989586621679981945 c6989586621679981946) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679703392 c6989586621679703393 -> Type) -> TyFun (TyFun a6989586621679703394 b6989586621679703392 -> Type) (TyFun a6989586621679703394 c6989586621679703393 -> Type) -> *) ((:.$$) a6989586621679703394 b6989586621679703392 c6989586621679703393) # | |
| SuppressUnusedWarnings ((TyFun b6989586621679703392 c6989586621679703393 -> Type) -> (TyFun a6989586621679703394 b6989586621679703392 -> Type) -> TyFun a6989586621679703394 c6989586621679703393 -> *) ((:.$$$) a6989586621679703394 b6989586621679703392 c6989586621679703393) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679703389 (TyFun b6989586621679703390 c6989586621679703391 -> Type) -> Type) -> TyFun b6989586621679703390 (TyFun a6989586621679703389 c6989586621679703391 -> Type) -> *) (FlipSym1 a6989586621679703389 b6989586621679703390 c6989586621679703391) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679703389 (TyFun b6989586621679703390 c6989586621679703391 -> Type) -> Type) -> b6989586621679703390 -> TyFun a6989586621679703389 c6989586621679703391 -> *) (FlipSym2 a6989586621679703389 b6989586621679703390 c6989586621679703391) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679958182 c6989586621679958183 -> Type) -> TyFun (TyFun b6989586621679958184 c6989586621679958183 -> Type) (TyFun (Either a6989586621679958182 b6989586621679958184) c6989586621679958183 -> Type) -> *) (Either_Sym1 b6989586621679958184 a6989586621679958182 c6989586621679958183) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679958182 c6989586621679958183 -> Type) -> (TyFun b6989586621679958184 c6989586621679958183 -> Type) -> TyFun (Either a6989586621679958182 b6989586621679958184) c6989586621679958183 -> *) (Either_Sym2 b6989586621679958184 a6989586621679958182 c6989586621679958183) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679981941 (TyFun b6989586621679981942 c6989586621679981943 -> Type) -> Type) -> TyFun (a6989586621679981941, b6989586621679981942) c6989586621679981943 -> *) (UncurrySym1 a6989586621679981941 b6989586621679981942 c6989586621679981943) # | |
| SuppressUnusedWarnings ((TyFun acc6989586621679997095 (TyFun x6989586621679997096 (acc6989586621679997095, y6989586621679997097) -> Type) -> Type) -> TyFun acc6989586621679997095 (TyFun [x6989586621679997096] (acc6989586621679997095, [y6989586621679997097]) -> Type) -> *) (MapAccumLSym1 x6989586621679997096 acc6989586621679997095 y6989586621679997097) # | |
| SuppressUnusedWarnings ((TyFun acc6989586621679997095 (TyFun x6989586621679997096 (acc6989586621679997095, y6989586621679997097) -> Type) -> Type) -> acc6989586621679997095 -> TyFun [x6989586621679997096] (acc6989586621679997095, [y6989586621679997097]) -> *) (MapAccumLSym2 x6989586621679997096 acc6989586621679997095 y6989586621679997097) # | |
| SuppressUnusedWarnings ((TyFun acc6989586621679997092 (TyFun x6989586621679997093 (acc6989586621679997092, y6989586621679997094) -> Type) -> Type) -> TyFun acc6989586621679997092 (TyFun [x6989586621679997093] (acc6989586621679997092, [y6989586621679997094]) -> Type) -> *) (MapAccumRSym1 x6989586621679997093 acc6989586621679997092 y6989586621679997094) # | |
| SuppressUnusedWarnings ((TyFun acc6989586621679997092 (TyFun x6989586621679997093 (acc6989586621679997092, y6989586621679997094) -> Type) -> Type) -> acc6989586621679997092 -> TyFun [x6989586621679997093] (acc6989586621679997092, [y6989586621679997094]) -> *) (MapAccumRSym2 x6989586621679997093 acc6989586621679997092 y6989586621679997094) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997075 (TyFun b6989586621679997076 c6989586621679997077 -> Type) -> Type) -> TyFun [a6989586621679997075] (TyFun [b6989586621679997076] [c6989586621679997077] -> Type) -> *) (ZipWithSym1 a6989586621679997075 b6989586621679997076 c6989586621679997077) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997075 (TyFun b6989586621679997076 c6989586621679997077 -> Type) -> Type) -> [a6989586621679997075] -> TyFun [b6989586621679997076] [c6989586621679997077] -> *) (ZipWithSym2 a6989586621679997075 b6989586621679997076 c6989586621679997077) # | |
| SuppressUnusedWarnings ([a6989586621679997078] -> TyFun [b6989586621679997079] (TyFun [c6989586621679997080] [(a6989586621679997078, b6989586621679997079, c6989586621679997080)] -> Type) -> *) (Zip3Sym1 b6989586621679997079 c6989586621679997080 a6989586621679997078) # | |
| SuppressUnusedWarnings ([a6989586621679997078] -> [b6989586621679997079] -> TyFun [c6989586621679997080] [(a6989586621679997078, b6989586621679997079, c6989586621679997080)] -> *) (Zip3Sym2 c6989586621679997080 b6989586621679997079 a6989586621679997078) # | |
| 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 (a6989586621679981944, b6989586621679981945) c6989586621679981946 -> Type) (TyFun a6989586621679981944 (TyFun b6989586621679981945 c6989586621679981946 -> Type) -> Type) -> *) (CurrySym0 a6989586621679981944 b6989586621679981945 c6989586621679981946) # | |
| SuppressUnusedWarnings (TyFun (TyFun b6989586621679703392 c6989586621679703393 -> Type) (TyFun (TyFun a6989586621679703394 b6989586621679703392 -> Type) (TyFun a6989586621679703394 c6989586621679703393 -> Type) -> Type) -> *) ((:.$) b6989586621679703392 a6989586621679703394 c6989586621679703393) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679703389 (TyFun b6989586621679703390 c6989586621679703391 -> Type) -> Type) (TyFun b6989586621679703390 (TyFun a6989586621679703389 c6989586621679703391 -> Type) -> Type) -> *) (FlipSym0 b6989586621679703390 a6989586621679703389 c6989586621679703391) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679958182 c6989586621679958183 -> Type) (TyFun (TyFun b6989586621679958184 c6989586621679958183 -> Type) (TyFun (Either a6989586621679958182 b6989586621679958184) c6989586621679958183 -> Type) -> Type) -> *) (Either_Sym0 a6989586621679958182 b6989586621679958184 c6989586621679958183) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679981941 (TyFun b6989586621679981942 c6989586621679981943 -> Type) -> Type) (TyFun (a6989586621679981941, b6989586621679981942) c6989586621679981943 -> Type) -> *) (UncurrySym0 a6989586621679981941 b6989586621679981942 c6989586621679981943) # | |
| SuppressUnusedWarnings (TyFun (TyFun acc6989586621679997095 (TyFun x6989586621679997096 (acc6989586621679997095, y6989586621679997097) -> Type) -> Type) (TyFun acc6989586621679997095 (TyFun [x6989586621679997096] (acc6989586621679997095, [y6989586621679997097]) -> Type) -> Type) -> *) (MapAccumLSym0 x6989586621679997096 acc6989586621679997095 y6989586621679997097) # | |
| SuppressUnusedWarnings (TyFun (TyFun acc6989586621679997092 (TyFun x6989586621679997093 (acc6989586621679997092, y6989586621679997094) -> Type) -> Type) (TyFun acc6989586621679997092 (TyFun [x6989586621679997093] (acc6989586621679997092, [y6989586621679997094]) -> Type) -> Type) -> *) (MapAccumRSym0 x6989586621679997093 acc6989586621679997092 y6989586621679997094) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621679997075 (TyFun b6989586621679997076 c6989586621679997077 -> Type) -> Type) (TyFun [a6989586621679997075] (TyFun [b6989586621679997076] [c6989586621679997077] -> Type) -> Type) -> *) (ZipWithSym0 a6989586621679997075 b6989586621679997076 c6989586621679997077) # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679997066, b6989586621679997067, c6989586621679997068)] ([a6989586621679997066], [b6989586621679997067], [c6989586621679997068]) -> *) (Unzip3Sym0 a6989586621679997066 b6989586621679997067 c6989586621679997068) # | |
| SuppressUnusedWarnings (TyFun [a6989586621679997078] (TyFun [b6989586621679997079] (TyFun [c6989586621679997080] [(a6989586621679997078, b6989586621679997079, c6989586621679997080)] -> Type) -> Type) -> *) (Zip3Sym0 a6989586621679997078 b6989586621679997079 c6989586621679997080) # | |
| SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> Type) -> Type) -> *) (Tuple3Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997071 (TyFun b6989586621679997072 (TyFun c6989586621679997073 d6989586621679997074 -> Type) -> Type) -> Type) -> TyFun [a6989586621679997071] (TyFun [b6989586621679997072] (TyFun [c6989586621679997073] [d6989586621679997074] -> Type) -> Type) -> *) (ZipWith3Sym1 a6989586621679997071 b6989586621679997072 c6989586621679997073 d6989586621679997074) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997071 (TyFun b6989586621679997072 (TyFun c6989586621679997073 d6989586621679997074 -> Type) -> Type) -> Type) -> [a6989586621679997071] -> TyFun [b6989586621679997072] (TyFun [c6989586621679997073] [d6989586621679997074] -> Type) -> *) (ZipWith3Sym2 a6989586621679997071 b6989586621679997072 c6989586621679997073 d6989586621679997074) # | |
| SuppressUnusedWarnings ((TyFun a6989586621679997071 (TyFun b6989586621679997072 (TyFun c6989586621679997073 d6989586621679997074 -> Type) -> Type) -> Type) -> [a6989586621679997071] -> [b6989586621679997072] -> TyFun [c6989586621679997073] [d6989586621679997074] -> *) (ZipWith3Sym3 a6989586621679997071 b6989586621679997072 c6989586621679997073 d6989586621679997074) # | |
| SuppressUnusedWarnings ([a6989586621680303772] -> TyFun [b6989586621680303773] (TyFun [c6989586621680303774] (TyFun [d6989586621680303775] [(a6989586621680303772, b6989586621680303773, c6989586621680303774, d6989586621680303775)] -> Type) -> Type) -> *) (Zip4Sym1 b6989586621680303773 c6989586621680303774 d6989586621680303775 a6989586621680303772) # | |
| SuppressUnusedWarnings ([a6989586621680303772] -> [b6989586621680303773] -> TyFun [c6989586621680303774] (TyFun [d6989586621680303775] [(a6989586621680303772, b6989586621680303773, c6989586621680303774, d6989586621680303775)] -> Type) -> *) (Zip4Sym2 c6989586621680303774 d6989586621680303775 b6989586621680303773 a6989586621680303772) # | |
| SuppressUnusedWarnings ([a6989586621680303772] -> [b6989586621680303773] -> [c6989586621680303774] -> TyFun [d6989586621680303775] [(a6989586621680303772, b6989586621680303773, c6989586621680303774, d6989586621680303775)] -> *) (Zip4Sym3 d6989586621680303775 c6989586621680303774 b6989586621680303773 a6989586621680303772) # | |
| 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 a6989586621679997071 (TyFun b6989586621679997072 (TyFun c6989586621679997073 d6989586621679997074 -> Type) -> Type) -> Type) (TyFun [a6989586621679997071] (TyFun [b6989586621679997072] (TyFun [c6989586621679997073] [d6989586621679997074] -> Type) -> Type) -> Type) -> *) (ZipWith3Sym0 a6989586621679997071 b6989586621679997072 c6989586621679997073 d6989586621679997074) # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679997062, b6989586621679997063, c6989586621679997064, d6989586621679997065)] ([a6989586621679997062], [b6989586621679997063], [c6989586621679997064], [d6989586621679997065]) -> *) (Unzip4Sym0 a6989586621679997062 b6989586621679997063 c6989586621679997064 d6989586621679997065) # | |
| SuppressUnusedWarnings (TyFun [a6989586621680303772] (TyFun [b6989586621680303773] (TyFun [c6989586621680303774] (TyFun [d6989586621680303775] [(a6989586621680303772, b6989586621680303773, c6989586621680303774, d6989586621680303775)] -> Type) -> Type) -> Type) -> *) (Zip4Sym0 a6989586621680303772 b6989586621680303773 c6989586621680303774 d6989586621680303775) # | |
| SuppressUnusedWarnings (TyFun a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (TyFun d3530822107858468869 (a3530822107858468866, b3530822107858468867, c3530822107858468868, d3530822107858468869) -> Type) -> Type) -> Type) -> *) (Tuple4Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868 d3530822107858468869) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303749 (TyFun b6989586621680303750 (TyFun c6989586621680303751 (TyFun d6989586621680303752 e6989586621680303753 -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621680303749] (TyFun [b6989586621680303750] (TyFun [c6989586621680303751] (TyFun [d6989586621680303752] [e6989586621680303753] -> Type) -> Type) -> Type) -> *) (ZipWith4Sym1 a6989586621680303749 b6989586621680303750 c6989586621680303751 d6989586621680303752 e6989586621680303753) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303749 (TyFun b6989586621680303750 (TyFun c6989586621680303751 (TyFun d6989586621680303752 e6989586621680303753 -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303749] -> TyFun [b6989586621680303750] (TyFun [c6989586621680303751] (TyFun [d6989586621680303752] [e6989586621680303753] -> Type) -> Type) -> *) (ZipWith4Sym2 a6989586621680303749 b6989586621680303750 c6989586621680303751 d6989586621680303752 e6989586621680303753) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303749 (TyFun b6989586621680303750 (TyFun c6989586621680303751 (TyFun d6989586621680303752 e6989586621680303753 -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303749] -> [b6989586621680303750] -> TyFun [c6989586621680303751] (TyFun [d6989586621680303752] [e6989586621680303753] -> Type) -> *) (ZipWith4Sym3 a6989586621680303749 b6989586621680303750 c6989586621680303751 d6989586621680303752 e6989586621680303753) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303749 (TyFun b6989586621680303750 (TyFun c6989586621680303751 (TyFun d6989586621680303752 e6989586621680303753 -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303749] -> [b6989586621680303750] -> [c6989586621680303751] -> TyFun [d6989586621680303752] [e6989586621680303753] -> *) (ZipWith4Sym4 a6989586621680303749 b6989586621680303750 c6989586621680303751 d6989586621680303752 e6989586621680303753) # | |
| SuppressUnusedWarnings ([a6989586621680303767] -> TyFun [b6989586621680303768] (TyFun [c6989586621680303769] (TyFun [d6989586621680303770] (TyFun [e6989586621680303771] [(a6989586621680303767, b6989586621680303768, c6989586621680303769, d6989586621680303770, e6989586621680303771)] -> Type) -> Type) -> Type) -> *) (Zip5Sym1 b6989586621680303768 c6989586621680303769 d6989586621680303770 e6989586621680303771 a6989586621680303767) # | |
| SuppressUnusedWarnings ([a6989586621680303767] -> [b6989586621680303768] -> TyFun [c6989586621680303769] (TyFun [d6989586621680303770] (TyFun [e6989586621680303771] [(a6989586621680303767, b6989586621680303768, c6989586621680303769, d6989586621680303770, e6989586621680303771)] -> Type) -> Type) -> *) (Zip5Sym2 c6989586621680303769 d6989586621680303770 e6989586621680303771 b6989586621680303768 a6989586621680303767) # | |
| SuppressUnusedWarnings ([a6989586621680303767] -> [b6989586621680303768] -> [c6989586621680303769] -> TyFun [d6989586621680303770] (TyFun [e6989586621680303771] [(a6989586621680303767, b6989586621680303768, c6989586621680303769, d6989586621680303770, e6989586621680303771)] -> Type) -> *) (Zip5Sym3 d6989586621680303770 e6989586621680303771 c6989586621680303769 b6989586621680303768 a6989586621680303767) # | |
| SuppressUnusedWarnings ([a6989586621680303767] -> [b6989586621680303768] -> [c6989586621680303769] -> [d6989586621680303770] -> TyFun [e6989586621680303771] [(a6989586621680303767, b6989586621680303768, c6989586621680303769, d6989586621680303770, e6989586621680303771)] -> *) (Zip5Sym4 e6989586621680303771 d6989586621680303770 c6989586621680303769 b6989586621680303768 a6989586621680303767) # | |
| 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 a6989586621680303749 (TyFun b6989586621680303750 (TyFun c6989586621680303751 (TyFun d6989586621680303752 e6989586621680303753 -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680303749] (TyFun [b6989586621680303750] (TyFun [c6989586621680303751] (TyFun [d6989586621680303752] [e6989586621680303753] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith4Sym0 a6989586621680303749 b6989586621680303750 c6989586621680303751 d6989586621680303752 e6989586621680303753) # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679997057, b6989586621679997058, c6989586621679997059, d6989586621679997060, e6989586621679997061)] ([a6989586621679997057], [b6989586621679997058], [c6989586621679997059], [d6989586621679997060], [e6989586621679997061]) -> *) (Unzip5Sym0 a6989586621679997057 b6989586621679997058 c6989586621679997059 d6989586621679997060 e6989586621679997061) # | |
| SuppressUnusedWarnings (TyFun [a6989586621680303767] (TyFun [b6989586621680303768] (TyFun [c6989586621680303769] (TyFun [d6989586621680303770] (TyFun [e6989586621680303771] [(a6989586621680303767, b6989586621680303768, c6989586621680303769, d6989586621680303770, e6989586621680303771)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip5Sym0 a6989586621680303767 b6989586621680303768 c6989586621680303769 d6989586621680303770 e6989586621680303771) # | |
| 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 a6989586621680303743 (TyFun b6989586621680303744 (TyFun c6989586621680303745 (TyFun d6989586621680303746 (TyFun e6989586621680303747 f6989586621680303748 -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621680303743] (TyFun [b6989586621680303744] (TyFun [c6989586621680303745] (TyFun [d6989586621680303746] (TyFun [e6989586621680303747] [f6989586621680303748] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith5Sym1 a6989586621680303743 b6989586621680303744 c6989586621680303745 d6989586621680303746 e6989586621680303747 f6989586621680303748) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303743 (TyFun b6989586621680303744 (TyFun c6989586621680303745 (TyFun d6989586621680303746 (TyFun e6989586621680303747 f6989586621680303748 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303743] -> TyFun [b6989586621680303744] (TyFun [c6989586621680303745] (TyFun [d6989586621680303746] (TyFun [e6989586621680303747] [f6989586621680303748] -> Type) -> Type) -> Type) -> *) (ZipWith5Sym2 a6989586621680303743 b6989586621680303744 c6989586621680303745 d6989586621680303746 e6989586621680303747 f6989586621680303748) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303743 (TyFun b6989586621680303744 (TyFun c6989586621680303745 (TyFun d6989586621680303746 (TyFun e6989586621680303747 f6989586621680303748 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303743] -> [b6989586621680303744] -> TyFun [c6989586621680303745] (TyFun [d6989586621680303746] (TyFun [e6989586621680303747] [f6989586621680303748] -> Type) -> Type) -> *) (ZipWith5Sym3 a6989586621680303743 b6989586621680303744 c6989586621680303745 d6989586621680303746 e6989586621680303747 f6989586621680303748) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303743 (TyFun b6989586621680303744 (TyFun c6989586621680303745 (TyFun d6989586621680303746 (TyFun e6989586621680303747 f6989586621680303748 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303743] -> [b6989586621680303744] -> [c6989586621680303745] -> TyFun [d6989586621680303746] (TyFun [e6989586621680303747] [f6989586621680303748] -> Type) -> *) (ZipWith5Sym4 a6989586621680303743 b6989586621680303744 c6989586621680303745 d6989586621680303746 e6989586621680303747 f6989586621680303748) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303743 (TyFun b6989586621680303744 (TyFun c6989586621680303745 (TyFun d6989586621680303746 (TyFun e6989586621680303747 f6989586621680303748 -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303743] -> [b6989586621680303744] -> [c6989586621680303745] -> [d6989586621680303746] -> TyFun [e6989586621680303747] [f6989586621680303748] -> *) (ZipWith5Sym5 a6989586621680303743 b6989586621680303744 c6989586621680303745 d6989586621680303746 e6989586621680303747 f6989586621680303748) # | |
| SuppressUnusedWarnings ([a6989586621680303761] -> TyFun [b6989586621680303762] (TyFun [c6989586621680303763] (TyFun [d6989586621680303764] (TyFun [e6989586621680303765] (TyFun [f6989586621680303766] [(a6989586621680303761, b6989586621680303762, c6989586621680303763, d6989586621680303764, e6989586621680303765, f6989586621680303766)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip6Sym1 b6989586621680303762 c6989586621680303763 d6989586621680303764 e6989586621680303765 f6989586621680303766 a6989586621680303761) # | |
| SuppressUnusedWarnings ([a6989586621680303761] -> [b6989586621680303762] -> TyFun [c6989586621680303763] (TyFun [d6989586621680303764] (TyFun [e6989586621680303765] (TyFun [f6989586621680303766] [(a6989586621680303761, b6989586621680303762, c6989586621680303763, d6989586621680303764, e6989586621680303765, f6989586621680303766)] -> Type) -> Type) -> Type) -> *) (Zip6Sym2 c6989586621680303763 d6989586621680303764 e6989586621680303765 f6989586621680303766 b6989586621680303762 a6989586621680303761) # | |
| SuppressUnusedWarnings ([a6989586621680303761] -> [b6989586621680303762] -> [c6989586621680303763] -> TyFun [d6989586621680303764] (TyFun [e6989586621680303765] (TyFun [f6989586621680303766] [(a6989586621680303761, b6989586621680303762, c6989586621680303763, d6989586621680303764, e6989586621680303765, f6989586621680303766)] -> Type) -> Type) -> *) (Zip6Sym3 d6989586621680303764 e6989586621680303765 f6989586621680303766 c6989586621680303763 b6989586621680303762 a6989586621680303761) # | |
| SuppressUnusedWarnings ([a6989586621680303761] -> [b6989586621680303762] -> [c6989586621680303763] -> [d6989586621680303764] -> TyFun [e6989586621680303765] (TyFun [f6989586621680303766] [(a6989586621680303761, b6989586621680303762, c6989586621680303763, d6989586621680303764, e6989586621680303765, f6989586621680303766)] -> Type) -> *) (Zip6Sym4 e6989586621680303765 f6989586621680303766 d6989586621680303764 c6989586621680303763 b6989586621680303762 a6989586621680303761) # | |
| SuppressUnusedWarnings ([a6989586621680303761] -> [b6989586621680303762] -> [c6989586621680303763] -> [d6989586621680303764] -> [e6989586621680303765] -> TyFun [f6989586621680303766] [(a6989586621680303761, b6989586621680303762, c6989586621680303763, d6989586621680303764, e6989586621680303765, f6989586621680303766)] -> *) (Zip6Sym5 f6989586621680303766 e6989586621680303765 d6989586621680303764 c6989586621680303763 b6989586621680303762 a6989586621680303761) # | |
| 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 a6989586621680303743 (TyFun b6989586621680303744 (TyFun c6989586621680303745 (TyFun d6989586621680303746 (TyFun e6989586621680303747 f6989586621680303748 -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680303743] (TyFun [b6989586621680303744] (TyFun [c6989586621680303745] (TyFun [d6989586621680303746] (TyFun [e6989586621680303747] [f6989586621680303748] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith5Sym0 a6989586621680303743 b6989586621680303744 c6989586621680303745 d6989586621680303746 e6989586621680303747 f6989586621680303748) # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679997051, b6989586621679997052, c6989586621679997053, d6989586621679997054, e6989586621679997055, f6989586621679997056)] ([a6989586621679997051], [b6989586621679997052], [c6989586621679997053], [d6989586621679997054], [e6989586621679997055], [f6989586621679997056]) -> *) (Unzip6Sym0 a6989586621679997051 b6989586621679997052 c6989586621679997053 d6989586621679997054 e6989586621679997055 f6989586621679997056) # | |
| SuppressUnusedWarnings (TyFun [a6989586621680303761] (TyFun [b6989586621680303762] (TyFun [c6989586621680303763] (TyFun [d6989586621680303764] (TyFun [e6989586621680303765] (TyFun [f6989586621680303766] [(a6989586621680303761, b6989586621680303762, c6989586621680303763, d6989586621680303764, e6989586621680303765, f6989586621680303766)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip6Sym0 a6989586621680303761 b6989586621680303762 c6989586621680303763 d6989586621680303764 e6989586621680303765 f6989586621680303766) # | |
| 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 a6989586621680303736 (TyFun b6989586621680303737 (TyFun c6989586621680303738 (TyFun d6989586621680303739 (TyFun e6989586621680303740 (TyFun f6989586621680303741 g6989586621680303742 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621680303736] (TyFun [b6989586621680303737] (TyFun [c6989586621680303738] (TyFun [d6989586621680303739] (TyFun [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym1 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303736 (TyFun b6989586621680303737 (TyFun c6989586621680303738 (TyFun d6989586621680303739 (TyFun e6989586621680303740 (TyFun f6989586621680303741 g6989586621680303742 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303736] -> TyFun [b6989586621680303737] (TyFun [c6989586621680303738] (TyFun [d6989586621680303739] (TyFun [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym2 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303736 (TyFun b6989586621680303737 (TyFun c6989586621680303738 (TyFun d6989586621680303739 (TyFun e6989586621680303740 (TyFun f6989586621680303741 g6989586621680303742 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303736] -> [b6989586621680303737] -> TyFun [c6989586621680303738] (TyFun [d6989586621680303739] (TyFun [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) -> Type) -> Type) -> *) (ZipWith6Sym3 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303736 (TyFun b6989586621680303737 (TyFun c6989586621680303738 (TyFun d6989586621680303739 (TyFun e6989586621680303740 (TyFun f6989586621680303741 g6989586621680303742 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303736] -> [b6989586621680303737] -> [c6989586621680303738] -> TyFun [d6989586621680303739] (TyFun [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) -> Type) -> *) (ZipWith6Sym4 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303736 (TyFun b6989586621680303737 (TyFun c6989586621680303738 (TyFun d6989586621680303739 (TyFun e6989586621680303740 (TyFun f6989586621680303741 g6989586621680303742 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303736] -> [b6989586621680303737] -> [c6989586621680303738] -> [d6989586621680303739] -> TyFun [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) -> *) (ZipWith6Sym5 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303736 (TyFun b6989586621680303737 (TyFun c6989586621680303738 (TyFun d6989586621680303739 (TyFun e6989586621680303740 (TyFun f6989586621680303741 g6989586621680303742 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303736] -> [b6989586621680303737] -> [c6989586621680303738] -> [d6989586621680303739] -> [e6989586621680303740] -> TyFun [f6989586621680303741] [g6989586621680303742] -> *) (ZipWith6Sym6 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742) # | |
| SuppressUnusedWarnings ([a6989586621680303754] -> TyFun [b6989586621680303755] (TyFun [c6989586621680303756] (TyFun [d6989586621680303757] (TyFun [e6989586621680303758] (TyFun [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym1 b6989586621680303755 c6989586621680303756 d6989586621680303757 e6989586621680303758 f6989586621680303759 g6989586621680303760 a6989586621680303754) # | |
| SuppressUnusedWarnings ([a6989586621680303754] -> [b6989586621680303755] -> TyFun [c6989586621680303756] (TyFun [d6989586621680303757] (TyFun [e6989586621680303758] (TyFun [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym2 c6989586621680303756 d6989586621680303757 e6989586621680303758 f6989586621680303759 g6989586621680303760 b6989586621680303755 a6989586621680303754) # | |
| SuppressUnusedWarnings ([a6989586621680303754] -> [b6989586621680303755] -> [c6989586621680303756] -> TyFun [d6989586621680303757] (TyFun [e6989586621680303758] (TyFun [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) -> Type) -> Type) -> *) (Zip7Sym3 d6989586621680303757 e6989586621680303758 f6989586621680303759 g6989586621680303760 c6989586621680303756 b6989586621680303755 a6989586621680303754) # | |
| SuppressUnusedWarnings ([a6989586621680303754] -> [b6989586621680303755] -> [c6989586621680303756] -> [d6989586621680303757] -> TyFun [e6989586621680303758] (TyFun [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) -> Type) -> *) (Zip7Sym4 e6989586621680303758 f6989586621680303759 g6989586621680303760 d6989586621680303757 c6989586621680303756 b6989586621680303755 a6989586621680303754) # | |
| SuppressUnusedWarnings ([a6989586621680303754] -> [b6989586621680303755] -> [c6989586621680303756] -> [d6989586621680303757] -> [e6989586621680303758] -> TyFun [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) -> *) (Zip7Sym5 f6989586621680303759 g6989586621680303760 e6989586621680303758 d6989586621680303757 c6989586621680303756 b6989586621680303755 a6989586621680303754) # | |
| SuppressUnusedWarnings ([a6989586621680303754] -> [b6989586621680303755] -> [c6989586621680303756] -> [d6989586621680303757] -> [e6989586621680303758] -> [f6989586621680303759] -> TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> *) (Zip7Sym6 g6989586621680303760 f6989586621680303759 e6989586621680303758 d6989586621680303757 c6989586621680303756 b6989586621680303755 a6989586621680303754) # | |
| 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 a6989586621680303736 (TyFun b6989586621680303737 (TyFun c6989586621680303738 (TyFun d6989586621680303739 (TyFun e6989586621680303740 (TyFun f6989586621680303741 g6989586621680303742 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680303736] (TyFun [b6989586621680303737] (TyFun [c6989586621680303738] (TyFun [d6989586621680303739] (TyFun [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith6Sym0 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742) # | |
| SuppressUnusedWarnings (TyFun [(a6989586621679997044, b6989586621679997045, c6989586621679997046, d6989586621679997047, e6989586621679997048, f6989586621679997049, g6989586621679997050)] ([a6989586621679997044], [b6989586621679997045], [c6989586621679997046], [d6989586621679997047], [e6989586621679997048], [f6989586621679997049], [g6989586621679997050]) -> *) (Unzip7Sym0 a6989586621679997044 b6989586621679997045 c6989586621679997046 d6989586621679997047 e6989586621679997048 f6989586621679997049 g6989586621679997050) # | |
| SuppressUnusedWarnings (TyFun [a6989586621680303754] (TyFun [b6989586621680303755] (TyFun [c6989586621680303756] (TyFun [d6989586621680303757] (TyFun [e6989586621680303758] (TyFun [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (Zip7Sym0 a6989586621680303754 b6989586621680303755 c6989586621680303756 d6989586621680303757 e6989586621680303758 f6989586621680303759 g6989586621680303760) # | |
| 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 a6989586621680303728 (TyFun b6989586621680303729 (TyFun c6989586621680303730 (TyFun d6989586621680303731 (TyFun e6989586621680303732 (TyFun f6989586621680303733 (TyFun g6989586621680303734 h6989586621680303735 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> TyFun [a6989586621680303728] (TyFun [b6989586621680303729] (TyFun [c6989586621680303730] (TyFun [d6989586621680303731] (TyFun [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym1 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303728 (TyFun b6989586621680303729 (TyFun c6989586621680303730 (TyFun d6989586621680303731 (TyFun e6989586621680303732 (TyFun f6989586621680303733 (TyFun g6989586621680303734 h6989586621680303735 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303728] -> TyFun [b6989586621680303729] (TyFun [c6989586621680303730] (TyFun [d6989586621680303731] (TyFun [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym2 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303728 (TyFun b6989586621680303729 (TyFun c6989586621680303730 (TyFun d6989586621680303731 (TyFun e6989586621680303732 (TyFun f6989586621680303733 (TyFun g6989586621680303734 h6989586621680303735 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303728] -> [b6989586621680303729] -> TyFun [c6989586621680303730] (TyFun [d6989586621680303731] (TyFun [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym3 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303728 (TyFun b6989586621680303729 (TyFun c6989586621680303730 (TyFun d6989586621680303731 (TyFun e6989586621680303732 (TyFun f6989586621680303733 (TyFun g6989586621680303734 h6989586621680303735 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303728] -> [b6989586621680303729] -> [c6989586621680303730] -> TyFun [d6989586621680303731] (TyFun [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) -> Type) -> *) (ZipWith7Sym4 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303728 (TyFun b6989586621680303729 (TyFun c6989586621680303730 (TyFun d6989586621680303731 (TyFun e6989586621680303732 (TyFun f6989586621680303733 (TyFun g6989586621680303734 h6989586621680303735 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303728] -> [b6989586621680303729] -> [c6989586621680303730] -> [d6989586621680303731] -> TyFun [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) -> *) (ZipWith7Sym5 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303728 (TyFun b6989586621680303729 (TyFun c6989586621680303730 (TyFun d6989586621680303731 (TyFun e6989586621680303732 (TyFun f6989586621680303733 (TyFun g6989586621680303734 h6989586621680303735 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303728] -> [b6989586621680303729] -> [c6989586621680303730] -> [d6989586621680303731] -> [e6989586621680303732] -> TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> *) (ZipWith7Sym6 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735) # | |
| SuppressUnusedWarnings ((TyFun a6989586621680303728 (TyFun b6989586621680303729 (TyFun c6989586621680303730 (TyFun d6989586621680303731 (TyFun e6989586621680303732 (TyFun f6989586621680303733 (TyFun g6989586621680303734 h6989586621680303735 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> [a6989586621680303728] -> [b6989586621680303729] -> [c6989586621680303730] -> [d6989586621680303731] -> [e6989586621680303732] -> [f6989586621680303733] -> TyFun [g6989586621680303734] [h6989586621680303735] -> *) (ZipWith7Sym7 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735) # | |
| SuppressUnusedWarnings (TyFun (TyFun a6989586621680303728 (TyFun b6989586621680303729 (TyFun c6989586621680303730 (TyFun d6989586621680303731 (TyFun e6989586621680303732 (TyFun f6989586621680303733 (TyFun g6989586621680303734 h6989586621680303735 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680303728] (TyFun [b6989586621680303729] (TyFun [c6989586621680303730] (TyFun [d6989586621680303731] (TyFun [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> *) (ZipWith7Sym0 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735) # | |
| 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 [a6989586621679997020] ([a6989586621679997020], [a6989586621679997020]) -> Type) (SplitAtSym0 a6989586621679997020) l0 # | |
| type Apply Nat (TyFun [a6989586621679997022] [a6989586621679997022] -> Type) (TakeSym0 a6989586621679997022) l0 # | |
| type Apply Nat (TyFun [a6989586621679997021] [a6989586621679997021] -> Type) (DropSym0 a6989586621679997021) l0 # | |
| type Apply Nat (TyFun a6989586621679997006 [a6989586621679997006] -> Type) (ReplicateSym0 a6989586621679997006) l0 # | |
| type Apply a3530822107858468866 (TyFun [a3530822107858468866] [a3530822107858468866] -> Type) ((:$) a3530822107858468866) l0 # | |
| type Apply a6989586621679698428 (TyFun a6989586621679698428 (TyFun Bool a6989586621679698428 -> Type) -> Type) (Bool_Sym0 a6989586621679698428) l0 # | |
| type Apply a6989586621679703388 (TyFun a6989586621679703388 a6989586621679703388 -> Type) (AsTypeOfSym0 a6989586621679703388) l0 # | |
| type Apply a6989586621679716089 (TyFun a6989586621679716089 Bool -> Type) ((:/=$) a6989586621679716089) l0 # | |
| type Apply a6989586621679716089 (TyFun a6989586621679716089 Bool -> Type) ((:==$) a6989586621679716089) l0 # | |
| type Apply a6989586621679748528 (TyFun a6989586621679748528 a6989586621679748528 -> Type) (MinSym0 a6989586621679748528) l0 # | |
| type Apply a6989586621679748528 (TyFun a6989586621679748528 a6989586621679748528 -> Type) (MaxSym0 a6989586621679748528) l0 # | |
| type Apply a6989586621679748528 (TyFun a6989586621679748528 Bool -> Type) ((:>=$) a6989586621679748528) l0 # | |
| type Apply a6989586621679748528 (TyFun a6989586621679748528 Bool -> Type) ((:>$) a6989586621679748528) l0 # | |
| type Apply a6989586621679748528 (TyFun a6989586621679748528 Bool -> Type) ((:<=$) a6989586621679748528) l0 # | |
| type Apply a6989586621679748528 (TyFun a6989586621679748528 Bool -> Type) ((:<$) a6989586621679748528) l0 # | |
| type Apply a6989586621679748528 (TyFun a6989586621679748528 Ordering -> Type) (CompareSym0 a6989586621679748528) l0 # | |
| type Apply a6989586621679869121 (TyFun a6989586621679869121 a6989586621679869121 -> Type) ((:*$) a6989586621679869121) l0 # | |
| type Apply a6989586621679869121 (TyFun a6989586621679869121 a6989586621679869121 -> Type) ((:-$) a6989586621679869121) l0 # | |
| type Apply a6989586621679869121 (TyFun a6989586621679869121 a6989586621679869121 -> Type) ((:+$) a6989586621679869121) l0 # | |
| type Apply a6989586621679871437 (TyFun a6989586621679871437 a6989586621679871437 -> Type) (SubtractSym0 a6989586621679871437) l0 # | |
| type Apply a6989586621679883002 (TyFun a6989586621679883002 (TyFun a6989586621679883002 [a6989586621679883002] -> Type) -> Type) (EnumFromThenToSym0 a6989586621679883002) l0 # | |
| type Apply a6989586621679883002 (TyFun a6989586621679883002 [a6989586621679883002] -> Type) (EnumFromToSym0 a6989586621679883002) l0 # | |
| type Apply a6989586621679970355 (TyFun (Maybe a6989586621679970355) a6989586621679970355 -> Type) (FromMaybeSym0 a6989586621679970355) l0 # | |
| type Apply a6989586621679997118 (TyFun [a6989586621679997118] [a6989586621679997118] -> Type) (IntersperseSym0 a6989586621679997118) l0 # | |
| type Apply a6989586621679997084 (TyFun [a6989586621679997084] Bool -> Type) (ElemSym0 a6989586621679997084) l0 # | |
| type Apply a6989586621679997083 (TyFun [a6989586621679997083] Bool -> Type) (NotElemSym0 a6989586621679997083) l0 # | |
| type Apply a6989586621679997033 (TyFun [a6989586621679997033] (Maybe Nat) -> Type) (ElemIndexSym0 a6989586621679997033) l0 # | |
| type Apply a6989586621679997032 (TyFun [a6989586621679997032] [Nat] -> Type) (ElemIndicesSym0 a6989586621679997032) l0 # | |
| type Apply a6989586621679997043 (TyFun [a6989586621679997043] [a6989586621679997043] -> Type) (DeleteSym0 a6989586621679997043) l0 # | |
| type Apply a6989586621679997016 (TyFun [a6989586621679997016] [a6989586621679997016] -> Type) (InsertSym0 a6989586621679997016) l0 # | |
| type Apply a3530822107858468866 (TyFun b3530822107858468867 (a3530822107858468866, b3530822107858468867) -> Type) (Tuple2Sym0 a3530822107858468866 b3530822107858468867) l0 # | |
| type Apply a6989586621679698428 (TyFun Bool a6989586621679698428 -> Type) (Bool_Sym1 a6989586621679698428 l0) l1 # | |
| type Apply a6989586621679703395 (TyFun b6989586621679703396 a6989586621679703395 -> Type) (ConstSym0 b6989586621679703396 a6989586621679703395) l0 # | |
| type Apply a6989586621679703386 (TyFun b6989586621679703387 b6989586621679703387 -> Type) (SeqSym0 a6989586621679703386 b6989586621679703387) l0 # | |
| type Apply a6989586621679883002 (TyFun a6989586621679883002 [a6989586621679883002] -> Type) (EnumFromThenToSym1 a6989586621679883002 l0) l1 # | |
| type Apply b6989586621679969104 (TyFun (TyFun a6989586621679969105 b6989586621679969104 -> Type) (TyFun (Maybe a6989586621679969105) b6989586621679969104 -> Type) -> Type) (Maybe_Sym0 a6989586621679969105 b6989586621679969104) l0 # | |
| type Apply a6989586621679997041 (TyFun [a6989586621679997041] [a6989586621679997041] -> Type) (DeleteBySym1 a6989586621679997041 l0) l1 # | |
| type Apply a6989586621679997038 (TyFun [a6989586621679997038] [a6989586621679997038] -> Type) (InsertBySym1 a6989586621679997038 l0) l1 # | |
| type Apply a6989586621679997012 (TyFun [(a6989586621679997012, b6989586621679997013)] (Maybe b6989586621679997013) -> Type) (LookupSym0 a6989586621679997012 b6989586621679997013) l0 # | |
| type Apply i6989586621680303726 (TyFun [a6989586621680303727] [a6989586621680303727] -> Type) (GenericTakeSym0 i6989586621680303726 a6989586621680303727) l0 # | |
| type Apply i6989586621680303724 (TyFun [a6989586621680303725] [a6989586621680303725] -> Type) (GenericDropSym0 i6989586621680303724 a6989586621680303725) l0 # | |
| type Apply i6989586621680303722 (TyFun [a6989586621680303723] ([a6989586621680303723], [a6989586621680303723]) -> Type) (GenericSplitAtSym0 i6989586621680303722 a6989586621680303723) l0 # | |
| type Apply i6989586621680303718 (TyFun a6989586621680303719 [a6989586621680303719] -> Type) (GenericReplicateSym0 i6989586621680303718 a6989586621680303719) l0 # | |
| type Apply a3530822107858468866 (TyFun b3530822107858468867 (TyFun c3530822107858468868 (a3530822107858468866, b3530822107858468867, c3530822107858468868) -> Type) -> Type) (Tuple3Sym0 a3530822107858468866 b3530822107858468867 c3530822107858468868) l0 # | |
| type Apply b6989586621679650486 (TyFun [a6989586621679650485] b6989586621679650486 -> Type) (FoldlSym1 a6989586621679650485 b6989586621679650486 l0) l1 # | |
| type Apply b6989586621679703402 (TyFun [a6989586621679703401] b6989586621679703402 -> Type) (FoldrSym1 a6989586621679703401 b6989586621679703402 l0) l1 # | |
| type Apply b6989586621679997112 (TyFun [a6989586621679997111] b6989586621679997112 -> Type) (Foldl'Sym1 a6989586621679997111 b6989586621679997112 l0) l1 # | |
| type Apply b6989586621679997102 (TyFun [a6989586621679997103] [b6989586621679997102] -> Type) (ScanlSym1 a6989586621679997103 b6989586621679997102 l0) l1 # | |
| type Apply b6989586621679997100 (TyFun [a6989586621679997099] [b6989586621679997100] -> Type) (ScanrSym1 a6989586621679997099 b6989586621679997100 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 b6989586621679703390 (TyFun a6989586621679703389 c6989586621679703391 -> Type) (FlipSym1 a6989586621679703389 b6989586621679703390 c6989586621679703391 l0) l1 # | |
| type Apply a6989586621679981944 (TyFun b6989586621679981945 c6989586621679981946 -> Type) (CurrySym1 a6989586621679981944 b6989586621679981945 c6989586621679981946 l0) l1 # | |
| type Apply acc6989586621679997095 (TyFun [x6989586621679997096] (acc6989586621679997095, [y6989586621679997097]) -> Type) (MapAccumLSym1 x6989586621679997096 acc6989586621679997095 y6989586621679997097 l0) l1 # | |
| type Apply acc6989586621679997092 (TyFun [x6989586621679997093] (acc6989586621679997092, [y6989586621679997094]) -> Type) (MapAccumRSym1 x6989586621679997093 acc6989586621679997092 y6989586621679997094 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 [a6989586621679703398] (TyFun [a6989586621679703398] [a6989586621679703398] -> Type) ((:++$) a6989586621679703398) l0 # | |
| type Apply [a6989586621679997086] (TyFun [a6989586621679997086] Bool -> Type) (IsSuffixOfSym0 a6989586621679997086) l0 # | |
| type Apply [a6989586621679997117] (TyFun [[a6989586621679997117]] [a6989586621679997117] -> Type) (IntercalateSym0 a6989586621679997117) l0 # | |
| type Apply [a6989586621679997085] (TyFun [a6989586621679997085] Bool -> Type) (IsInfixOfSym0 a6989586621679997085) l0 # | |
| type Apply [a6989586621679997087] (TyFun [a6989586621679997087] Bool -> Type) (IsPrefixOfSym0 a6989586621679997087) l0 # | |
| type Apply [a6989586621679997042] (TyFun [a6989586621679997042] [a6989586621679997042] -> Type) ((:\\$) a6989586621679997042) l0 # | |
| type Apply [a6989586621679996999] (TyFun [a6989586621679996999] [a6989586621679996999] -> Type) (UnionSym0 a6989586621679996999) l0 # | |
| type Apply [a6989586621679997029] (TyFun [a6989586621679997029] [a6989586621679997029] -> Type) (IntersectSym0 a6989586621679997029) l0 # | |
| type Apply [a6989586621679997004] (TyFun Nat a6989586621679997004 -> Type) ((:!!$) a6989586621679997004) l0 # | |
| type Apply [a6989586621680303776] (TyFun [a6989586621680303776] (Maybe [a6989586621680303776]) -> Type) (StripPrefixSym0 a6989586621680303776) l0 # | |
| type Apply [a6989586621679997081] (TyFun [b6989586621679997082] [(a6989586621679997081, b6989586621679997082)] -> Type) (ZipSym0 a6989586621679997081 b6989586621679997082) l0 # | |
| type Apply [a6989586621679997000] (TyFun [a6989586621679997000] [a6989586621679997000] -> Type) (UnionBySym1 a6989586621679997000 l0) l1 # | |
| type Apply [a6989586621679997040] (TyFun [a6989586621679997040] [a6989586621679997040] -> Type) (DeleteFirstsBySym1 a6989586621679997040 l0) l1 # | |
| type Apply [a6989586621679997028] (TyFun [a6989586621679997028] [a6989586621679997028] -> Type) (IntersectBySym1 a6989586621679997028 l0) l1 # | |
| type Apply [a6989586621680303721] (TyFun i6989586621680303720 a6989586621680303721 -> Type) (GenericIndexSym0 i6989586621680303720 a6989586621680303721) l0 # | |
| type Apply [a6989586621679997078] (TyFun [b6989586621679997079] (TyFun [c6989586621679997080] [(a6989586621679997078, b6989586621679997079, c6989586621679997080)] -> Type) -> Type) (Zip3Sym0 a6989586621679997078 b6989586621679997079 c6989586621679997080) l0 # | |
| type Apply [b6989586621679997079] (TyFun [c6989586621679997080] [(a6989586621679997078, b6989586621679997079, c6989586621679997080)] -> Type) (Zip3Sym1 b6989586621679997079 c6989586621679997080 a6989586621679997078 l0) l1 # | |
| type Apply [a6989586621679997075] (TyFun [b6989586621679997076] [c6989586621679997077] -> Type) (ZipWithSym1 a6989586621679997075 b6989586621679997076 c6989586621679997077 l0) l1 # | |
| type Apply [a6989586621680303772] (TyFun [b6989586621680303773] (TyFun [c6989586621680303774] (TyFun [d6989586621680303775] [(a6989586621680303772, b6989586621680303773, c6989586621680303774, d6989586621680303775)] -> Type) -> Type) -> Type) (Zip4Sym0 a6989586621680303772 b6989586621680303773 c6989586621680303774 d6989586621680303775) l0 # | |
| type Apply [a6989586621679997071] (TyFun [b6989586621679997072] (TyFun [c6989586621679997073] [d6989586621679997074] -> Type) -> Type) (ZipWith3Sym1 a6989586621679997071 b6989586621679997072 c6989586621679997073 d6989586621679997074 l0) l1 # | |
| type Apply [b6989586621680303773] (TyFun [c6989586621680303774] (TyFun [d6989586621680303775] [(a6989586621680303772, b6989586621680303773, c6989586621680303774, d6989586621680303775)] -> Type) -> Type) (Zip4Sym1 b6989586621680303773 c6989586621680303774 d6989586621680303775 a6989586621680303772 l0) l1 # | |
| type Apply [a6989586621680303767] (TyFun [b6989586621680303768] (TyFun [c6989586621680303769] (TyFun [d6989586621680303770] (TyFun [e6989586621680303771] [(a6989586621680303767, b6989586621680303768, c6989586621680303769, d6989586621680303770, e6989586621680303771)] -> Type) -> Type) -> Type) -> Type) (Zip5Sym0 a6989586621680303767 b6989586621680303768 c6989586621680303769 d6989586621680303770 e6989586621680303771) l0 # | |
| type Apply [b6989586621679997072] (TyFun [c6989586621679997073] [d6989586621679997074] -> Type) (ZipWith3Sym2 a6989586621679997071 b6989586621679997072 c6989586621679997073 d6989586621679997074 l1 l0) l2 # | |
| type Apply [c6989586621680303774] (TyFun [d6989586621680303775] [(a6989586621680303772, b6989586621680303773, c6989586621680303774, d6989586621680303775)] -> Type) (Zip4Sym2 c6989586621680303774 d6989586621680303775 b6989586621680303773 a6989586621680303772 l1 l0) l2 # | |
| type Apply [b6989586621680303768] (TyFun [c6989586621680303769] (TyFun [d6989586621680303770] (TyFun [e6989586621680303771] [(a6989586621680303767, b6989586621680303768, c6989586621680303769, d6989586621680303770, e6989586621680303771)] -> Type) -> Type) -> Type) (Zip5Sym1 b6989586621680303768 c6989586621680303769 d6989586621680303770 e6989586621680303771 a6989586621680303767 l0) l1 # | |
| type Apply [a6989586621680303761] (TyFun [b6989586621680303762] (TyFun [c6989586621680303763] (TyFun [d6989586621680303764] (TyFun [e6989586621680303765] (TyFun [f6989586621680303766] [(a6989586621680303761, b6989586621680303762, c6989586621680303763, d6989586621680303764, e6989586621680303765, f6989586621680303766)] -> Type) -> Type) -> Type) -> Type) -> Type) (Zip6Sym0 a6989586621680303761 b6989586621680303762 c6989586621680303763 d6989586621680303764 e6989586621680303765 f6989586621680303766) l0 # | |
| type Apply [a6989586621680303749] (TyFun [b6989586621680303750] (TyFun [c6989586621680303751] (TyFun [d6989586621680303752] [e6989586621680303753] -> Type) -> Type) -> Type) (ZipWith4Sym1 a6989586621680303749 b6989586621680303750 c6989586621680303751 d6989586621680303752 e6989586621680303753 l0) l1 # | |
| type Apply [c6989586621680303769] (TyFun [d6989586621680303770] (TyFun [e6989586621680303771] [(a6989586621680303767, b6989586621680303768, c6989586621680303769, d6989586621680303770, e6989586621680303771)] -> Type) -> Type) (Zip5Sym2 c6989586621680303769 d6989586621680303770 e6989586621680303771 b6989586621680303768 a6989586621680303767 l1 l0) l2 # | |
| type Apply [b6989586621680303762] (TyFun [c6989586621680303763] (TyFun [d6989586621680303764] (TyFun [e6989586621680303765] (TyFun [f6989586621680303766] [(a6989586621680303761, b6989586621680303762, c6989586621680303763, d6989586621680303764, e6989586621680303765, f6989586621680303766)] -> Type) -> Type) -> Type) -> Type) (Zip6Sym1 b6989586621680303762 c6989586621680303763 d6989586621680303764 e6989586621680303765 f6989586621680303766 a6989586621680303761 l0) l1 # | |
| type Apply [a6989586621680303754] (TyFun [b6989586621680303755] (TyFun [c6989586621680303756] (TyFun [d6989586621680303757] (TyFun [e6989586621680303758] (TyFun [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Zip7Sym0 a6989586621680303754 b6989586621680303755 c6989586621680303756 d6989586621680303757 e6989586621680303758 f6989586621680303759 g6989586621680303760) l0 # | |
| type Apply [b6989586621680303750] (TyFun [c6989586621680303751] (TyFun [d6989586621680303752] [e6989586621680303753] -> Type) -> Type) (ZipWith4Sym2 a6989586621680303749 b6989586621680303750 c6989586621680303751 d6989586621680303752 e6989586621680303753 l1 l0) l2 # | |
| type Apply [a6989586621680303743] (TyFun [b6989586621680303744] (TyFun [c6989586621680303745] (TyFun [d6989586621680303746] (TyFun [e6989586621680303747] [f6989586621680303748] -> Type) -> Type) -> Type) -> Type) (ZipWith5Sym1 a6989586621680303743 b6989586621680303744 c6989586621680303745 d6989586621680303746 e6989586621680303747 f6989586621680303748 l0) l1 # | |
| type Apply [d6989586621680303770] (TyFun [e6989586621680303771] [(a6989586621680303767, b6989586621680303768, c6989586621680303769, d6989586621680303770, e6989586621680303771)] -> Type) (Zip5Sym3 d6989586621680303770 e6989586621680303771 c6989586621680303769 b6989586621680303768 a6989586621680303767 l2 l1 l0) l3 # | |
| type Apply [c6989586621680303763] (TyFun [d6989586621680303764] (TyFun [e6989586621680303765] (TyFun [f6989586621680303766] [(a6989586621680303761, b6989586621680303762, c6989586621680303763, d6989586621680303764, e6989586621680303765, f6989586621680303766)] -> Type) -> Type) -> Type) (Zip6Sym2 c6989586621680303763 d6989586621680303764 e6989586621680303765 f6989586621680303766 b6989586621680303762 a6989586621680303761 l1 l0) l2 # | |
| type Apply [b6989586621680303755] (TyFun [c6989586621680303756] (TyFun [d6989586621680303757] (TyFun [e6989586621680303758] (TyFun [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) -> Type) -> Type) -> Type) -> Type) (Zip7Sym1 b6989586621680303755 c6989586621680303756 d6989586621680303757 e6989586621680303758 f6989586621680303759 g6989586621680303760 a6989586621680303754 l0) l1 # | |
| type Apply [c6989586621680303751] (TyFun [d6989586621680303752] [e6989586621680303753] -> Type) (ZipWith4Sym3 a6989586621680303749 b6989586621680303750 c6989586621680303751 d6989586621680303752 e6989586621680303753 l2 l1 l0) l3 # | |
| type Apply [b6989586621680303744] (TyFun [c6989586621680303745] (TyFun [d6989586621680303746] (TyFun [e6989586621680303747] [f6989586621680303748] -> Type) -> Type) -> Type) (ZipWith5Sym2 a6989586621680303743 b6989586621680303744 c6989586621680303745 d6989586621680303746 e6989586621680303747 f6989586621680303748 l1 l0) l2 # | |
| type Apply [a6989586621680303736] (TyFun [b6989586621680303737] (TyFun [c6989586621680303738] (TyFun [d6989586621680303739] (TyFun [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith6Sym1 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742 l0) l1 # | |
| type Apply [d6989586621680303764] (TyFun [e6989586621680303765] (TyFun [f6989586621680303766] [(a6989586621680303761, b6989586621680303762, c6989586621680303763, d6989586621680303764, e6989586621680303765, f6989586621680303766)] -> Type) -> Type) (Zip6Sym3 d6989586621680303764 e6989586621680303765 f6989586621680303766 c6989586621680303763 b6989586621680303762 a6989586621680303761 l2 l1 l0) l3 # | |
| type Apply [c6989586621680303756] (TyFun [d6989586621680303757] (TyFun [e6989586621680303758] (TyFun [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) -> Type) -> Type) -> Type) (Zip7Sym2 c6989586621680303756 d6989586621680303757 e6989586621680303758 f6989586621680303759 g6989586621680303760 b6989586621680303755 a6989586621680303754 l1 l0) l2 # | |
| type Apply [c6989586621680303745] (TyFun [d6989586621680303746] (TyFun [e6989586621680303747] [f6989586621680303748] -> Type) -> Type) (ZipWith5Sym3 a6989586621680303743 b6989586621680303744 c6989586621680303745 d6989586621680303746 e6989586621680303747 f6989586621680303748 l2 l1 l0) l3 # | |
| type Apply [b6989586621680303737] (TyFun [c6989586621680303738] (TyFun [d6989586621680303739] (TyFun [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) -> Type) -> Type) -> Type) (ZipWith6Sym2 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742 l1 l0) l2 # | |
| type Apply [a6989586621680303728] (TyFun [b6989586621680303729] (TyFun [c6989586621680303730] (TyFun [d6989586621680303731] (TyFun [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith7Sym1 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735 l0) l1 # | |
| type Apply [e6989586621680303765] (TyFun [f6989586621680303766] [(a6989586621680303761, b6989586621680303762, c6989586621680303763, d6989586621680303764, e6989586621680303765, f6989586621680303766)] -> Type) (Zip6Sym4 e6989586621680303765 f6989586621680303766 d6989586621680303764 c6989586621680303763 b6989586621680303762 a6989586621680303761 l3 l2 l1 l0) l4 # | |
| type Apply [d6989586621680303757] (TyFun [e6989586621680303758] (TyFun [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) -> Type) -> Type) (Zip7Sym3 d6989586621680303757 e6989586621680303758 f6989586621680303759 g6989586621680303760 c6989586621680303756 b6989586621680303755 a6989586621680303754 l2 l1 l0) l3 # | |
| type Apply [d6989586621680303746] (TyFun [e6989586621680303747] [f6989586621680303748] -> Type) (ZipWith5Sym4 a6989586621680303743 b6989586621680303744 c6989586621680303745 d6989586621680303746 e6989586621680303747 f6989586621680303748 l3 l2 l1 l0) l4 # | |
| type Apply [c6989586621680303738] (TyFun [d6989586621680303739] (TyFun [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) -> Type) -> Type) (ZipWith6Sym3 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742 l2 l1 l0) l3 # | |
| type Apply [b6989586621680303729] (TyFun [c6989586621680303730] (TyFun [d6989586621680303731] (TyFun [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith7Sym2 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735 l1 l0) l2 # | |
| type Apply [e6989586621680303758] (TyFun [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) -> Type) (Zip7Sym4 e6989586621680303758 f6989586621680303759 g6989586621680303760 d6989586621680303757 c6989586621680303756 b6989586621680303755 a6989586621680303754 l3 l2 l1 l0) l4 # | |
| type Apply [d6989586621680303739] (TyFun [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) -> Type) (ZipWith6Sym4 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742 l3 l2 l1 l0) l4 # | |
| type Apply [c6989586621680303730] (TyFun [d6989586621680303731] (TyFun [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) -> Type) -> Type) (ZipWith7Sym3 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735 l2 l1 l0) l3 # | |
| type Apply [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) (Zip7Sym5 f6989586621680303759 g6989586621680303760 e6989586621680303758 d6989586621680303757 c6989586621680303756 b6989586621680303755 a6989586621680303754 l4 l3 l2 l1 l0) l5 # | |
| type Apply [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) (ZipWith6Sym5 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742 l4 l3 l2 l1 l0) l5 # | |
| type Apply [d6989586621680303731] (TyFun [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) -> Type) (ZipWith7Sym4 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735 l3 l2 l1 l0) l4 # | |
| type Apply [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) (ZipWith7Sym5 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735 l4 l3 l2 l1 l0) l5 # | |
| type Apply [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) (ZipWith7Sym6 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735 l5 l4 l3 l2 l1 l0) l6 # | |
| type DemoteRep ((~>) k1 k2) # | |
| data Sing ((~>) k1 k2) # | |
| type Apply (TyFun a6989586621679986420 Bool -> Type) (TyFun [a6989586621679986420] Bool -> Type) (Any_Sym0 a6989586621679986420) l0 # | |
| type Apply (TyFun a6989586621679997025 Bool -> Type) (TyFun [a6989586621679997025] [a6989586621679997025] -> Type) (DropWhileEndSym0 a6989586621679997025) l0 # | |
| type Apply (TyFun a6989586621679997109 (TyFun a6989586621679997109 a6989586621679997109 -> Type) -> Type) (TyFun [a6989586621679997109] a6989586621679997109 -> Type) (Foldl1'Sym0 a6989586621679997109) l0 # | |
| type Apply (TyFun a6989586621679997036 (TyFun a6989586621679997036 Ordering -> Type) -> Type) (TyFun [a6989586621679997036] a6989586621679997036 -> Type) (MinimumBySym0 a6989586621679997036) l0 # | |
| type Apply (TyFun a6989586621679997037 (TyFun a6989586621679997037 Ordering -> Type) -> Type) (TyFun [a6989586621679997037] a6989586621679997037 -> Type) (MaximumBySym0 a6989586621679997037) l0 # | |
| type Apply (TyFun a6989586621679997110 (TyFun a6989586621679997110 a6989586621679997110 -> Type) -> Type) (TyFun [a6989586621679997110] a6989586621679997110 -> Type) (Foldl1Sym0 a6989586621679997110) l0 # | |
| type Apply (TyFun a6989586621679997108 (TyFun a6989586621679997108 a6989586621679997108 -> Type) -> Type) (TyFun [a6989586621679997108] a6989586621679997108 -> Type) (Foldr1Sym0 a6989586621679997108) l0 # | |
| type Apply (TyFun a6989586621679997104 Bool -> Type) (TyFun [a6989586621679997104] Bool -> Type) (AllSym0 a6989586621679997104) l0 # | |
| type Apply (TyFun a6989586621679997101 (TyFun a6989586621679997101 a6989586621679997101 -> Type) -> Type) (TyFun [a6989586621679997101] [a6989586621679997101] -> Type) (Scanl1Sym0 a6989586621679997101) l0 # | |
| type Apply (TyFun a6989586621679997098 (TyFun a6989586621679997098 a6989586621679997098 -> Type) -> Type) (TyFun [a6989586621679997098] [a6989586621679997098] -> Type) (Scanr1Sym0 a6989586621679997098) l0 # | |
| type Apply (TyFun a6989586621679997031 Bool -> Type) (TyFun [a6989586621679997031] (Maybe Nat) -> Type) (FindIndexSym0 a6989586621679997031) l0 # | |
| type Apply (TyFun a6989586621679997030 Bool -> Type) (TyFun [a6989586621679997030] [Nat] -> Type) (FindIndicesSym0 a6989586621679997030) l0 # | |
| type Apply (TyFun a6989586621679997000 (TyFun a6989586621679997000 Bool -> Type) -> Type) (TyFun [a6989586621679997000] (TyFun [a6989586621679997000] [a6989586621679997000] -> Type) -> Type) (UnionBySym0 a6989586621679997000) l0 # | |
| type Apply (TyFun a6989586621679997040 (TyFun a6989586621679997040 Bool -> Type) -> Type) (TyFun [a6989586621679997040] (TyFun [a6989586621679997040] [a6989586621679997040] -> Type) -> Type) (DeleteFirstsBySym0 a6989586621679997040) l0 # | |
| type Apply (TyFun a6989586621679997041 (TyFun a6989586621679997041 Bool -> Type) -> Type) (TyFun a6989586621679997041 (TyFun [a6989586621679997041] [a6989586621679997041] -> Type) -> Type) (DeleteBySym0 a6989586621679997041) l0 # | |
| type Apply (TyFun a6989586621679997039 (TyFun a6989586621679997039 Ordering -> Type) -> Type) (TyFun [a6989586621679997039] [a6989586621679997039] -> Type) (SortBySym0 a6989586621679997039) l0 # | |
| type Apply (TyFun a6989586621679997038 (TyFun a6989586621679997038 Ordering -> Type) -> Type) (TyFun a6989586621679997038 (TyFun [a6989586621679997038] [a6989586621679997038] -> Type) -> Type) (InsertBySym0 a6989586621679997038) l0 # | |
| type Apply (TyFun a6989586621679997028 (TyFun a6989586621679997028 Bool -> Type) -> Type) (TyFun [a6989586621679997028] (TyFun [a6989586621679997028] [a6989586621679997028] -> Type) -> Type) (IntersectBySym0 a6989586621679997028) l0 # | |
| type Apply (TyFun a6989586621679997034 Bool -> Type) (TyFun [a6989586621679997034] (Maybe a6989586621679997034) -> Type) (FindSym0 a6989586621679997034) l0 # | |
| type Apply (TyFun a6989586621679997035 Bool -> Type) (TyFun [a6989586621679997035] [a6989586621679997035] -> Type) (FilterSym0 a6989586621679997035) l0 # | |
| type Apply (TyFun a6989586621679997027 Bool -> Type) (TyFun [a6989586621679997027] [a6989586621679997027] -> Type) (TakeWhileSym0 a6989586621679997027) l0 # | |
| type Apply (TyFun a6989586621679997026 Bool -> Type) (TyFun [a6989586621679997026] [a6989586621679997026] -> Type) (DropWhileSym0 a6989586621679997026) l0 # | |
| type Apply (TyFun a6989586621679997014 (TyFun a6989586621679997014 Bool -> Type) -> Type) (TyFun [a6989586621679997014] [[a6989586621679997014]] -> Type) (GroupBySym0 a6989586621679997014) l0 # | |
| type Apply (TyFun a6989586621679997024 Bool -> Type) (TyFun [a6989586621679997024] ([a6989586621679997024], [a6989586621679997024]) -> Type) (SpanSym0 a6989586621679997024) l0 # | |
| type Apply (TyFun a6989586621679997023 Bool -> Type) (TyFun [a6989586621679997023] ([a6989586621679997023], [a6989586621679997023]) -> Type) (BreakSym0 a6989586621679997023) l0 # | |
| type Apply (TyFun a6989586621679997011 Bool -> Type) (TyFun [a6989586621679997011] ([a6989586621679997011], [a6989586621679997011]) -> Type) (PartitionSym0 a6989586621679997011) l0 # | |
| type Apply (TyFun a6989586621679997002 (TyFun a6989586621679997002 Bool -> Type) -> Type) (TyFun [a6989586621679997002] [a6989586621679997002] -> Type) (NubBySym0 a6989586621679997002) l0 # | |
| type Apply (TyFun a6989586621680328006 Bool -> Type) (TyFun (TyFun a6989586621680328006 a6989586621680328006 -> Type) (TyFun a6989586621680328006 a6989586621680328006 -> Type) -> Type) (UntilSym0 a6989586621680328006) l0 # | |
| type Apply (TyFun b6989586621679650486 (TyFun a6989586621679650485 b6989586621679650486 -> Type) -> Type) (TyFun b6989586621679650486 (TyFun [a6989586621679650485] b6989586621679650486 -> Type) -> Type) (FoldlSym0 a6989586621679650485 b6989586621679650486) 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 a6989586621679703401 (TyFun b6989586621679703402 b6989586621679703402 -> Type) -> Type) (TyFun b6989586621679703402 (TyFun [a6989586621679703401] b6989586621679703402 -> Type) -> Type) (FoldrSym0 a6989586621679703401 b6989586621679703402) l0 # | |
| type Apply (TyFun a6989586621679703399 b6989586621679703400 -> Type) (TyFun [a6989586621679703399] [b6989586621679703400] -> Type) (MapSym0 a6989586621679703399 b6989586621679703400) l0 # | |
| type Apply (TyFun a6989586621679970350 (Maybe b6989586621679970351) -> Type) (TyFun [a6989586621679970350] [b6989586621679970351] -> Type) (MapMaybeSym0 a6989586621679970350 b6989586621679970351) l0 # | |
| type Apply (TyFun b6989586621679997112 (TyFun a6989586621679997111 b6989586621679997112 -> Type) -> Type) (TyFun b6989586621679997112 (TyFun [a6989586621679997111] b6989586621679997112 -> Type) -> Type) (Foldl'Sym0 a6989586621679997111 b6989586621679997112) l0 # | |
| type Apply (TyFun a6989586621679997105 [b6989586621679997106] -> Type) (TyFun [a6989586621679997105] [b6989586621679997106] -> Type) (ConcatMapSym0 a6989586621679997105 b6989586621679997106) l0 # | |
| type Apply (TyFun b6989586621679997102 (TyFun a6989586621679997103 b6989586621679997102 -> Type) -> Type) (TyFun b6989586621679997102 (TyFun [a6989586621679997103] [b6989586621679997102] -> Type) -> Type) (ScanlSym0 a6989586621679997103 b6989586621679997102) l0 # | |
| type Apply (TyFun a6989586621679997099 (TyFun b6989586621679997100 b6989586621679997100 -> Type) -> Type) (TyFun b6989586621679997100 (TyFun [a6989586621679997099] [b6989586621679997100] -> Type) -> Type) (ScanrSym0 a6989586621679997099 b6989586621679997100) l0 # | |
| type Apply (TyFun b6989586621679997090 (Maybe (a6989586621679997091, b6989586621679997090)) -> Type) (TyFun b6989586621679997090 [a6989586621679997091] -> Type) (UnfoldrSym0 b6989586621679997090 a6989586621679997091) l0 # | |
| type Apply (TyFun a6989586621680328006 a6989586621680328006 -> Type) (TyFun a6989586621680328006 a6989586621680328006 -> Type) (UntilSym1 a6989586621680328006 l0) l1 # | |
| type Apply (TyFun (a6989586621679981944, b6989586621679981945) c6989586621679981946 -> Type) (TyFun a6989586621679981944 (TyFun b6989586621679981945 c6989586621679981946 -> Type) -> Type) (CurrySym0 a6989586621679981944 b6989586621679981945 c6989586621679981946) l0 # | |
| type Apply (TyFun b6989586621679703392 c6989586621679703393 -> Type) (TyFun (TyFun a6989586621679703394 b6989586621679703392 -> Type) (TyFun a6989586621679703394 c6989586621679703393 -> Type) -> Type) ((:.$) b6989586621679703392 a6989586621679703394 c6989586621679703393) l0 # | |
| type Apply (TyFun a6989586621679703389 (TyFun b6989586621679703390 c6989586621679703391 -> Type) -> Type) (TyFun b6989586621679703390 (TyFun a6989586621679703389 c6989586621679703391 -> Type) -> Type) (FlipSym0 b6989586621679703390 a6989586621679703389 c6989586621679703391) l0 # | |
| type Apply (TyFun a6989586621679958182 c6989586621679958183 -> Type) (TyFun (TyFun b6989586621679958184 c6989586621679958183 -> Type) (TyFun (Either a6989586621679958182 b6989586621679958184) c6989586621679958183 -> Type) -> Type) (Either_Sym0 a6989586621679958182 b6989586621679958184 c6989586621679958183) l0 # | |
| type Apply (TyFun a6989586621679969105 b6989586621679969104 -> Type) (TyFun (Maybe a6989586621679969105) b6989586621679969104 -> Type) (Maybe_Sym1 a6989586621679969105 b6989586621679969104 l0) l1 # | |
| type Apply (TyFun a6989586621679981941 (TyFun b6989586621679981942 c6989586621679981943 -> Type) -> Type) (TyFun (a6989586621679981941, b6989586621679981942) c6989586621679981943 -> Type) (UncurrySym0 a6989586621679981941 b6989586621679981942 c6989586621679981943) l0 # | |
| type Apply (TyFun acc6989586621679997095 (TyFun x6989586621679997096 (acc6989586621679997095, y6989586621679997097) -> Type) -> Type) (TyFun acc6989586621679997095 (TyFun [x6989586621679997096] (acc6989586621679997095, [y6989586621679997097]) -> Type) -> Type) (MapAccumLSym0 x6989586621679997096 acc6989586621679997095 y6989586621679997097) l0 # | |
| type Apply (TyFun acc6989586621679997092 (TyFun x6989586621679997093 (acc6989586621679997092, y6989586621679997094) -> Type) -> Type) (TyFun acc6989586621679997092 (TyFun [x6989586621679997093] (acc6989586621679997092, [y6989586621679997094]) -> Type) -> Type) (MapAccumRSym0 x6989586621679997093 acc6989586621679997092 y6989586621679997094) l0 # | |
| type Apply (TyFun a6989586621679997075 (TyFun b6989586621679997076 c6989586621679997077 -> Type) -> Type) (TyFun [a6989586621679997075] (TyFun [b6989586621679997076] [c6989586621679997077] -> Type) -> Type) (ZipWithSym0 a6989586621679997075 b6989586621679997076 c6989586621679997077) l0 # | |
| type Apply (TyFun a6989586621679703394 b6989586621679703392 -> Type) (TyFun a6989586621679703394 c6989586621679703393 -> Type) ((:.$$) a6989586621679703394 b6989586621679703392 c6989586621679703393 l0) l1 # | |
| type Apply (TyFun b6989586621679958184 c6989586621679958183 -> Type) (TyFun (Either a6989586621679958182 b6989586621679958184) c6989586621679958183 -> Type) (Either_Sym1 b6989586621679958184 a6989586621679958182 c6989586621679958183 l0) l1 # | |
| type Apply (TyFun a6989586621679997071 (TyFun b6989586621679997072 (TyFun c6989586621679997073 d6989586621679997074 -> Type) -> Type) -> Type) (TyFun [a6989586621679997071] (TyFun [b6989586621679997072] (TyFun [c6989586621679997073] [d6989586621679997074] -> Type) -> Type) -> Type) (ZipWith3Sym0 a6989586621679997071 b6989586621679997072 c6989586621679997073 d6989586621679997074) l0 # | |
| type Apply (TyFun a6989586621680303749 (TyFun b6989586621680303750 (TyFun c6989586621680303751 (TyFun d6989586621680303752 e6989586621680303753 -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680303749] (TyFun [b6989586621680303750] (TyFun [c6989586621680303751] (TyFun [d6989586621680303752] [e6989586621680303753] -> Type) -> Type) -> Type) -> Type) (ZipWith4Sym0 a6989586621680303749 b6989586621680303750 c6989586621680303751 d6989586621680303752 e6989586621680303753) l0 # | |
| type Apply (TyFun a6989586621680303743 (TyFun b6989586621680303744 (TyFun c6989586621680303745 (TyFun d6989586621680303746 (TyFun e6989586621680303747 f6989586621680303748 -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680303743] (TyFun [b6989586621680303744] (TyFun [c6989586621680303745] (TyFun [d6989586621680303746] (TyFun [e6989586621680303747] [f6989586621680303748] -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith5Sym0 a6989586621680303743 b6989586621680303744 c6989586621680303745 d6989586621680303746 e6989586621680303747 f6989586621680303748) l0 # | |
| type Apply (TyFun a6989586621680303736 (TyFun b6989586621680303737 (TyFun c6989586621680303738 (TyFun d6989586621680303739 (TyFun e6989586621680303740 (TyFun f6989586621680303741 g6989586621680303742 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680303736] (TyFun [b6989586621680303737] (TyFun [c6989586621680303738] (TyFun [d6989586621680303739] (TyFun [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith6Sym0 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742) l0 # | |
| type Apply (TyFun a6989586621680303728 (TyFun b6989586621680303729 (TyFun c6989586621680303730 (TyFun d6989586621680303731 (TyFun e6989586621680303732 (TyFun f6989586621680303733 (TyFun g6989586621680303734 h6989586621680303735 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680303728] (TyFun [b6989586621680303729] (TyFun [c6989586621680303730] (TyFun [d6989586621680303731] (TyFun [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith7Sym0 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735) 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 a6989586621679703397 a6989586621679703397 (IdSym0 a6989586621679703397) l0 # | |
| type Apply a6989586621679869121 a6989586621679869121 (SignumSym0 a6989586621679869121) l0 # | |
| type Apply a6989586621679869121 a6989586621679869121 (AbsSym0 a6989586621679869121) l0 # | |
| type Apply a6989586621679869121 a6989586621679869121 (NegateSym0 a6989586621679869121) l0 # | |
| type Apply a6989586621679883002 Nat (FromEnumSym0 a6989586621679883002) l0 # | |
| type Apply a6989586621679883002 a6989586621679883002 (PredSym0 a6989586621679883002) l0 # | |
| type Apply a6989586621679883002 a6989586621679883002 (SuccSym0 a6989586621679883002) l0 # | |
| type Apply Nat a6989586621679997004 ((:!!$$) a6989586621679997004 l0) l1 # | |
| type Apply a6989586621679703388 a6989586621679703388 (AsTypeOfSym1 a6989586621679703388 l0) l1 # | |
| type Apply a6989586621679716089 Bool ((:/=$$) a6989586621679716089 l0) l1 # | |
| type Apply a6989586621679716089 Bool ((:==$$) a6989586621679716089 l0) l1 # | |
| type Apply a6989586621679748528 a6989586621679748528 (MinSym1 a6989586621679748528 l0) l1 # | |
| type Apply a6989586621679748528 a6989586621679748528 (MaxSym1 a6989586621679748528 l0) l1 # | |
| type Apply a6989586621679748528 Bool ((:>=$$) a6989586621679748528 l0) l1 # | |
| type Apply a6989586621679748528 Bool ((:>$$) a6989586621679748528 l0) l1 # | |
| type Apply a6989586621679748528 Bool ((:<=$$) a6989586621679748528 l0) l1 # | |
| type Apply a6989586621679748528 Bool ((:<$$) a6989586621679748528 l0) l1 # | |
| type Apply a6989586621679748528 Ordering (CompareSym1 a6989586621679748528 l0) l1 # | |
| type Apply k06989586621679857097 k2 (ErrorSym0 k06989586621679857097 k2) l0 # | |
| type Apply a6989586621679869121 a6989586621679869121 ((:*$$) a6989586621679869121 l0) l1 # | |
| type Apply a6989586621679869121 a6989586621679869121 ((:-$$) a6989586621679869121 l0) l1 # | |
| type Apply a6989586621679869121 a6989586621679869121 ((:+$$) a6989586621679869121 l0) l1 # | |
| type Apply a6989586621679871437 a6989586621679871437 (SubtractSym1 a6989586621679871437 l0) l1 # | |
| type Apply Bool a6989586621679698428 (Bool_Sym2 a6989586621679698428 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 b6989586621679703396 a6989586621679703395 (ConstSym1 b6989586621679703396 a6989586621679703395 l0) l1 # | |
| type Apply b6989586621679703387 b6989586621679703387 (SeqSym1 b6989586621679703387 a6989586621679703386 l0) l1 # | |
| type Apply i6989586621680303720 a6989586621680303721 (GenericIndexSym1 i6989586621680303720 a6989586621680303721 l0) l1 # | |
| type Apply a6989586621680328006 a6989586621680328006 (UntilSym2 a6989586621680328006 l1 l0) l2 # | |
| type Apply a6989586621679703394 c6989586621679703393 ((:.$$$) a6989586621679703394 b6989586621679703392 c6989586621679703393 l1 l0) l2 # | |
| type Apply a6989586621679703389 c6989586621679703391 (FlipSym2 a6989586621679703389 b6989586621679703390 c6989586621679703391 l1 l0) l2 # | |
| type Apply b6989586621679981945 c6989586621679981946 (CurrySym2 a6989586621679981944 b6989586621679981945 c6989586621679981946 l1 l0) l2 # | |
| type Apply a3530822107858468866 (Maybe a3530822107858468866) (JustSym0 a3530822107858468866) l0 # | |
| type Apply a6989586621679883002 [a6989586621679883002] (EnumFromToSym1 a6989586621679883002 l0) l1 # | |
| type Apply a6989586621679997006 [a6989586621679997006] (ReplicateSym1 a6989586621679997006 l0) l1 # | |
| type Apply a6989586621679883002 [a6989586621679883002] (EnumFromThenToSym2 a6989586621679883002 l1 l0) l2 # | |
| type Apply b6989586621679997090 [a6989586621679997091] (UnfoldrSym1 a6989586621679997091 b6989586621679997090 l0) l1 # | |
| type Apply a6989586621680303719 [a6989586621680303719] (GenericReplicateSym1 a6989586621680303719 i6989586621680303718 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 [a6989586621679997020] ([a6989586621679997020], [a6989586621679997020]) -> Type) (SplitAtSym0 a6989586621679997020) l0 # | |
| type Apply Nat (TyFun [a6989586621679997022] [a6989586621679997022] -> Type) (TakeSym0 a6989586621679997022) l0 # | |
| type Apply Nat (TyFun [a6989586621679997021] [a6989586621679997021] -> Type) (DropSym0 a6989586621679997021) l0 # | |
| type Apply Nat (TyFun a6989586621679997006 [a6989586621679997006] -> Type) (ReplicateSym0 a6989586621679997006) l0 # | |
| type Apply a3530822107858468866 (TyFun [a3530822107858468866] [a3530822107858468866] -> Type) ((:$) a3530822107858468866) l0 # | |
| type Apply a6989586621679698428 (TyFun a6989586621679698428 (TyFun Bool a6989586621679698428 -> Type) -> Type) (Bool_Sym0 a6989586621679698428) l0 # | |
| type Apply a6989586621679703388 (TyFun a6989586621679703388 a6989586621679703388 -> Type) (AsTypeOfSym0 a6989586621679703388) l0 # | |
| type Apply a6989586621679716089 (TyFun a6989586621679716089 Bool -> Type) ((:/=$) a6989586621679716089) l0 # | |
| type Apply a6989586621679716089 (TyFun a6989586621679716089 Bool -> Type) ((:==$) a6989586621679716089) l0 # | |
| type Apply a6989586621679748528 (TyFun a6989586621679748528 a6989586621679748528 -> Type) (MinSym0 a6989586621679748528) l0 # | |
| type Apply a6989586621679748528 (TyFun a6989586621679748528 a6989586621679748528 -> Type) (MaxSym0 a6989586621679748528) l0 # | |
| type Apply a6989586621679748528 (TyFun a6989586621679748528 Bool -> Type) ((:>=$) a6989586621679748528) l0 # | |
| type Apply a6989586621679748528 (TyFun a6989586621679748528 Bool -> Type) ((:>$) a6989586621679748528) l0 # | |
| type Apply a6989586621679748528 (TyFun a6989586621679748528 Bool -> Type) ((:<=$) a6989586621679748528) l0 # | |
| type Apply a6989586621679748528 (TyFun a6989586621679748528 Bool -> Type) ((:<$) a6989586621679748528) l0 # | |
| type Apply a6989586621679748528 (TyFun a6989586621679748528 Ordering -> Type) (CompareSym0 a6989586621679748528) l0 # | |
| type Apply a6989586621679869121 (TyFun a6989586621679869121 a6989586621679869121 -> Type) ((:*$) a6989586621679869121) l0 # | |
| type Apply a6989586621679869121 (TyFun a6989586621679869121 a6989586621679869121 -> Type) ((:-$) a6989586621679869121) l0 # | |
| type Apply a6989586621679869121 (TyFun a6989586621679869121 a6989586621679869121 -> Type) ((:+$) a6989586621679869121) l0 # | |
| type Apply a6989586621679871437 (TyFun a6989586621679871437 a6989586621679871437 -> Type) (SubtractSym0 a6989586621679871437) l0 # | |
| type Apply a6989586621679883002 (TyFun a6989586621679883002 (TyFun a6989586621679883002 [a6989586621679883002] -> Type) -> Type) (EnumFromThenToSym0 a6989586621679883002) l0 # | |
| type Apply a6989586621679883002 (TyFun a6989586621679883002 [a6989586621679883002] -> Type) (EnumFromToSym0 a6989586621679883002) l0 # | |
| type Apply a6989586621679970355 (TyFun (Maybe a6989586621679970355) a6989586621679970355 -> Type) (FromMaybeSym0 a6989586621679970355) l0 # | |
| type Apply a6989586621679997118 (TyFun [a6989586621679997118] [a6989586621679997118] -> Type) (IntersperseSym0 a6989586621679997118) l0 # | |
| type Apply a6989586621679997084 (TyFun [a6989586621679997084] Bool -> Type) (ElemSym0 a6989586621679997084) l0 # | |
| type Apply a6989586621679997083 (TyFun [a6989586621679997083] Bool -> Type) (NotElemSym0 a6989586621679997083) l0 # | |
| type Apply a6989586621679997033 (TyFun [a6989586621679997033] (Maybe Nat) -> Type) (ElemIndexSym0 a6989586621679997033) l0 # | |
| type Apply a6989586621679997032 (TyFun [a6989586621679997032] [Nat] -> Type) (ElemIndicesSym0 a6989586621679997032) l0 # | |
| type Apply a6989586621679997043 (TyFun [a6989586621679997043] [a6989586621679997043] -> Type) (DeleteSym0 a6989586621679997043) l0 # | |
| type Apply a6989586621679997016 (TyFun [a6989586621679997016] [a6989586621679997016] -> Type) (InsertSym0 a6989586621679997016) 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 a6989586621679698428 (TyFun Bool a6989586621679698428 -> Type) (Bool_Sym1 a6989586621679698428 l0) l1 # | |
| type Apply a6989586621679703395 (TyFun b6989586621679703396 a6989586621679703395 -> Type) (ConstSym0 b6989586621679703396 a6989586621679703395) l0 # | |
| type Apply a6989586621679703386 (TyFun b6989586621679703387 b6989586621679703387 -> Type) (SeqSym0 a6989586621679703386 b6989586621679703387) l0 # | |
| type Apply a6989586621679883002 (TyFun a6989586621679883002 [a6989586621679883002] -> Type) (EnumFromThenToSym1 a6989586621679883002 l0) l1 # | |
| type Apply b6989586621679969104 (TyFun (TyFun a6989586621679969105 b6989586621679969104 -> Type) (TyFun (Maybe a6989586621679969105) b6989586621679969104 -> Type) -> Type) (Maybe_Sym0 a6989586621679969105 b6989586621679969104) l0 # | |
| type Apply a6989586621679997041 (TyFun [a6989586621679997041] [a6989586621679997041] -> Type) (DeleteBySym1 a6989586621679997041 l0) l1 # | |
| type Apply a6989586621679997038 (TyFun [a6989586621679997038] [a6989586621679997038] -> Type) (InsertBySym1 a6989586621679997038 l0) l1 # | |
| type Apply a6989586621679997012 (TyFun [(a6989586621679997012, b6989586621679997013)] (Maybe b6989586621679997013) -> Type) (LookupSym0 a6989586621679997012 b6989586621679997013) l0 # | |
| type Apply i6989586621680303726 (TyFun [a6989586621680303727] [a6989586621680303727] -> Type) (GenericTakeSym0 i6989586621680303726 a6989586621680303727) l0 # | |
| type Apply i6989586621680303724 (TyFun [a6989586621680303725] [a6989586621680303725] -> Type) (GenericDropSym0 i6989586621680303724 a6989586621680303725) l0 # | |
| type Apply i6989586621680303722 (TyFun [a6989586621680303723] ([a6989586621680303723], [a6989586621680303723]) -> Type) (GenericSplitAtSym0 i6989586621680303722 a6989586621680303723) l0 # | |
| type Apply i6989586621680303718 (TyFun a6989586621680303719 [a6989586621680303719] -> Type) (GenericReplicateSym0 i6989586621680303718 a6989586621680303719) 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 b6989586621679650486 (TyFun [a6989586621679650485] b6989586621679650486 -> Type) (FoldlSym1 a6989586621679650485 b6989586621679650486 l0) l1 # | |
| type Apply b6989586621679703402 (TyFun [a6989586621679703401] b6989586621679703402 -> Type) (FoldrSym1 a6989586621679703401 b6989586621679703402 l0) l1 # | |
| type Apply b6989586621679997112 (TyFun [a6989586621679997111] b6989586621679997112 -> Type) (Foldl'Sym1 a6989586621679997111 b6989586621679997112 l0) l1 # | |
| type Apply b6989586621679997102 (TyFun [a6989586621679997103] [b6989586621679997102] -> Type) (ScanlSym1 a6989586621679997103 b6989586621679997102 l0) l1 # | |
| type Apply b6989586621679997100 (TyFun [a6989586621679997099] [b6989586621679997100] -> Type) (ScanrSym1 a6989586621679997099 b6989586621679997100 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 b6989586621679703390 (TyFun a6989586621679703389 c6989586621679703391 -> Type) (FlipSym1 a6989586621679703389 b6989586621679703390 c6989586621679703391 l0) l1 # | |
| type Apply a6989586621679981944 (TyFun b6989586621679981945 c6989586621679981946 -> Type) (CurrySym1 a6989586621679981944 b6989586621679981945 c6989586621679981946 l0) l1 # | |
| type Apply acc6989586621679997095 (TyFun [x6989586621679997096] (acc6989586621679997095, [y6989586621679997097]) -> Type) (MapAccumLSym1 x6989586621679997096 acc6989586621679997095 y6989586621679997097 l0) l1 # | |
| type Apply acc6989586621679997092 (TyFun [x6989586621679997093] (acc6989586621679997092, [y6989586621679997094]) -> Type) (MapAccumRSym1 x6989586621679997093 acc6989586621679997092 y6989586621679997094 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 [a6989586621679997124] a6989586621679997124 (HeadSym0 a6989586621679997124) l0 # | |
| type Apply [a6989586621679997123] a6989586621679997123 (LastSym0 a6989586621679997123) l0 # | |
| type Apply [a6989586621679997120] Bool (NullSym0 a6989586621679997120) l0 # | |
| type Apply [a6989586621679997017] a6989586621679997017 (MinimumSym0 a6989586621679997017) l0 # | |
| type Apply [a6989586621679997018] a6989586621679997018 (MaximumSym0 a6989586621679997018) l0 # | |
| type Apply [a6989586621679997009] a6989586621679997009 (SumSym0 a6989586621679997009) l0 # | |
| type Apply [a6989586621679997008] a6989586621679997008 (ProductSym0 a6989586621679997008) l0 # | |
| type Apply [a6989586621679997007] Nat (LengthSym0 a6989586621679997007) l0 # | |
| type Apply (Maybe a6989586621679970358) Bool (IsJustSym0 a6989586621679970358) l0 # | |
| type Apply (Maybe a6989586621679970357) Bool (IsNothingSym0 a6989586621679970357) l0 # | |
| type Apply (Maybe a6989586621679970356) a6989586621679970356 (FromJustSym0 a6989586621679970356) l0 # | |
| type Apply [a6989586621679986420] Bool (Any_Sym1 a6989586621679986420 l0) l1 # | |
| type Apply [a6989586621679997086] Bool (IsSuffixOfSym1 a6989586621679997086 l0) l1 # | |
| type Apply [a6989586621679997109] a6989586621679997109 (Foldl1'Sym1 a6989586621679997109 l0) l1 # | |
| type Apply [a6989586621679997036] a6989586621679997036 (MinimumBySym1 a6989586621679997036 l0) l1 # | |
| type Apply [a6989586621679997037] a6989586621679997037 (MaximumBySym1 a6989586621679997037 l0) l1 # | |
| type Apply [a6989586621679997110] a6989586621679997110 (Foldl1Sym1 a6989586621679997110 l0) l1 # | |
| type Apply [a6989586621679997108] a6989586621679997108 (Foldr1Sym1 a6989586621679997108 l0) l1 # | |
| type Apply [a6989586621679997104] Bool (AllSym1 a6989586621679997104 l0) l1 # | |
| type Apply [a6989586621679997085] Bool (IsInfixOfSym1 a6989586621679997085 l0) l1 # | |
| type Apply [a6989586621679997087] Bool (IsPrefixOfSym1 a6989586621679997087 l0) l1 # | |
| type Apply [a6989586621679997084] Bool (ElemSym1 a6989586621679997084 l0) l1 # | |
| type Apply [a6989586621679997083] Bool (NotElemSym1 a6989586621679997083 l0) l1 # | |
| type Apply [a6989586621679996998] k2 (GenericLengthSym0 a6989586621679996998 k2) l0 # | |
| type Apply (Maybe a6989586621679970355) a6989586621679970355 (FromMaybeSym1 a6989586621679970355 l0) l1 # | |
| type Apply [a6989586621679650485] b6989586621679650486 (FoldlSym2 a6989586621679650485 b6989586621679650486 l1 l0) l2 # | |
| type Apply [a6989586621679703401] b6989586621679703402 (FoldrSym2 a6989586621679703401 b6989586621679703402 l1 l0) l2 # | |
| type Apply [a6989586621679997111] b6989586621679997112 (Foldl'Sym2 a6989586621679997111 b6989586621679997112 l1 l0) l2 # | |
| type Apply (Maybe a6989586621679969105) b6989586621679969104 (Maybe_Sym2 a6989586621679969105 b6989586621679969104 l1 l0) l2 # | |
| type Apply [[a6989586621679997005]] [[a6989586621679997005]] (TransposeSym0 a6989586621679997005) l0 # | |
| type Apply [[a6989586621679997107]] [a6989586621679997107] (ConcatSym0 a6989586621679997107) l0 # | |
| type Apply [Maybe a6989586621679970352] [a6989586621679970352] (CatMaybesSym0 a6989586621679970352) l0 # | |
| type Apply [a6989586621679970353] (Maybe a6989586621679970353) (ListToMaybeSym0 a6989586621679970353) l0 # | |
| type Apply [a6989586621679997122] [a6989586621679997122] (TailSym0 a6989586621679997122) l0 # | |
| type Apply [a6989586621679997121] [a6989586621679997121] (InitSym0 a6989586621679997121) l0 # | |
| type Apply [a6989586621679997119] [a6989586621679997119] (ReverseSym0 a6989586621679997119) l0 # | |
| type Apply [a6989586621679997116] [[a6989586621679997116]] (SubsequencesSym0 a6989586621679997116) l0 # | |
| type Apply [a6989586621679997113] [[a6989586621679997113]] (PermutationsSym0 a6989586621679997113) l0 # | |
| type Apply [a6989586621679997089] [[a6989586621679997089]] (InitsSym0 a6989586621679997089) l0 # | |
| type Apply [a6989586621679997088] [[a6989586621679997088]] (TailsSym0 a6989586621679997088) l0 # | |
| type Apply [a6989586621679997003] [a6989586621679997003] (NubSym0 a6989586621679997003) l0 # | |
| type Apply [a6989586621679997015] [a6989586621679997015] (SortSym0 a6989586621679997015) l0 # | |
| type Apply [a6989586621679997019] [[a6989586621679997019]] (GroupSym0 a6989586621679997019) l0 # | |
| type Apply (Maybe a6989586621679970354) [a6989586621679970354] (MaybeToListSym0 a6989586621679970354) l0 # | |
| type Apply [[a6989586621679997117]] [a6989586621679997117] (IntercalateSym1 a6989586621679997117 l0) l1 # | |
| type Apply [Either a6989586621679959452 b6989586621679959453] [a6989586621679959452] (LeftsSym0 b6989586621679959453 a6989586621679959452) l0 # | |
| type Apply [Either a6989586621679959450 b6989586621679959451] [b6989586621679959451] (RightsSym0 a6989586621679959450 b6989586621679959451) l0 # | |
| type Apply [a3530822107858468866] [a3530822107858468866] ((:$$) a3530822107858468866 l0) l1 # | |
| type Apply [a6989586621679703398] [a6989586621679703398] ((:++$$) a6989586621679703398 l0) l1 # | |
| type Apply [a6989586621679997025] [a6989586621679997025] (DropWhileEndSym1 a6989586621679997025 l0) l1 # | |
| type Apply [a6989586621679997118] [a6989586621679997118] (IntersperseSym1 a6989586621679997118 l0) l1 # | |
| type Apply [a6989586621679997101] [a6989586621679997101] (Scanl1Sym1 a6989586621679997101 l0) l1 # | |
| type Apply [a6989586621679997098] [a6989586621679997098] (Scanr1Sym1 a6989586621679997098 l0) l1 # | |
| type Apply [a6989586621679997033] (Maybe Nat) (ElemIndexSym1 a6989586621679997033 l0) l1 # | |
| type Apply [a6989586621679997031] (Maybe Nat) (FindIndexSym1 a6989586621679997031 l0) l1 # | |
| type Apply [a6989586621679997032] [Nat] (ElemIndicesSym1 a6989586621679997032 l0) l1 # | |
| type Apply [a6989586621679997030] [Nat] (FindIndicesSym1 a6989586621679997030 l0) l1 # | |
| type Apply [a6989586621679997042] [a6989586621679997042] ((:\\$$) a6989586621679997042 l0) l1 # | |
| type Apply [a6989586621679997043] [a6989586621679997043] (DeleteSym1 a6989586621679997043 l0) l1 # | |
| type Apply [a6989586621679996999] [a6989586621679996999] (UnionSym1 a6989586621679996999 l0) l1 # | |
| type Apply [a6989586621679997039] [a6989586621679997039] (SortBySym1 a6989586621679997039 l0) l1 # | |
| type Apply [a6989586621679997016] [a6989586621679997016] (InsertSym1 a6989586621679997016 l0) l1 # | |
| type Apply [a6989586621679997029] [a6989586621679997029] (IntersectSym1 a6989586621679997029 l0) l1 # | |
| type Apply [a6989586621679997034] (Maybe a6989586621679997034) (FindSym1 a6989586621679997034 l0) l1 # | |
| type Apply [a6989586621679997035] [a6989586621679997035] (FilterSym1 a6989586621679997035 l0) l1 # | |
| type Apply [a6989586621679997027] [a6989586621679997027] (TakeWhileSym1 a6989586621679997027 l0) l1 # | |
| type Apply [a6989586621679997026] [a6989586621679997026] (DropWhileSym1 a6989586621679997026 l0) l1 # | |
| type Apply [a6989586621679997014] [[a6989586621679997014]] (GroupBySym1 a6989586621679997014 l0) l1 # | |
| type Apply [a6989586621679997022] [a6989586621679997022] (TakeSym1 a6989586621679997022 l0) l1 # | |
| type Apply [a6989586621679997021] [a6989586621679997021] (DropSym1 a6989586621679997021 l0) l1 # | |
| type Apply [a6989586621679997002] [a6989586621679997002] (NubBySym1 a6989586621679997002 l0) l1 # | |
| type Apply [a6989586621680303776] (Maybe [a6989586621680303776]) (StripPrefixSym1 a6989586621680303776 l0) l1 # | |
| type Apply [(a6989586621679997012, b6989586621679997013)] (Maybe b6989586621679997013) (LookupSym1 b6989586621679997013 a6989586621679997012 l0) l1 # | |
| type Apply [a6989586621679703399] [b6989586621679703400] (MapSym1 a6989586621679703399 b6989586621679703400 l0) l1 # | |
| type Apply [a6989586621679970350] [b6989586621679970351] (MapMaybeSym1 a6989586621679970350 b6989586621679970351 l0) l1 # | |
| type Apply [a6989586621679997105] [b6989586621679997106] (ConcatMapSym1 a6989586621679997105 b6989586621679997106 l0) l1 # | |
| type Apply [b6989586621679997082] [(a6989586621679997081, b6989586621679997082)] (ZipSym1 b6989586621679997082 a6989586621679997081 l0) l1 # | |
| type Apply [a6989586621679997000] [a6989586621679997000] (UnionBySym2 a6989586621679997000 l1 l0) l2 # | |
| type Apply [a6989586621679997040] [a6989586621679997040] (DeleteFirstsBySym2 a6989586621679997040 l1 l0) l2 # | |
| type Apply [a6989586621679997041] [a6989586621679997041] (DeleteBySym2 a6989586621679997041 l1 l0) l2 # | |
| type Apply [a6989586621679997038] [a6989586621679997038] (InsertBySym2 a6989586621679997038 l1 l0) l2 # | |
| type Apply [a6989586621679997028] [a6989586621679997028] (IntersectBySym2 a6989586621679997028 l1 l0) l2 # | |
| type Apply [a6989586621680303727] [a6989586621680303727] (GenericTakeSym1 a6989586621680303727 i6989586621680303726 l0) l1 # | |
| type Apply [a6989586621680303725] [a6989586621680303725] (GenericDropSym1 a6989586621680303725 i6989586621680303724 l0) l1 # | |
| type Apply [a6989586621679997103] [b6989586621679997102] (ScanlSym2 a6989586621679997103 b6989586621679997102 l1 l0) l2 # | |
| type Apply [a6989586621679997099] [b6989586621679997100] (ScanrSym2 a6989586621679997099 b6989586621679997100 l1 l0) l2 # | |
| type Apply [c6989586621679997080] [(a6989586621679997078, b6989586621679997079, c6989586621679997080)] (Zip3Sym2 c6989586621679997080 b6989586621679997079 a6989586621679997078 l1 l0) l2 # | |
| type Apply [b6989586621679997076] [c6989586621679997077] (ZipWithSym2 a6989586621679997075 b6989586621679997076 c6989586621679997077 l1 l0) l2 # | |
| type Apply [c6989586621679997073] [d6989586621679997074] (ZipWith3Sym3 a6989586621679997071 b6989586621679997072 c6989586621679997073 d6989586621679997074 l2 l1 l0) l3 # | |
| type Apply [d6989586621680303775] [(a6989586621680303772, b6989586621680303773, c6989586621680303774, d6989586621680303775)] (Zip4Sym3 d6989586621680303775 c6989586621680303774 b6989586621680303773 a6989586621680303772 l2 l1 l0) l3 # | |
| type Apply [e6989586621680303771] [(a6989586621680303767, b6989586621680303768, c6989586621680303769, d6989586621680303770, e6989586621680303771)] (Zip5Sym4 e6989586621680303771 d6989586621680303770 c6989586621680303769 b6989586621680303768 a6989586621680303767 l3 l2 l1 l0) l4 # | |
| type Apply [d6989586621680303752] [e6989586621680303753] (ZipWith4Sym4 a6989586621680303749 b6989586621680303750 c6989586621680303751 d6989586621680303752 e6989586621680303753 l3 l2 l1 l0) l4 # | |
| type Apply [f6989586621680303766] [(a6989586621680303761, b6989586621680303762, c6989586621680303763, d6989586621680303764, e6989586621680303765, f6989586621680303766)] (Zip6Sym5 f6989586621680303766 e6989586621680303765 d6989586621680303764 c6989586621680303763 b6989586621680303762 a6989586621680303761 l4 l3 l2 l1 l0) l5 # | |
| type Apply [e6989586621680303747] [f6989586621680303748] (ZipWith5Sym5 a6989586621680303743 b6989586621680303744 c6989586621680303745 d6989586621680303746 e6989586621680303747 f6989586621680303748 l4 l3 l2 l1 l0) l5 # | |
| type Apply [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] (Zip7Sym6 g6989586621680303760 f6989586621680303759 e6989586621680303758 d6989586621680303757 c6989586621680303756 b6989586621680303755 a6989586621680303754 l5 l4 l3 l2 l1 l0) l6 # | |
| type Apply [f6989586621680303741] [g6989586621680303742] (ZipWith6Sym6 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742 l5 l4 l3 l2 l1 l0) l6 # | |
| type Apply [g6989586621680303734] [h6989586621680303735] (ZipWith7Sym7 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735 l6 l5 l4 l3 l2 l1 l0) l7 # | |
| type Apply [a6989586621679703398] (TyFun [a6989586621679703398] [a6989586621679703398] -> Type) ((:++$) a6989586621679703398) l0 # | |
| type Apply [a6989586621679997086] (TyFun [a6989586621679997086] Bool -> Type) (IsSuffixOfSym0 a6989586621679997086) l0 # | |
| type Apply [a6989586621679997117] (TyFun [[a6989586621679997117]] [a6989586621679997117] -> Type) (IntercalateSym0 a6989586621679997117) l0 # | |
| type Apply [a6989586621679997085] (TyFun [a6989586621679997085] Bool -> Type) (IsInfixOfSym0 a6989586621679997085) l0 # | |
| type Apply [a6989586621679997087] (TyFun [a6989586621679997087] Bool -> Type) (IsPrefixOfSym0 a6989586621679997087) l0 # | |
| type Apply [a6989586621679997042] (TyFun [a6989586621679997042] [a6989586621679997042] -> Type) ((:\\$) a6989586621679997042) l0 # | |
| type Apply [a6989586621679996999] (TyFun [a6989586621679996999] [a6989586621679996999] -> Type) (UnionSym0 a6989586621679996999) l0 # | |
| type Apply [a6989586621679997029] (TyFun [a6989586621679997029] [a6989586621679997029] -> Type) (IntersectSym0 a6989586621679997029) l0 # | |
| type Apply [a6989586621679997004] (TyFun Nat a6989586621679997004 -> Type) ((:!!$) a6989586621679997004) l0 # | |
| type Apply [a6989586621680303776] (TyFun [a6989586621680303776] (Maybe [a6989586621680303776]) -> Type) (StripPrefixSym0 a6989586621680303776) l0 # | |
| type Apply [(a6989586621679997069, b6989586621679997070)] ([a6989586621679997069], [b6989586621679997070]) (UnzipSym0 a6989586621679997069 b6989586621679997070) l0 # | |
| type Apply [a6989586621679997081] (TyFun [b6989586621679997082] [(a6989586621679997081, b6989586621679997082)] -> Type) (ZipSym0 a6989586621679997081 b6989586621679997082) l0 # | |
| type Apply [a6989586621679997000] (TyFun [a6989586621679997000] [a6989586621679997000] -> Type) (UnionBySym1 a6989586621679997000 l0) l1 # | |
| type Apply [a6989586621679997040] (TyFun [a6989586621679997040] [a6989586621679997040] -> Type) (DeleteFirstsBySym1 a6989586621679997040 l0) l1 # | |
| type Apply [a6989586621679997028] (TyFun [a6989586621679997028] [a6989586621679997028] -> Type) (IntersectBySym1 a6989586621679997028 l0) l1 # | |
| type Apply [a6989586621679997024] ([a6989586621679997024], [a6989586621679997024]) (SpanSym1 a6989586621679997024 l0) l1 # | |
| type Apply [a6989586621679997023] ([a6989586621679997023], [a6989586621679997023]) (BreakSym1 a6989586621679997023 l0) l1 # | |
| type Apply [a6989586621679997020] ([a6989586621679997020], [a6989586621679997020]) (SplitAtSym1 a6989586621679997020 l0) l1 # | |
| type Apply [a6989586621679997011] ([a6989586621679997011], [a6989586621679997011]) (PartitionSym1 a6989586621679997011 l0) l1 # | |
| type Apply [a6989586621680303721] (TyFun i6989586621680303720 a6989586621680303721 -> Type) (GenericIndexSym0 i6989586621680303720 a6989586621680303721) l0 # | |
| type Apply [a6989586621679997078] (TyFun [b6989586621679997079] (TyFun [c6989586621679997080] [(a6989586621679997078, b6989586621679997079, c6989586621679997080)] -> Type) -> Type) (Zip3Sym0 a6989586621679997078 b6989586621679997079 c6989586621679997080) l0 # | |
| type Apply [a6989586621680303723] ([a6989586621680303723], [a6989586621680303723]) (GenericSplitAtSym1 a6989586621680303723 i6989586621680303722 l0) l1 # | |
| type Apply [b6989586621679997079] (TyFun [c6989586621679997080] [(a6989586621679997078, b6989586621679997079, c6989586621679997080)] -> Type) (Zip3Sym1 b6989586621679997079 c6989586621679997080 a6989586621679997078 l0) l1 # | |
| type Apply [a6989586621679997075] (TyFun [b6989586621679997076] [c6989586621679997077] -> Type) (ZipWithSym1 a6989586621679997075 b6989586621679997076 c6989586621679997077 l0) l1 # | |
| type Apply [a6989586621680303772] (TyFun [b6989586621680303773] (TyFun [c6989586621680303774] (TyFun [d6989586621680303775] [(a6989586621680303772, b6989586621680303773, c6989586621680303774, d6989586621680303775)] -> Type) -> Type) -> Type) (Zip4Sym0 a6989586621680303772 b6989586621680303773 c6989586621680303774 d6989586621680303775) l0 # | |
| type Apply [x6989586621679997096] (acc6989586621679997095, [y6989586621679997097]) (MapAccumLSym2 x6989586621679997096 acc6989586621679997095 y6989586621679997097 l1 l0) l2 # | |
| type Apply [x6989586621679997093] (acc6989586621679997092, [y6989586621679997094]) (MapAccumRSym2 x6989586621679997093 acc6989586621679997092 y6989586621679997094 l1 l0) l2 # | |
| type Apply [a6989586621679997071] (TyFun [b6989586621679997072] (TyFun [c6989586621679997073] [d6989586621679997074] -> Type) -> Type) (ZipWith3Sym1 a6989586621679997071 b6989586621679997072 c6989586621679997073 d6989586621679997074 l0) l1 # | |
| type Apply [b6989586621680303773] (TyFun [c6989586621680303774] (TyFun [d6989586621680303775] [(a6989586621680303772, b6989586621680303773, c6989586621680303774, d6989586621680303775)] -> Type) -> Type) (Zip4Sym1 b6989586621680303773 c6989586621680303774 d6989586621680303775 a6989586621680303772 l0) l1 # | |
| type Apply [a6989586621680303767] (TyFun [b6989586621680303768] (TyFun [c6989586621680303769] (TyFun [d6989586621680303770] (TyFun [e6989586621680303771] [(a6989586621680303767, b6989586621680303768, c6989586621680303769, d6989586621680303770, e6989586621680303771)] -> Type) -> Type) -> Type) -> Type) (Zip5Sym0 a6989586621680303767 b6989586621680303768 c6989586621680303769 d6989586621680303770 e6989586621680303771) l0 # | |
| type Apply [b6989586621679997072] (TyFun [c6989586621679997073] [d6989586621679997074] -> Type) (ZipWith3Sym2 a6989586621679997071 b6989586621679997072 c6989586621679997073 d6989586621679997074 l1 l0) l2 # | |
| type Apply [c6989586621680303774] (TyFun [d6989586621680303775] [(a6989586621680303772, b6989586621680303773, c6989586621680303774, d6989586621680303775)] -> Type) (Zip4Sym2 c6989586621680303774 d6989586621680303775 b6989586621680303773 a6989586621680303772 l1 l0) l2 # | |
| type Apply [b6989586621680303768] (TyFun [c6989586621680303769] (TyFun [d6989586621680303770] (TyFun [e6989586621680303771] [(a6989586621680303767, b6989586621680303768, c6989586621680303769, d6989586621680303770, e6989586621680303771)] -> Type) -> Type) -> Type) (Zip5Sym1 b6989586621680303768 c6989586621680303769 d6989586621680303770 e6989586621680303771 a6989586621680303767 l0) l1 # | |
| type Apply [a6989586621680303761] (TyFun [b6989586621680303762] (TyFun [c6989586621680303763] (TyFun [d6989586621680303764] (TyFun [e6989586621680303765] (TyFun [f6989586621680303766] [(a6989586621680303761, b6989586621680303762, c6989586621680303763, d6989586621680303764, e6989586621680303765, f6989586621680303766)] -> Type) -> Type) -> Type) -> Type) -> Type) (Zip6Sym0 a6989586621680303761 b6989586621680303762 c6989586621680303763 d6989586621680303764 e6989586621680303765 f6989586621680303766) l0 # | |
| type Apply [a6989586621680303749] (TyFun [b6989586621680303750] (TyFun [c6989586621680303751] (TyFun [d6989586621680303752] [e6989586621680303753] -> Type) -> Type) -> Type) (ZipWith4Sym1 a6989586621680303749 b6989586621680303750 c6989586621680303751 d6989586621680303752 e6989586621680303753 l0) l1 # | |
| type Apply [c6989586621680303769] (TyFun [d6989586621680303770] (TyFun [e6989586621680303771] [(a6989586621680303767, b6989586621680303768, c6989586621680303769, d6989586621680303770, e6989586621680303771)] -> Type) -> Type) (Zip5Sym2 c6989586621680303769 d6989586621680303770 e6989586621680303771 b6989586621680303768 a6989586621680303767 l1 l0) l2 # | |
| type Apply [b6989586621680303762] (TyFun [c6989586621680303763] (TyFun [d6989586621680303764] (TyFun [e6989586621680303765] (TyFun [f6989586621680303766] [(a6989586621680303761, b6989586621680303762, c6989586621680303763, d6989586621680303764, e6989586621680303765, f6989586621680303766)] -> Type) -> Type) -> Type) -> Type) (Zip6Sym1 b6989586621680303762 c6989586621680303763 d6989586621680303764 e6989586621680303765 f6989586621680303766 a6989586621680303761 l0) l1 # | |
| type Apply [a6989586621680303754] (TyFun [b6989586621680303755] (TyFun [c6989586621680303756] (TyFun [d6989586621680303757] (TyFun [e6989586621680303758] (TyFun [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (Zip7Sym0 a6989586621680303754 b6989586621680303755 c6989586621680303756 d6989586621680303757 e6989586621680303758 f6989586621680303759 g6989586621680303760) l0 # | |
| type Apply [b6989586621680303750] (TyFun [c6989586621680303751] (TyFun [d6989586621680303752] [e6989586621680303753] -> Type) -> Type) (ZipWith4Sym2 a6989586621680303749 b6989586621680303750 c6989586621680303751 d6989586621680303752 e6989586621680303753 l1 l0) l2 # | |
| type Apply [a6989586621680303743] (TyFun [b6989586621680303744] (TyFun [c6989586621680303745] (TyFun [d6989586621680303746] (TyFun [e6989586621680303747] [f6989586621680303748] -> Type) -> Type) -> Type) -> Type) (ZipWith5Sym1 a6989586621680303743 b6989586621680303744 c6989586621680303745 d6989586621680303746 e6989586621680303747 f6989586621680303748 l0) l1 # | |
| type Apply [d6989586621680303770] (TyFun [e6989586621680303771] [(a6989586621680303767, b6989586621680303768, c6989586621680303769, d6989586621680303770, e6989586621680303771)] -> Type) (Zip5Sym3 d6989586621680303770 e6989586621680303771 c6989586621680303769 b6989586621680303768 a6989586621680303767 l2 l1 l0) l3 # | |
| type Apply [c6989586621680303763] (TyFun [d6989586621680303764] (TyFun [e6989586621680303765] (TyFun [f6989586621680303766] [(a6989586621680303761, b6989586621680303762, c6989586621680303763, d6989586621680303764, e6989586621680303765, f6989586621680303766)] -> Type) -> Type) -> Type) (Zip6Sym2 c6989586621680303763 d6989586621680303764 e6989586621680303765 f6989586621680303766 b6989586621680303762 a6989586621680303761 l1 l0) l2 # | |
| type Apply [b6989586621680303755] (TyFun [c6989586621680303756] (TyFun [d6989586621680303757] (TyFun [e6989586621680303758] (TyFun [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) -> Type) -> Type) -> Type) -> Type) (Zip7Sym1 b6989586621680303755 c6989586621680303756 d6989586621680303757 e6989586621680303758 f6989586621680303759 g6989586621680303760 a6989586621680303754 l0) l1 # | |
| type Apply [c6989586621680303751] (TyFun [d6989586621680303752] [e6989586621680303753] -> Type) (ZipWith4Sym3 a6989586621680303749 b6989586621680303750 c6989586621680303751 d6989586621680303752 e6989586621680303753 l2 l1 l0) l3 # | |
| type Apply [b6989586621680303744] (TyFun [c6989586621680303745] (TyFun [d6989586621680303746] (TyFun [e6989586621680303747] [f6989586621680303748] -> Type) -> Type) -> Type) (ZipWith5Sym2 a6989586621680303743 b6989586621680303744 c6989586621680303745 d6989586621680303746 e6989586621680303747 f6989586621680303748 l1 l0) l2 # | |
| type Apply [a6989586621680303736] (TyFun [b6989586621680303737] (TyFun [c6989586621680303738] (TyFun [d6989586621680303739] (TyFun [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith6Sym1 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742 l0) l1 # | |
| type Apply [d6989586621680303764] (TyFun [e6989586621680303765] (TyFun [f6989586621680303766] [(a6989586621680303761, b6989586621680303762, c6989586621680303763, d6989586621680303764, e6989586621680303765, f6989586621680303766)] -> Type) -> Type) (Zip6Sym3 d6989586621680303764 e6989586621680303765 f6989586621680303766 c6989586621680303763 b6989586621680303762 a6989586621680303761 l2 l1 l0) l3 # | |
| type Apply [c6989586621680303756] (TyFun [d6989586621680303757] (TyFun [e6989586621680303758] (TyFun [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) -> Type) -> Type) -> Type) (Zip7Sym2 c6989586621680303756 d6989586621680303757 e6989586621680303758 f6989586621680303759 g6989586621680303760 b6989586621680303755 a6989586621680303754 l1 l0) l2 # | |
| type Apply [c6989586621680303745] (TyFun [d6989586621680303746] (TyFun [e6989586621680303747] [f6989586621680303748] -> Type) -> Type) (ZipWith5Sym3 a6989586621680303743 b6989586621680303744 c6989586621680303745 d6989586621680303746 e6989586621680303747 f6989586621680303748 l2 l1 l0) l3 # | |
| type Apply [b6989586621680303737] (TyFun [c6989586621680303738] (TyFun [d6989586621680303739] (TyFun [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) -> Type) -> Type) -> Type) (ZipWith6Sym2 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742 l1 l0) l2 # | |
| type Apply [a6989586621680303728] (TyFun [b6989586621680303729] (TyFun [c6989586621680303730] (TyFun [d6989586621680303731] (TyFun [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith7Sym1 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735 l0) l1 # | |
| type Apply [e6989586621680303765] (TyFun [f6989586621680303766] [(a6989586621680303761, b6989586621680303762, c6989586621680303763, d6989586621680303764, e6989586621680303765, f6989586621680303766)] -> Type) (Zip6Sym4 e6989586621680303765 f6989586621680303766 d6989586621680303764 c6989586621680303763 b6989586621680303762 a6989586621680303761 l3 l2 l1 l0) l4 # | |
| type Apply [d6989586621680303757] (TyFun [e6989586621680303758] (TyFun [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) -> Type) -> Type) (Zip7Sym3 d6989586621680303757 e6989586621680303758 f6989586621680303759 g6989586621680303760 c6989586621680303756 b6989586621680303755 a6989586621680303754 l2 l1 l0) l3 # | |
| type Apply [d6989586621680303746] (TyFun [e6989586621680303747] [f6989586621680303748] -> Type) (ZipWith5Sym4 a6989586621680303743 b6989586621680303744 c6989586621680303745 d6989586621680303746 e6989586621680303747 f6989586621680303748 l3 l2 l1 l0) l4 # | |
| type Apply [c6989586621680303738] (TyFun [d6989586621680303739] (TyFun [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) -> Type) -> Type) (ZipWith6Sym3 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742 l2 l1 l0) l3 # | |
| type Apply [b6989586621680303729] (TyFun [c6989586621680303730] (TyFun [d6989586621680303731] (TyFun [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith7Sym2 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735 l1 l0) l2 # | |
| type Apply [e6989586621680303758] (TyFun [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) -> Type) (Zip7Sym4 e6989586621680303758 f6989586621680303759 g6989586621680303760 d6989586621680303757 c6989586621680303756 b6989586621680303755 a6989586621680303754 l3 l2 l1 l0) l4 # | |
| type Apply [d6989586621680303739] (TyFun [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) -> Type) (ZipWith6Sym4 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742 l3 l2 l1 l0) l4 # | |
| type Apply [c6989586621680303730] (TyFun [d6989586621680303731] (TyFun [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) -> Type) -> Type) (ZipWith7Sym3 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735 l2 l1 l0) l3 # | |
| type Apply [f6989586621680303759] (TyFun [g6989586621680303760] [(a6989586621680303754, b6989586621680303755, c6989586621680303756, d6989586621680303757, e6989586621680303758, f6989586621680303759, g6989586621680303760)] -> Type) (Zip7Sym5 f6989586621680303759 g6989586621680303760 e6989586621680303758 d6989586621680303757 c6989586621680303756 b6989586621680303755 a6989586621680303754 l4 l3 l2 l1 l0) l5 # | |
| type Apply [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) (ZipWith6Sym5 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742 l4 l3 l2 l1 l0) l5 # | |
| type Apply [d6989586621680303731] (TyFun [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) -> Type) (ZipWith7Sym4 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735 l3 l2 l1 l0) l4 # | |
| type Apply [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) (ZipWith7Sym5 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735 l4 l3 l2 l1 l0) l5 # | |
| type Apply [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) (ZipWith7Sym6 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735 l5 l4 l3 l2 l1 l0) l6 # | |
| type Apply [(a6989586621679997066, b6989586621679997067, c6989586621679997068)] ([a6989586621679997066], [b6989586621679997067], [c6989586621679997068]) (Unzip3Sym0 a6989586621679997066 b6989586621679997067 c6989586621679997068) l0 # | |
| type Apply [(a6989586621679997062, b6989586621679997063, c6989586621679997064, d6989586621679997065)] ([a6989586621679997062], [b6989586621679997063], [c6989586621679997064], [d6989586621679997065]) (Unzip4Sym0 a6989586621679997062 b6989586621679997063 c6989586621679997064 d6989586621679997065) l0 # | |
| type Apply [(a6989586621679997057, b6989586621679997058, c6989586621679997059, d6989586621679997060, e6989586621679997061)] ([a6989586621679997057], [b6989586621679997058], [c6989586621679997059], [d6989586621679997060], [e6989586621679997061]) (Unzip5Sym0 a6989586621679997057 b6989586621679997058 c6989586621679997059 d6989586621679997060 e6989586621679997061) l0 # | |
| type Apply [(a6989586621679997051, b6989586621679997052, c6989586621679997053, d6989586621679997054, e6989586621679997055, f6989586621679997056)] ([a6989586621679997051], [b6989586621679997052], [c6989586621679997053], [d6989586621679997054], [e6989586621679997055], [f6989586621679997056]) (Unzip6Sym0 a6989586621679997051 b6989586621679997052 c6989586621679997053 d6989586621679997054 e6989586621679997055 f6989586621679997056) l0 # | |
| type Apply [(a6989586621679997044, b6989586621679997045, c6989586621679997046, d6989586621679997047, e6989586621679997048, f6989586621679997049, g6989586621679997050)] ([a6989586621679997044], [b6989586621679997045], [c6989586621679997046], [d6989586621679997047], [e6989586621679997048], [f6989586621679997049], [g6989586621679997050]) (Unzip7Sym0 a6989586621679997044 b6989586621679997045 c6989586621679997046 d6989586621679997047 e6989586621679997048 f6989586621679997049 g6989586621679997050) l0 # | |
| type Apply (Either a6989586621679959446 b6989586621679959447) Bool (IsLeftSym0 a6989586621679959446 b6989586621679959447) l0 # | |
| type Apply (Either a6989586621679959444 b6989586621679959445) Bool (IsRightSym0 a6989586621679959444 b6989586621679959445) l0 # | |
| type Apply (a6989586621679981949, b6989586621679981950) a6989586621679981949 (FstSym0 b6989586621679981950 a6989586621679981949) l0 # | |
| type Apply (a6989586621679981947, b6989586621679981948) b6989586621679981948 (SndSym0 a6989586621679981947 b6989586621679981948) l0 # | |
| type Apply (a6989586621679981941, b6989586621679981942) c6989586621679981943 (UncurrySym1 a6989586621679981941 b6989586621679981942 c6989586621679981943 l0) l1 # | |
| type Apply (Either a6989586621679958182 b6989586621679958184) c6989586621679958183 (Either_Sym2 b6989586621679958184 a6989586621679958182 c6989586621679958183 l1 l0) l2 # | |
| type Apply (TyFun a6989586621679986420 Bool -> Type) (TyFun [a6989586621679986420] Bool -> Type) (Any_Sym0 a6989586621679986420) l0 # | |
| type Apply (TyFun a6989586621679997025 Bool -> Type) (TyFun [a6989586621679997025] [a6989586621679997025] -> Type) (DropWhileEndSym0 a6989586621679997025) l0 # | |
| type Apply (TyFun a6989586621679997109 (TyFun a6989586621679997109 a6989586621679997109 -> Type) -> Type) (TyFun [a6989586621679997109] a6989586621679997109 -> Type) (Foldl1'Sym0 a6989586621679997109) l0 # | |
| type Apply (TyFun a6989586621679997036 (TyFun a6989586621679997036 Ordering -> Type) -> Type) (TyFun [a6989586621679997036] a6989586621679997036 -> Type) (MinimumBySym0 a6989586621679997036) l0 # | |
| type Apply (TyFun a6989586621679997037 (TyFun a6989586621679997037 Ordering -> Type) -> Type) (TyFun [a6989586621679997037] a6989586621679997037 -> Type) (MaximumBySym0 a6989586621679997037) l0 # | |
| type Apply (TyFun a6989586621679997110 (TyFun a6989586621679997110 a6989586621679997110 -> Type) -> Type) (TyFun [a6989586621679997110] a6989586621679997110 -> Type) (Foldl1Sym0 a6989586621679997110) l0 # | |
| type Apply (TyFun a6989586621679997108 (TyFun a6989586621679997108 a6989586621679997108 -> Type) -> Type) (TyFun [a6989586621679997108] a6989586621679997108 -> Type) (Foldr1Sym0 a6989586621679997108) l0 # | |
| type Apply (TyFun a6989586621679997104 Bool -> Type) (TyFun [a6989586621679997104] Bool -> Type) (AllSym0 a6989586621679997104) l0 # | |
| type Apply (TyFun a6989586621679997101 (TyFun a6989586621679997101 a6989586621679997101 -> Type) -> Type) (TyFun [a6989586621679997101] [a6989586621679997101] -> Type) (Scanl1Sym0 a6989586621679997101) l0 # | |
| type Apply (TyFun a6989586621679997098 (TyFun a6989586621679997098 a6989586621679997098 -> Type) -> Type) (TyFun [a6989586621679997098] [a6989586621679997098] -> Type) (Scanr1Sym0 a6989586621679997098) l0 # | |
| type Apply (TyFun a6989586621679997031 Bool -> Type) (TyFun [a6989586621679997031] (Maybe Nat) -> Type) (FindIndexSym0 a6989586621679997031) l0 # | |
| type Apply (TyFun a6989586621679997030 Bool -> Type) (TyFun [a6989586621679997030] [Nat] -> Type) (FindIndicesSym0 a6989586621679997030) l0 # | |
| type Apply (TyFun a6989586621679997000 (TyFun a6989586621679997000 Bool -> Type) -> Type) (TyFun [a6989586621679997000] (TyFun [a6989586621679997000] [a6989586621679997000] -> Type) -> Type) (UnionBySym0 a6989586621679997000) l0 # | |
| type Apply (TyFun a6989586621679997040 (TyFun a6989586621679997040 Bool -> Type) -> Type) (TyFun [a6989586621679997040] (TyFun [a6989586621679997040] [a6989586621679997040] -> Type) -> Type) (DeleteFirstsBySym0 a6989586621679997040) l0 # | |
| type Apply (TyFun a6989586621679997041 (TyFun a6989586621679997041 Bool -> Type) -> Type) (TyFun a6989586621679997041 (TyFun [a6989586621679997041] [a6989586621679997041] -> Type) -> Type) (DeleteBySym0 a6989586621679997041) l0 # | |
| type Apply (TyFun a6989586621679997039 (TyFun a6989586621679997039 Ordering -> Type) -> Type) (TyFun [a6989586621679997039] [a6989586621679997039] -> Type) (SortBySym0 a6989586621679997039) l0 # | |
| type Apply (TyFun a6989586621679997038 (TyFun a6989586621679997038 Ordering -> Type) -> Type) (TyFun a6989586621679997038 (TyFun [a6989586621679997038] [a6989586621679997038] -> Type) -> Type) (InsertBySym0 a6989586621679997038) l0 # | |
| type Apply (TyFun a6989586621679997028 (TyFun a6989586621679997028 Bool -> Type) -> Type) (TyFun [a6989586621679997028] (TyFun [a6989586621679997028] [a6989586621679997028] -> Type) -> Type) (IntersectBySym0 a6989586621679997028) l0 # | |
| type Apply (TyFun a6989586621679997034 Bool -> Type) (TyFun [a6989586621679997034] (Maybe a6989586621679997034) -> Type) (FindSym0 a6989586621679997034) l0 # | |
| type Apply (TyFun a6989586621679997035 Bool -> Type) (TyFun [a6989586621679997035] [a6989586621679997035] -> Type) (FilterSym0 a6989586621679997035) l0 # | |
| type Apply (TyFun a6989586621679997027 Bool -> Type) (TyFun [a6989586621679997027] [a6989586621679997027] -> Type) (TakeWhileSym0 a6989586621679997027) l0 # | |
| type Apply (TyFun a6989586621679997026 Bool -> Type) (TyFun [a6989586621679997026] [a6989586621679997026] -> Type) (DropWhileSym0 a6989586621679997026) l0 # | |
| type Apply (TyFun a6989586621679997014 (TyFun a6989586621679997014 Bool -> Type) -> Type) (TyFun [a6989586621679997014] [[a6989586621679997014]] -> Type) (GroupBySym0 a6989586621679997014) l0 # | |
| type Apply (TyFun a6989586621679997024 Bool -> Type) (TyFun [a6989586621679997024] ([a6989586621679997024], [a6989586621679997024]) -> Type) (SpanSym0 a6989586621679997024) l0 # | |
| type Apply (TyFun a6989586621679997023 Bool -> Type) (TyFun [a6989586621679997023] ([a6989586621679997023], [a6989586621679997023]) -> Type) (BreakSym0 a6989586621679997023) l0 # | |
| type Apply (TyFun a6989586621679997011 Bool -> Type) (TyFun [a6989586621679997011] ([a6989586621679997011], [a6989586621679997011]) -> Type) (PartitionSym0 a6989586621679997011) l0 # | |
| type Apply (TyFun a6989586621679997002 (TyFun a6989586621679997002 Bool -> Type) -> Type) (TyFun [a6989586621679997002] [a6989586621679997002] -> Type) (NubBySym0 a6989586621679997002) l0 # | |
| type Apply (TyFun a6989586621680328006 Bool -> Type) (TyFun (TyFun a6989586621680328006 a6989586621680328006 -> Type) (TyFun a6989586621680328006 a6989586621680328006 -> Type) -> Type) (UntilSym0 a6989586621680328006) l0 # | |
| type Apply (TyFun b6989586621679650486 (TyFun a6989586621679650485 b6989586621679650486 -> Type) -> Type) (TyFun b6989586621679650486 (TyFun [a6989586621679650485] b6989586621679650486 -> Type) -> Type) (FoldlSym0 a6989586621679650485 b6989586621679650486) 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 a6989586621679703401 (TyFun b6989586621679703402 b6989586621679703402 -> Type) -> Type) (TyFun b6989586621679703402 (TyFun [a6989586621679703401] b6989586621679703402 -> Type) -> Type) (FoldrSym0 a6989586621679703401 b6989586621679703402) l0 # | |
| type Apply (TyFun a6989586621679703399 b6989586621679703400 -> Type) (TyFun [a6989586621679703399] [b6989586621679703400] -> Type) (MapSym0 a6989586621679703399 b6989586621679703400) l0 # | |
| type Apply (TyFun a6989586621679970350 (Maybe b6989586621679970351) -> Type) (TyFun [a6989586621679970350] [b6989586621679970351] -> Type) (MapMaybeSym0 a6989586621679970350 b6989586621679970351) l0 # | |
| type Apply (TyFun b6989586621679997112 (TyFun a6989586621679997111 b6989586621679997112 -> Type) -> Type) (TyFun b6989586621679997112 (TyFun [a6989586621679997111] b6989586621679997112 -> Type) -> Type) (Foldl'Sym0 a6989586621679997111 b6989586621679997112) l0 # | |
| type Apply (TyFun a6989586621679997105 [b6989586621679997106] -> Type) (TyFun [a6989586621679997105] [b6989586621679997106] -> Type) (ConcatMapSym0 a6989586621679997105 b6989586621679997106) l0 # | |
| type Apply (TyFun b6989586621679997102 (TyFun a6989586621679997103 b6989586621679997102 -> Type) -> Type) (TyFun b6989586621679997102 (TyFun [a6989586621679997103] [b6989586621679997102] -> Type) -> Type) (ScanlSym0 a6989586621679997103 b6989586621679997102) l0 # | |
| type Apply (TyFun a6989586621679997099 (TyFun b6989586621679997100 b6989586621679997100 -> Type) -> Type) (TyFun b6989586621679997100 (TyFun [a6989586621679997099] [b6989586621679997100] -> Type) -> Type) (ScanrSym0 a6989586621679997099 b6989586621679997100) l0 # | |
| type Apply (TyFun b6989586621679997090 (Maybe (a6989586621679997091, b6989586621679997090)) -> Type) (TyFun b6989586621679997090 [a6989586621679997091] -> Type) (UnfoldrSym0 b6989586621679997090 a6989586621679997091) l0 # | |
| type Apply (TyFun a6989586621680328006 a6989586621680328006 -> Type) (TyFun a6989586621680328006 a6989586621680328006 -> Type) (UntilSym1 a6989586621680328006 l0) l1 # | |
| type Apply (a6989586621679981939, b6989586621679981940) (b6989586621679981940, a6989586621679981939) (SwapSym0 b6989586621679981940 a6989586621679981939) l0 # | |
| type Apply (TyFun (a6989586621679981944, b6989586621679981945) c6989586621679981946 -> Type) (TyFun a6989586621679981944 (TyFun b6989586621679981945 c6989586621679981946 -> Type) -> Type) (CurrySym0 a6989586621679981944 b6989586621679981945 c6989586621679981946) l0 # | |
| type Apply (TyFun b6989586621679703392 c6989586621679703393 -> Type) (TyFun (TyFun a6989586621679703394 b6989586621679703392 -> Type) (TyFun a6989586621679703394 c6989586621679703393 -> Type) -> Type) ((:.$) b6989586621679703392 a6989586621679703394 c6989586621679703393) l0 # | |
| type Apply (TyFun a6989586621679703389 (TyFun b6989586621679703390 c6989586621679703391 -> Type) -> Type) (TyFun b6989586621679703390 (TyFun a6989586621679703389 c6989586621679703391 -> Type) -> Type) (FlipSym0 b6989586621679703390 a6989586621679703389 c6989586621679703391) l0 # | |
| type Apply (TyFun a6989586621679958182 c6989586621679958183 -> Type) (TyFun (TyFun b6989586621679958184 c6989586621679958183 -> Type) (TyFun (Either a6989586621679958182 b6989586621679958184) c6989586621679958183 -> Type) -> Type) (Either_Sym0 a6989586621679958182 b6989586621679958184 c6989586621679958183) l0 # | |
| type Apply (TyFun a6989586621679969105 b6989586621679969104 -> Type) (TyFun (Maybe a6989586621679969105) b6989586621679969104 -> Type) (Maybe_Sym1 a6989586621679969105 b6989586621679969104 l0) l1 # | |
| type Apply (TyFun a6989586621679981941 (TyFun b6989586621679981942 c6989586621679981943 -> Type) -> Type) (TyFun (a6989586621679981941, b6989586621679981942) c6989586621679981943 -> Type) (UncurrySym0 a6989586621679981941 b6989586621679981942 c6989586621679981943) l0 # | |
| type Apply (TyFun acc6989586621679997095 (TyFun x6989586621679997096 (acc6989586621679997095, y6989586621679997097) -> Type) -> Type) (TyFun acc6989586621679997095 (TyFun [x6989586621679997096] (acc6989586621679997095, [y6989586621679997097]) -> Type) -> Type) (MapAccumLSym0 x6989586621679997096 acc6989586621679997095 y6989586621679997097) l0 # | |
| type Apply (TyFun acc6989586621679997092 (TyFun x6989586621679997093 (acc6989586621679997092, y6989586621679997094) -> Type) -> Type) (TyFun acc6989586621679997092 (TyFun [x6989586621679997093] (acc6989586621679997092, [y6989586621679997094]) -> Type) -> Type) (MapAccumRSym0 x6989586621679997093 acc6989586621679997092 y6989586621679997094) l0 # | |
| type Apply (TyFun a6989586621679997075 (TyFun b6989586621679997076 c6989586621679997077 -> Type) -> Type) (TyFun [a6989586621679997075] (TyFun [b6989586621679997076] [c6989586621679997077] -> Type) -> Type) (ZipWithSym0 a6989586621679997075 b6989586621679997076 c6989586621679997077) l0 # | |
| type Apply (TyFun a6989586621679703394 b6989586621679703392 -> Type) (TyFun a6989586621679703394 c6989586621679703393 -> Type) ((:.$$) a6989586621679703394 b6989586621679703392 c6989586621679703393 l0) l1 # | |
| type Apply (TyFun b6989586621679958184 c6989586621679958183 -> Type) (TyFun (Either a6989586621679958182 b6989586621679958184) c6989586621679958183 -> Type) (Either_Sym1 b6989586621679958184 a6989586621679958182 c6989586621679958183 l0) l1 # | |
| type Apply (TyFun a6989586621679997071 (TyFun b6989586621679997072 (TyFun c6989586621679997073 d6989586621679997074 -> Type) -> Type) -> Type) (TyFun [a6989586621679997071] (TyFun [b6989586621679997072] (TyFun [c6989586621679997073] [d6989586621679997074] -> Type) -> Type) -> Type) (ZipWith3Sym0 a6989586621679997071 b6989586621679997072 c6989586621679997073 d6989586621679997074) l0 # | |
| type Apply (TyFun a6989586621680303749 (TyFun b6989586621680303750 (TyFun c6989586621680303751 (TyFun d6989586621680303752 e6989586621680303753 -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680303749] (TyFun [b6989586621680303750] (TyFun [c6989586621680303751] (TyFun [d6989586621680303752] [e6989586621680303753] -> Type) -> Type) -> Type) -> Type) (ZipWith4Sym0 a6989586621680303749 b6989586621680303750 c6989586621680303751 d6989586621680303752 e6989586621680303753) l0 # | |
| type Apply (TyFun a6989586621680303743 (TyFun b6989586621680303744 (TyFun c6989586621680303745 (TyFun d6989586621680303746 (TyFun e6989586621680303747 f6989586621680303748 -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680303743] (TyFun [b6989586621680303744] (TyFun [c6989586621680303745] (TyFun [d6989586621680303746] (TyFun [e6989586621680303747] [f6989586621680303748] -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith5Sym0 a6989586621680303743 b6989586621680303744 c6989586621680303745 d6989586621680303746 e6989586621680303747 f6989586621680303748) l0 # | |
| type Apply (TyFun a6989586621680303736 (TyFun b6989586621680303737 (TyFun c6989586621680303738 (TyFun d6989586621680303739 (TyFun e6989586621680303740 (TyFun f6989586621680303741 g6989586621680303742 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680303736] (TyFun [b6989586621680303737] (TyFun [c6989586621680303738] (TyFun [d6989586621680303739] (TyFun [e6989586621680303740] (TyFun [f6989586621680303741] [g6989586621680303742] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith6Sym0 a6989586621680303736 b6989586621680303737 c6989586621680303738 d6989586621680303739 e6989586621680303740 f6989586621680303741 g6989586621680303742) l0 # | |
| type Apply (TyFun a6989586621680303728 (TyFun b6989586621680303729 (TyFun c6989586621680303730 (TyFun d6989586621680303731 (TyFun e6989586621680303732 (TyFun f6989586621680303733 (TyFun g6989586621680303734 h6989586621680303735 -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (TyFun [a6989586621680303728] (TyFun [b6989586621680303729] (TyFun [c6989586621680303730] (TyFun [d6989586621680303731] (TyFun [e6989586621680303732] (TyFun [f6989586621680303733] (TyFun [g6989586621680303734] [h6989586621680303735] -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) -> Type) (ZipWith7Sym0 a6989586621680303728 b6989586621680303729 c6989586621680303730 d6989586621680303731 e6989586621680303732 f6989586621680303733 g6989586621680303734 h6989586621680303735) 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) | |