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) | |