fastsum-0.1.0.0: A fast open-union type suitable for 100+ contained alternatives

CopyrightAllele Dev 2015
LicenseBSD-3
Maintainerallele.dev@gmail.com
Stabilityexperimental
PortabilityPOSIX
Safe HaskellNone
LanguageHaskell2010

Data.Sum

Description

All operations are constant-time, and there is no Typeable constraint.

This is a variation of Kiselyov's OpenUnion5.hs, which relies on overlapping instances instead of closed type families. Closed type families have their problems: overlapping instances can resolve even for unground types, but closed type families are subject to a strict apartness condition.

Synopsis

Documentation

data Sum (r :: [* -> *]) (v :: *) where Source #

The fundamental sum type over a type-level list of products r and an annotation type v. The constructor is not exported; use inject to create a Sum.

Constructors

Sum :: !Int -> t v -> Sum r v

Strong Sum (Existential with the evidence) is an open sum t is can be a GADT and hence not necessarily a Functor. Int is the index of t in the list r; that is, the index of t in the universe r.

Instances

Apply Functor fs => Functor (Sum fs) Source # 

Methods

fmap :: (a -> b) -> Sum fs a -> Sum fs b #

(<$) :: a -> Sum fs b -> Sum fs a #

Apply Foldable fs => Foldable (Sum fs) Source # 

Methods

fold :: Monoid m => Sum fs m -> m #

foldMap :: Monoid m => (a -> m) -> Sum fs a -> m #

foldr :: (a -> b -> b) -> b -> Sum fs a -> b #

foldr' :: (a -> b -> b) -> b -> Sum fs a -> b #

foldl :: (b -> a -> b) -> b -> Sum fs a -> b #

foldl' :: (b -> a -> b) -> b -> Sum fs a -> b #

foldr1 :: (a -> a -> a) -> Sum fs a -> a #

foldl1 :: (a -> a -> a) -> Sum fs a -> a #

toList :: Sum fs a -> [a] #

null :: Sum fs a -> Bool #

length :: Sum fs a -> Int #

elem :: Eq a => a -> Sum fs a -> Bool #

maximum :: Ord a => Sum fs a -> a #

minimum :: Ord a => Sum fs a -> a #

sum :: Num a => Sum fs a -> a #

product :: Num a => Sum fs a -> a #

(Apply Foldable fs, Apply Functor fs, Apply Traversable fs) => Traversable (Sum fs) Source # 

Methods

traverse :: Applicative f => (a -> f b) -> Sum fs a -> f (Sum fs b) #

sequenceA :: Applicative f => Sum fs (f a) -> f (Sum fs a) #

mapM :: Monad m => (a -> m b) -> Sum fs a -> m (Sum fs b) #

sequence :: Monad m => Sum fs (m a) -> m (Sum fs a) #

Apply Eq1 fs => Eq1 (Sum fs) Source # 

Methods

liftEq :: (a -> b -> Bool) -> Sum fs a -> Sum fs b -> Bool #

(Apply Eq1 fs, Apply Ord1 fs) => Ord1 (Sum fs) Source # 

Methods

liftCompare :: (a -> b -> Ordering) -> Sum fs a -> Sum fs b -> Ordering #

Apply Show1 fs => Show1 (Sum fs) Source # 

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Sum fs a -> ShowS #

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Sum fs a] -> ShowS #

Apply Hashable1 fs => Hashable1 (Sum fs) Source # 

Methods

liftHashWithSalt :: (Int -> a -> Int) -> Int -> Sum fs a -> Int #

(Apply Eq1 fs, Eq a) => Eq (Sum fs a) Source # 

Methods

(==) :: Sum fs a -> Sum fs a -> Bool #

(/=) :: Sum fs a -> Sum fs a -> Bool #

(Apply Eq1 fs, Apply Ord1 fs, Ord a) => Ord (Sum fs a) Source # 

Methods

compare :: Sum fs a -> Sum fs a -> Ordering #

(<) :: Sum fs a -> Sum fs a -> Bool #

(<=) :: Sum fs a -> Sum fs a -> Bool #

(>) :: Sum fs a -> Sum fs a -> Bool #

(>=) :: Sum fs a -> Sum fs a -> Bool #

max :: Sum fs a -> Sum fs a -> Sum fs a #

min :: Sum fs a -> Sum fs a -> Sum fs a #

(Apply Show1 fs, Show a) => Show (Sum fs a) Source # 

Methods

showsPrec :: Int -> Sum fs a -> ShowS #

show :: Sum fs a -> String #

showList :: [Sum fs a] -> ShowS #

(Apply Hashable1 fs, Hashable a) => Hashable (Sum fs a) Source # 

Methods

hashWithSalt :: Int -> Sum fs a -> Int #

hash :: Sum fs a -> Int #

type family Elements (ms :: [* -> *]) r :: Constraint where ... Source #

An Elements ms r constraint proves that r contains all of the elements in ms.

Equations

Elements (t ': cs) r = (Element t r, Elements cs r) 
Elements '[] r = () 

type (:<:) ts r = Elements ts r infixr 5 Source #

An infix synonym for Elements.

inject :: forall e r v. e :< r => e v -> Sum r v Source #

Inject a functor into a type-aligned sum.

project :: forall e r v. e :< r => Sum r v -> Maybe (e v) Source #

Maybe project a functor out of a type-aligned sum.

decompose :: Sum (e ': es) b -> Either (Sum es b) (e b) Source #

Attempts to extract the head type e from a Sum. Returns Right on success, and a Sum without e otherwise. You can repeatedly apply this and apply decomposeLast when you have Sum '[e] to get typesafe, exhaustive matching of an open sum. See examples/Errors.hs for a full example.

decomposeLast :: Sum '[e] b -> e b Source #

Special case of decompose which knows that there is only one possible type remaining in the Sum, e thus it is guaranteed to return e

weaken :: Sum r w -> Sum (any ': r) w Source #

Add an arbitrary product any to a product list r.

type Element t r = KnownNat (ElemIndex t r) Source #

Element t r is a proof that t is a member of r. This is implemented in terms of KnownNat rather than recursive typeclass lookups.

type (:<) t r = Element t r infixr 5 Source #

An infix version of Element. Note that you will need -XTypeOperators turned on to use this.

class Apply (c :: (* -> *) -> Constraint) (fs :: [* -> *]) where Source #

Helper to apply a function to a functor of the nth type in a type list. An Apply SomeClass fs instance means that Sum fs has an instance of SomeClass. Instances are written using apply and an explicit type application:

instance Apply SomeClass fs => SomeClass (Sum fs) where method = apply @SomeClass method

An INLINEABLE pragma on such an instance may improve dispatch speed.

Minimal complete definition

apply

Methods

apply :: (forall g. c g => g a -> b) -> Sum fs a -> b Source #

Instances

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132, constraint f133, constraint f134, constraint f135, constraint f136, constraint f137, constraint f138, constraint f139, constraint f140, constraint f141, constraint f142, constraint f143, constraint f144, constraint f145, constraint f146, constraint f147, constraint f148, constraint f149) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ((:) (* -> *) f133 ((:) (* -> *) f134 ((:) (* -> *) f135 ((:) (* -> *) f136 ((:) (* -> *) f137 ((:) (* -> *) f138 ((:) (* -> *) f139 ((:) (* -> *) f140 ((:) (* -> *) f141 ((:) (* -> *) f142 ((:) (* -> *) f143 ((:) (* -> *) f144 ((:) (* -> *) f145 ((:) (* -> *) f146 ((:) (* -> *) f147 ((:) (* -> *) f148 ((:) (* -> *) f149 ([] (* -> *)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) (((* -> *) ': f133) (((* -> *) ': f134) (((* -> *) ': f135) (((* -> *) ': f136) (((* -> *) ': f137) (((* -> *) ': f138) (((* -> *) ': f139) (((* -> *) ': f140) (((* -> *) ': f141) (((* -> *) ': f142) (((* -> *) ': f143) (((* -> *) ': f144) (((* -> *) ': f145) (((* -> *) ': f146) (((* -> *) ': f147) (((* -> *) ': f148) (((* -> *) ': f149) [* -> *])))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132, constraint f133, constraint f134, constraint f135, constraint f136, constraint f137, constraint f138, constraint f139, constraint f140, constraint f141, constraint f142, constraint f143, constraint f144, constraint f145, constraint f146, constraint f147, constraint f148) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ((:) (* -> *) f133 ((:) (* -> *) f134 ((:) (* -> *) f135 ((:) (* -> *) f136 ((:) (* -> *) f137 ((:) (* -> *) f138 ((:) (* -> *) f139 ((:) (* -> *) f140 ((:) (* -> *) f141 ((:) (* -> *) f142 ((:) (* -> *) f143 ((:) (* -> *) f144 ((:) (* -> *) f145 ((:) (* -> *) f146 ((:) (* -> *) f147 ((:) (* -> *) f148 ([] (* -> *))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) (((* -> *) ': f133) (((* -> *) ': f134) (((* -> *) ': f135) (((* -> *) ': f136) (((* -> *) ': f137) (((* -> *) ': f138) (((* -> *) ': f139) (((* -> *) ': f140) (((* -> *) ': f141) (((* -> *) ': f142) (((* -> *) ': f143) (((* -> *) ': f144) (((* -> *) ': f145) (((* -> *) ': f146) (((* -> *) ': f147) (((* -> *) ': f148) [* -> *]))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132, constraint f133, constraint f134, constraint f135, constraint f136, constraint f137, constraint f138, constraint f139, constraint f140, constraint f141, constraint f142, constraint f143, constraint f144, constraint f145, constraint f146, constraint f147) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ((:) (* -> *) f133 ((:) (* -> *) f134 ((:) (* -> *) f135 ((:) (* -> *) f136 ((:) (* -> *) f137 ((:) (* -> *) f138 ((:) (* -> *) f139 ((:) (* -> *) f140 ((:) (* -> *) f141 ((:) (* -> *) f142 ((:) (* -> *) f143 ((:) (* -> *) f144 ((:) (* -> *) f145 ((:) (* -> *) f146 ((:) (* -> *) f147 ([] (* -> *)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) (((* -> *) ': f133) (((* -> *) ': f134) (((* -> *) ': f135) (((* -> *) ': f136) (((* -> *) ': f137) (((* -> *) ': f138) (((* -> *) ': f139) (((* -> *) ': f140) (((* -> *) ': f141) (((* -> *) ': f142) (((* -> *) ': f143) (((* -> *) ': f144) (((* -> *) ': f145) (((* -> *) ': f146) (((* -> *) ': f147) [* -> *])))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132, constraint f133, constraint f134, constraint f135, constraint f136, constraint f137, constraint f138, constraint f139, constraint f140, constraint f141, constraint f142, constraint f143, constraint f144, constraint f145, constraint f146) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ((:) (* -> *) f133 ((:) (* -> *) f134 ((:) (* -> *) f135 ((:) (* -> *) f136 ((:) (* -> *) f137 ((:) (* -> *) f138 ((:) (* -> *) f139 ((:) (* -> *) f140 ((:) (* -> *) f141 ((:) (* -> *) f142 ((:) (* -> *) f143 ((:) (* -> *) f144 ((:) (* -> *) f145 ((:) (* -> *) f146 ([] (* -> *))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) (((* -> *) ': f133) (((* -> *) ': f134) (((* -> *) ': f135) (((* -> *) ': f136) (((* -> *) ': f137) (((* -> *) ': f138) (((* -> *) ': f139) (((* -> *) ': f140) (((* -> *) ': f141) (((* -> *) ': f142) (((* -> *) ': f143) (((* -> *) ': f144) (((* -> *) ': f145) (((* -> *) ': f146) [* -> *]))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132, constraint f133, constraint f134, constraint f135, constraint f136, constraint f137, constraint f138, constraint f139, constraint f140, constraint f141, constraint f142, constraint f143, constraint f144, constraint f145) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ((:) (* -> *) f133 ((:) (* -> *) f134 ((:) (* -> *) f135 ((:) (* -> *) f136 ((:) (* -> *) f137 ((:) (* -> *) f138 ((:) (* -> *) f139 ((:) (* -> *) f140 ((:) (* -> *) f141 ((:) (* -> *) f142 ((:) (* -> *) f143 ((:) (* -> *) f144 ((:) (* -> *) f145 ([] (* -> *)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) (((* -> *) ': f133) (((* -> *) ': f134) (((* -> *) ': f135) (((* -> *) ': f136) (((* -> *) ': f137) (((* -> *) ': f138) (((* -> *) ': f139) (((* -> *) ': f140) (((* -> *) ': f141) (((* -> *) ': f142) (((* -> *) ': f143) (((* -> *) ': f144) (((* -> *) ': f145) [* -> *])))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132, constraint f133, constraint f134, constraint f135, constraint f136, constraint f137, constraint f138, constraint f139, constraint f140, constraint f141, constraint f142, constraint f143, constraint f144) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ((:) (* -> *) f133 ((:) (* -> *) f134 ((:) (* -> *) f135 ((:) (* -> *) f136 ((:) (* -> *) f137 ((:) (* -> *) f138 ((:) (* -> *) f139 ((:) (* -> *) f140 ((:) (* -> *) f141 ((:) (* -> *) f142 ((:) (* -> *) f143 ((:) (* -> *) f144 ([] (* -> *))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) (((* -> *) ': f133) (((* -> *) ': f134) (((* -> *) ': f135) (((* -> *) ': f136) (((* -> *) ': f137) (((* -> *) ': f138) (((* -> *) ': f139) (((* -> *) ': f140) (((* -> *) ': f141) (((* -> *) ': f142) (((* -> *) ': f143) (((* -> *) ': f144) [* -> *]))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132, constraint f133, constraint f134, constraint f135, constraint f136, constraint f137, constraint f138, constraint f139, constraint f140, constraint f141, constraint f142, constraint f143) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ((:) (* -> *) f133 ((:) (* -> *) f134 ((:) (* -> *) f135 ((:) (* -> *) f136 ((:) (* -> *) f137 ((:) (* -> *) f138 ((:) (* -> *) f139 ((:) (* -> *) f140 ((:) (* -> *) f141 ((:) (* -> *) f142 ((:) (* -> *) f143 ([] (* -> *)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) (((* -> *) ': f133) (((* -> *) ': f134) (((* -> *) ': f135) (((* -> *) ': f136) (((* -> *) ': f137) (((* -> *) ': f138) (((* -> *) ': f139) (((* -> *) ': f140) (((* -> *) ': f141) (((* -> *) ': f142) (((* -> *) ': f143) [* -> *])))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132, constraint f133, constraint f134, constraint f135, constraint f136, constraint f137, constraint f138, constraint f139, constraint f140, constraint f141, constraint f142) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ((:) (* -> *) f133 ((:) (* -> *) f134 ((:) (* -> *) f135 ((:) (* -> *) f136 ((:) (* -> *) f137 ((:) (* -> *) f138 ((:) (* -> *) f139 ((:) (* -> *) f140 ((:) (* -> *) f141 ((:) (* -> *) f142 ([] (* -> *))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) (((* -> *) ': f133) (((* -> *) ': f134) (((* -> *) ': f135) (((* -> *) ': f136) (((* -> *) ': f137) (((* -> *) ': f138) (((* -> *) ': f139) (((* -> *) ': f140) (((* -> *) ': f141) (((* -> *) ': f142) [* -> *]))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132, constraint f133, constraint f134, constraint f135, constraint f136, constraint f137, constraint f138, constraint f139, constraint f140, constraint f141) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ((:) (* -> *) f133 ((:) (* -> *) f134 ((:) (* -> *) f135 ((:) (* -> *) f136 ((:) (* -> *) f137 ((:) (* -> *) f138 ((:) (* -> *) f139 ((:) (* -> *) f140 ((:) (* -> *) f141 ([] (* -> *)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) (((* -> *) ': f133) (((* -> *) ': f134) (((* -> *) ': f135) (((* -> *) ': f136) (((* -> *) ': f137) (((* -> *) ': f138) (((* -> *) ': f139) (((* -> *) ': f140) (((* -> *) ': f141) [* -> *])))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132, constraint f133, constraint f134, constraint f135, constraint f136, constraint f137, constraint f138, constraint f139, constraint f140) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ((:) (* -> *) f133 ((:) (* -> *) f134 ((:) (* -> *) f135 ((:) (* -> *) f136 ((:) (* -> *) f137 ((:) (* -> *) f138 ((:) (* -> *) f139 ((:) (* -> *) f140 ([] (* -> *))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) (((* -> *) ': f133) (((* -> *) ': f134) (((* -> *) ': f135) (((* -> *) ': f136) (((* -> *) ': f137) (((* -> *) ': f138) (((* -> *) ': f139) (((* -> *) ': f140) [* -> *]))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132, constraint f133, constraint f134, constraint f135, constraint f136, constraint f137, constraint f138, constraint f139) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ((:) (* -> *) f133 ((:) (* -> *) f134 ((:) (* -> *) f135 ((:) (* -> *) f136 ((:) (* -> *) f137 ((:) (* -> *) f138 ((:) (* -> *) f139 ([] (* -> *)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) (((* -> *) ': f133) (((* -> *) ': f134) (((* -> *) ': f135) (((* -> *) ': f136) (((* -> *) ': f137) (((* -> *) ': f138) (((* -> *) ': f139) [* -> *])))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132, constraint f133, constraint f134, constraint f135, constraint f136, constraint f137, constraint f138) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ((:) (* -> *) f133 ((:) (* -> *) f134 ((:) (* -> *) f135 ((:) (* -> *) f136 ((:) (* -> *) f137 ((:) (* -> *) f138 ([] (* -> *))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) (((* -> *) ': f133) (((* -> *) ': f134) (((* -> *) ': f135) (((* -> *) ': f136) (((* -> *) ': f137) (((* -> *) ': f138) [* -> *]))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132, constraint f133, constraint f134, constraint f135, constraint f136, constraint f137) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ((:) (* -> *) f133 ((:) (* -> *) f134 ((:) (* -> *) f135 ((:) (* -> *) f136 ((:) (* -> *) f137 ([] (* -> *)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) (((* -> *) ': f133) (((* -> *) ': f134) (((* -> *) ': f135) (((* -> *) ': f136) (((* -> *) ': f137) [* -> *])))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132, constraint f133, constraint f134, constraint f135, constraint f136) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ((:) (* -> *) f133 ((:) (* -> *) f134 ((:) (* -> *) f135 ((:) (* -> *) f136 ([] (* -> *))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) (((* -> *) ': f133) (((* -> *) ': f134) (((* -> *) ': f135) (((* -> *) ': f136) [* -> *]))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132, constraint f133, constraint f134, constraint f135) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ((:) (* -> *) f133 ((:) (* -> *) f134 ((:) (* -> *) f135 ([] (* -> *)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) (((* -> *) ': f133) (((* -> *) ': f134) (((* -> *) ': f135) [* -> *])))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132, constraint f133, constraint f134) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ((:) (* -> *) f133 ((:) (* -> *) f134 ([] (* -> *))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) (((* -> *) ': f133) (((* -> *) ': f134) [* -> *]))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132, constraint f133) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ((:) (* -> *) f133 ([] (* -> *)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) (((* -> *) ': f133) [* -> *])))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131, constraint f132) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ((:) (* -> *) f132 ([] (* -> *))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) (((* -> *) ': f132) [* -> *]))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130, constraint f131) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ((:) (* -> *) f131 ([] (* -> *)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) (((* -> *) ': f131) [* -> *])))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129, constraint f130) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ((:) (* -> *) f130 ([] (* -> *))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) (((* -> *) ': f130) [* -> *]))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128, constraint f129) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ((:) (* -> *) f129 ([] (* -> *)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) (((* -> *) ': f129) [* -> *])))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127, constraint f128) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (* -> *) f72 ((:) (* -> *) f73 ((:) (* -> *) f74 ((:) (* -> *) f75 ((:) (* -> *) f76 ((:) (* -> *) f77 ((:) (* -> *) f78 ((:) (* -> *) f79 ((:) (* -> *) f80 ((:) (* -> *) f81 ((:) (* -> *) f82 ((:) (* -> *) f83 ((:) (* -> *) f84 ((:) (* -> *) f85 ((:) (* -> *) f86 ((:) (* -> *) f87 ((:) (* -> *) f88 ((:) (* -> *) f89 ((:) (* -> *) f90 ((:) (* -> *) f91 ((:) (* -> *) f92 ((:) (* -> *) f93 ((:) (* -> *) f94 ((:) (* -> *) f95 ((:) (* -> *) f96 ((:) (* -> *) f97 ((:) (* -> *) f98 ((:) (* -> *) f99 ((:) (* -> *) f100 ((:) (* -> *) f101 ((:) (* -> *) f102 ((:) (* -> *) f103 ((:) (* -> *) f104 ((:) (* -> *) f105 ((:) (* -> *) f106 ((:) (* -> *) f107 ((:) (* -> *) f108 ((:) (* -> *) f109 ((:) (* -> *) f110 ((:) (* -> *) f111 ((:) (* -> *) f112 ((:) (* -> *) f113 ((:) (* -> *) f114 ((:) (* -> *) f115 ((:) (* -> *) f116 ((:) (* -> *) f117 ((:) (* -> *) f118 ((:) (* -> *) f119 ((:) (* -> *) f120 ((:) (* -> *) f121 ((:) (* -> *) f122 ((:) (* -> *) f123 ((:) (* -> *) f124 ((:) (* -> *) f125 ((:) (* -> *) f126 ((:) (* -> *) f127 ((:) (* -> *) f128 ([] (* -> *))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) Source # 

Methods

apply :: (forall (g :: * -> *). constraint g => g a -> b) -> Sum (((* -> *) ': f0) (((* -> *) ': f1) (((* -> *) ': f2) (((* -> *) ': f3) (((* -> *) ': f4) (((* -> *) ': f5) (((* -> *) ': f6) (((* -> *) ': f7) (((* -> *) ': f8) (((* -> *) ': f9) (((* -> *) ': f10) (((* -> *) ': f11) (((* -> *) ': f12) (((* -> *) ': f13) (((* -> *) ': f14) (((* -> *) ': f15) (((* -> *) ': f16) (((* -> *) ': f17) (((* -> *) ': f18) (((* -> *) ': f19) (((* -> *) ': f20) (((* -> *) ': f21) (((* -> *) ': f22) (((* -> *) ': f23) (((* -> *) ': f24) (((* -> *) ': f25) (((* -> *) ': f26) (((* -> *) ': f27) (((* -> *) ': f28) (((* -> *) ': f29) (((* -> *) ': f30) (((* -> *) ': f31) (((* -> *) ': f32) (((* -> *) ': f33) (((* -> *) ': f34) (((* -> *) ': f35) (((* -> *) ': f36) (((* -> *) ': f37) (((* -> *) ': f38) (((* -> *) ': f39) (((* -> *) ': f40) (((* -> *) ': f41) (((* -> *) ': f42) (((* -> *) ': f43) (((* -> *) ': f44) (((* -> *) ': f45) (((* -> *) ': f46) (((* -> *) ': f47) (((* -> *) ': f48) (((* -> *) ': f49) (((* -> *) ': f50) (((* -> *) ': f51) (((* -> *) ': f52) (((* -> *) ': f53) (((* -> *) ': f54) (((* -> *) ': f55) (((* -> *) ': f56) (((* -> *) ': f57) (((* -> *) ': f58) (((* -> *) ': f59) (((* -> *) ': f60) (((* -> *) ': f61) (((* -> *) ': f62) (((* -> *) ': f63) (((* -> *) ': f64) (((* -> *) ': f65) (((* -> *) ': f66) (((* -> *) ': f67) (((* -> *) ': f68) (((* -> *) ': f69) (((* -> *) ': f70) (((* -> *) ': f71) (((* -> *) ': f72) (((* -> *) ': f73) (((* -> *) ': f74) (((* -> *) ': f75) (((* -> *) ': f76) (((* -> *) ': f77) (((* -> *) ': f78) (((* -> *) ': f79) (((* -> *) ': f80) (((* -> *) ': f81) (((* -> *) ': f82) (((* -> *) ': f83) (((* -> *) ': f84) (((* -> *) ': f85) (((* -> *) ': f86) (((* -> *) ': f87) (((* -> *) ': f88) (((* -> *) ': f89) (((* -> *) ': f90) (((* -> *) ': f91) (((* -> *) ': f92) (((* -> *) ': f93) (((* -> *) ': f94) (((* -> *) ': f95) (((* -> *) ': f96) (((* -> *) ': f97) (((* -> *) ': f98) (((* -> *) ': f99) (((* -> *) ': f100) (((* -> *) ': f101) (((* -> *) ': f102) (((* -> *) ': f103) (((* -> *) ': f104) (((* -> *) ': f105) (((* -> *) ': f106) (((* -> *) ': f107) (((* -> *) ': f108) (((* -> *) ': f109) (((* -> *) ': f110) (((* -> *) ': f111) (((* -> *) ': f112) (((* -> *) ': f113) (((* -> *) ': f114) (((* -> *) ': f115) (((* -> *) ': f116) (((* -> *) ': f117) (((* -> *) ': f118) (((* -> *) ': f119) (((* -> *) ': f120) (((* -> *) ': f121) (((* -> *) ': f122) (((* -> *) ': f123) (((* -> *) ': f124) (((* -> *) ': f125) (((* -> *) ': f126) (((* -> *) ': f127) (((* -> *) ': f128) [* -> *]))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) a -> b Source #

(constraint f0, constraint f1, constraint f2, constraint f3, constraint f4, constraint f5, constraint f6, constraint f7, constraint f8, constraint f9, constraint f10, constraint f11, constraint f12, constraint f13, constraint f14, constraint f15, constraint f16, constraint f17, constraint f18, constraint f19, constraint f20, constraint f21, constraint f22, constraint f23, constraint f24, constraint f25, constraint f26, constraint f27, constraint f28, constraint f29, constraint f30, constraint f31, constraint f32, constraint f33, constraint f34, constraint f35, constraint f36, constraint f37, constraint f38, constraint f39, constraint f40, constraint f41, constraint f42, constraint f43, constraint f44, constraint f45, constraint f46, constraint f47, constraint f48, constraint f49, constraint f50, constraint f51, constraint f52, constraint f53, constraint f54, constraint f55, constraint f56, constraint f57, constraint f58, constraint f59, constraint f60, constraint f61, constraint f62, constraint f63, constraint f64, constraint f65, constraint f66, constraint f67, constraint f68, constraint f69, constraint f70, constraint f71, constraint f72, constraint f73, constraint f74, constraint f75, constraint f76, constraint f77, constraint f78, constraint f79, constraint f80, constraint f81, constraint f82, constraint f83, constraint f84, constraint f85, constraint f86, constraint f87, constraint f88, constraint f89, constraint f90, constraint f91, constraint f92, constraint f93, constraint f94, constraint f95, constraint f96, constraint f97, constraint f98, constraint f99, constraint f100, constraint f101, constraint f102, constraint f103, constraint f104, constraint f105, constraint f106, constraint f107, constraint f108, constraint f109, constraint f110, constraint f111, constraint f112, constraint f113, constraint f114, constraint f115, constraint f116, constraint f117, constraint f118, constraint f119, constraint f120, constraint f121, constraint f122, constraint f123, constraint f124, constraint f125, constraint f126, constraint f127) => Apply constraint ((:) (* -> *) f0 ((:) (* -> *) f1 ((:) (* -> *) f2 ((:) (* -> *) f3 ((:) (* -> *) f4 ((:) (* -> *) f5 ((:) (* -> *) f6 ((:) (* -> *) f7 ((:) (* -> *) f8 ((:) (* -> *) f9 ((:) (* -> *) f10 ((:) (* -> *) f11 ((:) (* -> *) f12 ((:) (* -> *) f13 ((:) (* -> *) f14 ((:) (* -> *) f15 ((:) (* -> *) f16 ((:) (* -> *) f17 ((:) (* -> *) f18 ((:) (* -> *) f19 ((:) (* -> *) f20 ((:) (* -> *) f21 ((:) (* -> *) f22 ((:) (* -> *) f23 ((:) (* -> *) f24 ((:) (* -> *) f25 ((:) (* -> *) f26 ((:) (* -> *) f27 ((:) (* -> *) f28 ((:) (* -> *) f29 ((:) (* -> *) f30 ((:) (* -> *) f31 ((:) (* -> *) f32 ((:) (* -> *) f33 ((:) (* -> *) f34 ((:) (* -> *) f35 ((:) (* -> *) f36 ((:) (* -> *) f37 ((:) (* -> *) f38 ((:) (* -> *) f39 ((:) (* -> *) f40 ((:) (* -> *) f41 ((:) (* -> *) f42 ((:) (* -> *) f43 ((:) (* -> *) f44 ((:) (* -> *) f45 ((:) (* -> *) f46 ((:) (* -> *) f47 ((:) (* -> *) f48 ((:) (* -> *) f49 ((:) (* -> *) f50 ((:) (* -> *) f51 ((:) (* -> *) f52 ((:) (* -> *) f53 ((:) (* -> *) f54 ((:) (* -> *) f55 ((:) (* -> *) f56 ((:) (* -> *) f57 ((:) (* -> *) f58 ((:) (* -> *) f59 ((:) (* -> *) f60 ((:) (* -> *) f61 ((:) (* -> *) f62 ((:) (* -> *) f63 ((:) (* -> *) f64 ((:) (* -> *) f65 ((:) (* -> *) f66 ((:) (* -> *) f67 ((:) (* -> *) f68 ((:) (* -> *) f69 ((:) (* -> *) f70 ((:) (* -> *) f71 ((:) (