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