>                     ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L MNOPQRSTUVWXYZ[\]^_`abcdefghijklmno pq rstuvwx yz{|}~            !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQ R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o pqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~2 Safe+DThis class (which users should never see) is to be instantiated in order to use an otherwise-unused data constructor, such as the "kind-inference" data constructor for defunctionalization symbols.None +,/09;DR>;None/9;<=BIOT[Generate a new UniqueCAA(C) 2015 Richard EisenbergBSD-style (see LICENSE)$Richard Eisenberg (eir@cis.upenn.edu experimental non-portableNone (C) 2013 Richard EisenbergBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNone%&+,9:;BDOQRTAn infix synonym for Type level function application$ Similar to %*, but for two-parameter type constructors.%:Wrapper for converting the normal type-level arrow into a &. For example, given: data Nat = Zero | Succ Nat type family Map (a :: a ~> b) (a :: [a]) :: [b] Map f '[] = '[] Map f (x ': xs) = Apply f x ': Map f xs We can write: #Map (TyCon1 Succ) [Zero, Succ Zero]&pSomething of kind `a ~> b` is a defunctionalized type function that is not necessarily generative or injective.'Representation of the kind of a type-level function. The difference between term-level arrows and this type-level arrow is that at the term level applications can be unsaturated, whereas at the type level all applications have to be fully saturated.(A ( wraps up a 1 instance for explicit handling.*An existentially-quantified singleton. This type is useful when you want a singleton type, but there is no way of knowing, at compile-time, what the type index will be. To make use of this type, you will generally have to use a pattern-match: ofoo :: Bool -> ... foo b = case toSing b of SomeSing sb -> {- fancy dependently-typed code with sb -};An example like the one above may be easier to write using G.,Convenient abbreviation for .: "type Demote (a :: k) = DemoteRep k-The - class is a kind class. It classifies all kinds for which singletons are defined. The class supports converting between a singleton type and the base (unrefined) type which it is built from..BGet a base type from a proxy for the promoted kind. For example, DemoteRep Bool will be the type Bool./-Convert a singleton to its unrefined version.0HConvert an unrefined type to an existentially-quantified singleton type.1A 1 constraint is essentially an implicitly-passed singleton. If you need to satisfy this constraint with an explicit singleton, please see F.2;Produce the singleton explicitly. You will likely need the ScopedTypeVariables0 extension to use this method the way you want.3'The singleton kind-indexed data family.4=Convenient synonym to refer to the kind of a type variable: *type KindOf (a :: k) = ('Proxy :: Proxy k)5Get an implicit singleton (a 1 instance) from an explicit one.6Use this function when passing a function on singletons as a higher-order function. You will often need an explicit type annotation to get this to work. For example: gfalses = sMap (singFun1 (Proxy :: Proxy NotSym0) sNot) (STrue `SCons` STrue `SCons` SNil)There are a family of  singFun...? functions, keyed by the number of parameters of the function.>This is the inverse of 6, and likewise for the other  unSingFun... functions.FRConvenience function for creating a context with an implicit singleton available.G Convert a normal datatype (like D) to a singleton for that datatype, passing it into a continuation.HyA convenience function useful when we need to name a singleton value multiple times. Without this function, each use of 2d could potentially refer to a different singleton, and one has to use type signatures (often with ScopedTypeVariables#) to ensure that they are the same.IA convenience function that names a singleton satisfying a certain property. If the singleton does not satisfy the property, then the function returns X. The property is expressed in terms of the underlying representation of the singleton.J7Allows creation of a singleton when a proxy is at hand.K&Allows creation of a singleton when a proxy# is at hand.> !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGThe original datatypeFunction expecting a singletonHIJKL < !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJK:312-./04,()*+5FGJKHI'&%$#"! 6789:;<=>?@ABCDE5 !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKL 9 &0(C) 2013 Richard EisenbergBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNone%&+,:DOQRTMMembers of the M "kind" class support decidable equality. Instances of this class are generated alongside singleton definitions for datatypes that derive an   instance.N>Compute a proof or disproof of equality, given two singletons.OA O about a type a0 is either a proof of existence or a proof that a cannot exist.P Witness for aQProof that no a existsR,Because we can never create a value of type  ", a function that type-checks at  a -> Void shows that objects of type a% can never exist. Thus, we say that a is RMNOPQRS  MNOPQR MN ROPQMNOPQRSNone^    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefgh^    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefgh^    !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefgh(C) 2015 Richard EisenbergBSD-style (see LICENSE)$Richard Eisenberg (eir@cis.upenn.edu experimental non-portableNonei#Make a *non-singleton* Ord instanceijkiijkNone/:DIRlmnopqrstuvwxyz{|}~ lmvwxyz{|}~lmnopqrstuvwxyz{|}~NoneFI wx(C) 2015 Richard EisenbergBSD-style (see LICENSE)$Richard Eisenberg (eir@cis.upenn.edu experimental non-portableNone(C) 2015 Richard EisenbergBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNoneNoneNone None   !(C) 2015 Richard EisenbergBSD-style (see LICENSE)$Richard Eisenberg (eir@cis.upenn.edu experimental non-portableNone Split up a [DDec] into its pieces, extracting ! instances from deriving clauses  "NoneL[\ ToGenerate promoted definitions from a type that is already defined. This is generally only useful with classes.UKPromote every declaration given to the type level, retaining the originals.VPromote each declaration, discarding the originals. Note that a promoted datatype uses the same definition as an original datatype, so this will not work with datatypes. Classes, instances, and functions are all fine.W=Generate defunctionalization symbols for existing type familyXHProduce instances for '(:==)' (type-level equality) from the given typesYProduce instances for POrd from the given typesZProduce an instance for POrd from the given type[Produce instances for PBounded from the given types\Produce an instance for PBounded from the given type]Produce instances for PEnum from the given types^Produce an instance for PEnum from the given type_IProduce an instance for '(:==)' (type-level equality) from the given typeTUVWXYZ[\]^_;instantiations for class tyvars (Nothing for default decls)TUVWXYZ[\]^_TUVWXYZ[\]^_#None$None%NoneFL[&NoneFL`tGenerate singleton definitions from a type that is already defined. For example, the singletons package itself uses 2$(genSingletons [''Bool, ''Maybe, ''Either, ''[]]))to generate singletons for Prelude types.akMake promoted and singleton versions of all declarations given, retaining the original declarations. See  =http://www.cis.upenn.edu/~eir/packages/singletons/README.html for further explanation.bMake promoted and singleton versions of all declarations given, discarding the original declarations. Note that a singleton based on a datatype needs the original datatype, so this will fail if it sees any datatype declarations. Classes, instances, and functions are all fine.cCreate instances of SEq1 and type-level '(:==)' for each type in the listdCreate instance of SEq* and type-level '(:==)' for the given typeeCreate instances of SEq) (only -- no instance for '(:==)', which SEq0 generally relies on) for each type in the listfCreate instances of SEq) (only -- no instance for '(:==)', which SEq) generally relies on) for the given typegCreate instances of SDecide for each type in the list.hCreate instance of SDecide for the given type.iCreate instances of SOrd for the given typesjCreate instance of SOrd for the given typekCreate instances of SBounded for the given typeslCreate instance of SBounded for the given typemCreate instances of SEnum for the given typesnCreate instance of SEnum for the given type'`abcdefghijklmnthe promoted scrutineethe result kind, if known'`abcdefghijklmn$`abcdefghijklmn'None%&+,9:;DOQRTopqrstuvwxyz{|}~                           ! " # $ % & ' ( ) * + , -3              opqrstuvwxyz{|}~           ! " # $ % & ' ( ) * + ,Ropqrstuvwxyz{|}~                           ! " # $ % & ' ( ) * + , --(C) 2013-2014 Richard Eisenberg, Jan StolarekBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNone%&+,0DQRTConditional over singletons# . / 0 1 2 3 4 5 6 7 3 uvw3uvw . / 0 1 2 3 4 5 6 73223 (C) 2013 Richard EisenbergBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNone%&+,6:DOQRTThe promoted analogue of  V. If you supply no definition for '(:==)', then it defaults to a use of '(==)', from Data.Type.Equality.The singleton analogue of  . Unlike the definition for  e, it is required that instances define a body for '(%:==)'. You may also supply a body for '(%:/=)'.Boolean equality on singletons!Boolean disequality on singletons 8 9 : ; < = > ? @ A B C D E F G H I J  8 9 : ; < = > ? @ A B C D E F G H I J4444(C) 2013 Richard EisenbergBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNone,DRIProduce a representation and singleton for the collection of types given. A datatype Rep is created, with one constructor per type in the declared universe. When this type is promoted by the singletons library, the constructors become full types in *&, not just promoted data constructors. For example, )$(singletonStar [''Nat, ''Bool, ''Maybe])generates the following: ;data Rep = Nat | Bool | Maybe Rep deriving (Eq, Show, Read)$and its singleton. However, because Rep is promoted to *0, the singleton is perhaps slightly unexpected: {data instance Sing (a :: *) where SNat :: Sing Nat SBool :: Sing Bool SMaybe :: SingRep a => Sing a -> Sing (Maybe a)The unexpected part is that Nat, Bool, and Maybe above are the real Nat, Bool, and Maybe&, not just promoted data constructors."Please note that this function is very$ experimental. Use at your own risk.A list of Template Haskell Name s for types-3  uvw((C) 2014 Jan StolarekBSD-style (see LICENSE)%Jan Stolarek (jan.stolarek@p.lodz.pl) experimental non-portableNoneR )(C) 2014 Jan StolarekBSD-style (see LICENSE)%Jan Stolarek (jan.stolarek@p.lodz.pl) experimental non-portableNonevwvw(C) 2013 Richard EisenbergBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNone%&+,-6:DQRT K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f     g h i j k l m n o p q r s t u v w x y z { | } ~               ! " OP Q RS         23 rst      !"OPQRS6     OS3PQRtsr !" K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f     g h i j k l m n o p q r s t u v w x y z { | } ~                                    ! " OP Q RS                                44444 4 4 4*(C) 2014 Jan StolarekBSD-style (see LICENSE)%Jan Stolarek (jan.stolarek@p.lodz.pl) experimental non-portableNone rst      !"      tsr !"(C) 2013 Richard EisenbergBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNone%&,9;BDOQRT     3 3     (C) 2014 Jan StolarekBSD-style (see LICENSE)%Jan Stolarek (jan.stolarek@p.lodz.pl) experimental non-portableNone%&+,DQRTb               ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ;<<F               ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; 0059 009 500+(C) 2014 Richard EisenbergBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNone%&*+,9:;DOQRTThe promotion of  <3. This version is more poly-kinded for easier use.Kind-restricted synonym for 3 for SymbolsKind-restricted synonym for 3 for NatsGiven a singleton for Nat, call something requiring a KnownNat instance.Given a singleton for Symbol, call something requiring a  KnownSymbol instance.The singleton for  <# = > ? @ A B C D E F G H I J K L M N O P Q R S 3 >  =  ? @ A B C D E F G H I J K = L M N > O P Q R S8(C) 2014 Richard EisenbergBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNone%&+,6:DQRTA T U V W X Y Z [ \ ] ^ _ ` a b c d  e f g h i!" j# k$% l&     !"#$%(!%     "#$$ T U V  W X Y Z [ \ ] ^ _ ` a b  c  d   e  f g h i!" j# k$% l667667(C) 2014 Richard EisenbergBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNone m( 3 > =3   m((C) 2013 Richard EisenbergBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNoneR) The function ) generates a case expression where each right-hand side is identical. This may be useful if the type-checker requires knowledge of which constructor is used to satisfy equality or type-class constraints, but where each constructor is treated the same.* The function * generates a case expression where each right-hand side is identical. This may be useful if the type-checker requires knowledge of which constructor is used to satisfy equality or type-class constraints, but where each constructor is treated the same. For * , unlike )J, the scrutinee is a singleton. But make sure to pass in the name of the original datatype, preferring ''Maybe over ''SMaybe.)-The head of the type of the scrutinee. (Like ''Maybe or ''Bool.)*The scrutinee, in a Template Haskell quote%The body, in a Template Haskell quote*>The head of the type the scrutinee's type is based on. (Like ''Maybe or ''Bool.)*The scrutinee, in a Template Haskell quote%The body, in a Template Haskell quote n   !"#$%&'()*+,-./0123       456789:;<=>?@ABCDEFGHIJKMNOPQRTUVWXYZ[\]^_`abcdefghijklmnprstvwyz{|}~      OPS)*ab`UVWTX_cdefghYZij[\kl]^mn)*3     OSMN ROPQ*+vwtsrpyz{|}~ P)* n-(C) 2013-2014 Richard Eisenberg, Jan StolarekBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNone%&+,DORT5+, o- p. q/0 r456789 s:; t< u v w= x>? y@ z { | } ~  ABCDE !3  +,-./0456789:;<=>?@ABCDE3+04E5D6C7B8A,-./9:;<=>?@'+, o- p. q/0 r456789 s:; t< u v w= x>? y@ z { | } ~      ABCDE ,(C) 2014 Jan StolarekBSD-style (see LICENSE)jan.stolarek@p.lodz.pl experimental non-portableNone+,-./456789:;<=>?@+45678,-./9:;<=>?@ (C) 2013 Richard EisenbergBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNone%&+,DORT QRSTUV W XY Z[ \] ^ _ `a bcdefg H3      opxyz{|}~QRSTUVWXYZ[\]^_`abcdefgA3oxRfSeTdQgUcpyz{|}~YZ[\]^_`VWXabQRSTUV W XY Z[ \] ^ _ `a bcdefg -(C) 2014 Jan StolarekBSD-style (see LICENSE)%Jan Stolarek (jan.stolarek@p.lodz.pl) experimental non-portableNone4pyz{|}~QRSTUVWXYZ[\]^_`ab4RSTQUpyz{|}~YZ[\]^_`VWXab(C) 2014 Jan StolarekBSD-style (see LICENSE)%Jan Stolarek (jan.stolarek@p.lodz.pl) experimental non-portableNone%&+,DQRT pq r s t 5pqrst5pqrst pq r s t     -(C) 2013-2014 Richard Eisenberg, Jan StolarekBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNone%&+,DORTJ |} ~               03  |}~.3|}~7 |} ~                     .(C) 2014 Jan StolarekBSD-style (see LICENSE)%Jan Stolarek (jan.stolarek@p.lodz.pl) experimental non-portableNone#|}~#|}~((C) 2014 Jan Stolarek, Richard EisenbergBSD-style (see LICENSE)%Jan Stolarek (jan.stolarek@p.lodz.pl) experimental non-portableNone%&+,-6:DQRTd                            ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~    %)                             ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~                                                         /((C) 2014 Jan Stolarek, Richard EisenbergBSD-style (see LICENSE)%Jan Stolarek (jan.stolarek@p.lodz.pl) experimental non-portableNone %&+,DR-(C) 2013-2014 Richard Eisenberg, Jan StolarekBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNone%&+,:DOQRT                        ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; <\] =^ >_` ?cdefghijklmn @ Aopqrstuvwxyz{|}~ B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~                !" # $% & '( ) *+ , -. / 01 2 34 5 6 78 9 : ;< = > ? @A BC DE FG HI JK LM N OP Q RS T UV W X YZ [ \ ]^ _ ` ab cd e fg h ij k l mn o pq r s tu v wx y z{ | }~                                                          ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~        !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%& 3  \]^_`cdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~3defgikmlcnoqvpwxyz{\`|sr ~}hjut]^_     {|}~ !"#$uvwxyz%&'+,-()*./0123456789:;<=>?@ABCDEFGHIJKLPQRMNOSTUnopghibc^_`aZ[\]VWXYqrstdefjklm                        ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; <\] =^ >_` ?cdefghijklmn @ Aopqrstuvwxyz{|}~ B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | }  ~                    !" # $% & '( ) *+ , -. / 01 2 34 5 6 78 9 : ;< = > ? @A BC DE FG HI JK LM N OP Q RS T UV W X YZ [ \ ]^ _ ` ab cd e fg h ij k l mn o pq r s tu v wx y z{ | }~                                                                      ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~                                                             !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&55 (C) 2013 Richard EisenbergBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNoneR  !"#$%&'()*+,-./0123             456789:;<=>?@ABCDEFGHIJKopqrstuvwxyz{|}~      !"OPQRS     !"#$%+,-./0QRSTVWXYZ[\]^_`defg|}~\]^_`defgikvwxyz{|}~ !"#$123456789:;<=>?AB.3uqoxdefgikvwz{\`|xy~}|+0RfSeTdQg wv}~,-./pyz{|}~YZ[\]^_`VWX]^_ !"#$123456789:;<=>?AB(C) 2014 Jan StolarekBSD-style (see LICENSE)%Jan Stolarek (jan.stolarek@p.lodz.pl) experimental non-portableNone%&+,DOQRT\'()*+,-./01234 5 6 7 8 9:;<=>?@ABCDEFGH I!J"K#L$%M&N'O(P)Q*R+S,-T.U/V0W1X2Y3Z4[56\7]89^:_;<`=a>?b@cABdCeDf \]^_cdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrsuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDdefgikmlcnoqvpwxyz{\|sr ~}hjut]^_      !"#$123456789:;<=>?@ABCDEFGHIJKLPQRMNOnopghibc^_`aZ[\]qrsdefjklm{|}~uvwxyz%&'+,-()*./0      !"#$%&'()*+,-./012345STUVWXY6789:;<=>?@ABCD\'()*+,-./01234 5 6 7 8 9:;<=>?@ABCDEFGH I!J"K#L$%M&N'O(P)Q*R+S,-T.U/V0W1X2Y3Z4[56\7]89^:_;<`=a>?b@cABdCeDf0(C) 2014 Richard EisenbergBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNone     !"#$!     "#$1(C) 2014 Jan StolarekBSD-style (see LICENSE)%Jan Stolarek (jan.stolarek@p.lodz.pl) experimental non-portableNoneR prstvwyz{|}~      !"     !"#$+,-./QRSTVWXYZ[\]^_`pqrst|}~\]^_defgikrsvwxyz{|}~ !"#$123456789:;<=>?ABxyz{|}~2|+RSTQpdefgikvwz{ \|xysr~}wv}~,-./pyz{|}~YZ[\]^_`VWX]^_ !"#$123456789:;<=>?ABqrst{|}~xyz2(C) 2013 Richard EisenbergBSD-style (see LICENSE)%Richard Eisenberg (eir@cis.upenn.edu) experimental non-portableNoneRN'TUVWXYZ[\]^_prstvwyz{|}~     OPNUVWTX_YZ[\]^'     Ovwtsrpyz{|}~Pg3453467897:;7:<=>?@A3BC34D34E3FG3FH3IJ3IJ3KL M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c c d d e f g h i j k l m n o p q r s t u v w x y z { | } ~  """"""""""""&&&&&&&&&&&&&&&''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''                        ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 56789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~     +++ +!+"+#+$+%+&+'+(+)*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~                                     !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./01237:4356 7 8 9 : ;7<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~         !7<!!!!!!!!!!""""""""""""""""""###$$$$$$%%&&&&&&n&&& & & & & & & & & & & & & & & & ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' ' !' "' #' $' %' &' '' (' )' *' +' ,' -' .' /' 0' 1' 2' 3' 4' 5'' 6' 7' 8' 9' :''''''' ;' <' =' >' ?' @' A' B' C' D' E' F' G' H' I' J' K' L' M' N' O' P' Q' R' S T U V W X Y Z [ \ ]  ^  _  `  a  b  c  d  e  f  g  h  i  j  k  l  m  n  o  p q r s t u v w x y z { | } ~                                                                                                                                                                   ! " # $ % & ' ( ) * + , - . / 0 1 2 378 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _3 ` a+ b+ + c+ d+ e+ f+ g+ h+ i+ j+ k+ l+ m+ n+ o+ p+ q+ r+ s+ t+ u+ v+ w x y z { | } ~                                                                                                                                                                   ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~                                                                                                                                                                   ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~                                                                                                                                                                   ! " # $ % & ' ( ) * + , - . / 0 1 2 3 4 5 6 7 8 9 : ; < = > ? @ A B C D E F G H I J K L M N O P Q R S T U V W X Y Z [ \ ] ^ _ ` a b c d e f g h i j k l m n o p q r s t u v w x y z { | } ~                                                                                                                                       !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~%singletons-2.2-BSWLCyAHAtjHeDi6CWeNzsData.Singletons.TypeLitsData.Singletons.THData.Singletons.Prelude.BoolData.Singletons.Prelude.OrdData.Singletons.Prelude.EitherData.Singletons.Prelude.MaybeData.Singletons.Prelude.ListData.Singletons.DecideData.Singletons&Data.Singletons.SuppressUnusedWarningsData.Singletons.Prelude.TupleData.Singletons.PreludeData.Singletons.Prelude.EqData.Singletons.CustomStarData.Singletons.TypeRepStarData.Singletons.Prelude.BaseData.Singletons.Prelude.NumData.Promotion.Prelude.BaseData.Singletons.Prelude.EnumData.Promotion.Prelude.ListData.Singletons.SyntaxData.Singletons.UtilData.Singletons.Deriving.InferData.Singletons.NamesData.Singletons.Deriving.OrdData.Singletons.Promote.MonadData.Singletons.Single.Monad Data.Singletons.Deriving.BoundedData.Singletons.Deriving.EnumData.Singletons.Promote.EqData.Singletons.Promote.TypeData.Singletons.Promote.DefunData.Singletons.PartitionData.Singletons.PromoteData.Singletons.Single.TypeData.Singletons.Single.EqData.Singletons.Single.DataData.Singletons.Single!Data.Singletons.Prelude.InstancesData.Promotion.Prelude.EqData.Promotion.Prelude.BoolData.Promotion.Prelude.Ord!Data.Singletons.TypeLits.InternalData.Promotion.Prelude.EitherData.Promotion.Prelude.TupleData.Promotion.Prelude.MaybeData.Promotion.Prelude.EnumData.Promotion.Prelude.NumData.Promotion.PreludeData.Promotion.THbase GHC.TypeLitsKnownNat KnownSymbolghc-primGHC.PrimAny GHC.TypesNatSymbolbool_thenCmpeither_maybe_any_ Data.VoidVoid symbolValnatValData.Type.EqualityRefl:~: Data.ProxyProxyData.Type.BoolIfSuppressUnusedWarningssuppressUnusedWarnings SingFunction8 SingFunction7 SingFunction6 SingFunction5 SingFunction4 SingFunction3 SingFunction2 SingFunction1@@ApplyTyCon8TyCon7TyCon6TyCon5TyCon4TyCon3TyCon2TyCon1~>TyFun SingInstanceSomeSingDemoteSingKind DemoteRepfromSingtoSingSingIsingSingKindOf singInstancesingFun1singFun2singFun3singFun4singFun5singFun6singFun7singFun8 unSingFun1 unSingFun2 unSingFun3 unSingFun4 unSingFun5 unSingFun6 unSingFun7 unSingFun8 withSingI withSomeSingwithSingsingThat singByProxy singByProxy#$fSingKind(->)SDecide%~DecisionProved DisprovedRefuted$fTestEqualitykSing genPromotionspromote promoteOnlygenDefunSymbolspromoteEqInstancespromoteOrdInstancespromoteOrdInstancepromoteBoundedInstancespromoteBoundedInstancepromoteEnumInstancespromoteEnumInstancepromoteEqInstance genSingletons singletonssingletonsOnlysingEqInstancessingEqInstancesingEqInstancesOnlysingEqInstanceOnlysingDecideInstancessingDecideInstancesingOrdInstancessingOrdInstancesingBoundedInstancessingBoundedInstancesingEnumInstancessingEnumInstanceSTuple0 Tuple0Sym0 SOrderingGTSym0EQSym0LTSym0SBoolTrueSym0 FalseSym0STuple7 Tuple7Sym0 Tuple7Sym1 Tuple7Sym2 Tuple7Sym3 Tuple7Sym4 Tuple7Sym5 Tuple7Sym6 Tuple7Sym7STuple6 Tuple6Sym0 Tuple6Sym1 Tuple6Sym2 Tuple6Sym3 Tuple6Sym4 Tuple6Sym5 Tuple6Sym6STuple5 Tuple5Sym0 Tuple5Sym1 Tuple5Sym2 Tuple5Sym3 Tuple5Sym4 Tuple5Sym5STuple4 Tuple4Sym0 Tuple4Sym1 Tuple4Sym2 Tuple4Sym3 Tuple4Sym4STuple3 Tuple3Sym0 Tuple3Sym1 Tuple3Sym2 Tuple3Sym3STuple2 Tuple2Sym0 Tuple2Sym1 Tuple2Sym2SEither RightSym0 RightSym1LeftSym0LeftSym1SList:$:$$:$$$NilSym0SMaybeJustSym0JustSym1 NothingSym0Foldl FoldlSym0 FoldlSym1 FoldlSym2 FoldlSym3sFoldlBool_ Bool_Sym0 Bool_Sym1 Bool_Sym2 Bool_Sym3sBool_%$fSuppressUnusedWarnings(->)Bool_Sym0%$fSuppressUnusedWarnings(->)Bool_Sym1%$fSuppressUnusedWarnings(->)Bool_Sym2:&&:||Not Otherwise:&&$:&&$$:&&$$$:||$:||$$:||$$$NotSym0NotSym1 OtherwiseSym0 sOtherwisesNot%:||%:&&sIf $fSuppressUnusedWarnings(->):&&$!$fSuppressUnusedWarnings(->):&&$$ $fSuppressUnusedWarnings(->):||$!$fSuppressUnusedWarnings(->):||$$#$fSuppressUnusedWarnings(->)NotSym0PEq:==:/=SEq%:==%:/=:/=$:/=$$:/=$$$:==$:==$$:==$$$ $fSuppressUnusedWarnings(->):/=$!$fSuppressUnusedWarnings(->):/=$$ $fSuppressUnusedWarnings(->):==$!$fSuppressUnusedWarnings(->):==$$ $fPEq()Proxy$fSEq()$fPEqOrderingProxy $fSEqOrdering$fPEqBoolProxy $fSEqBool$fPEq(,,,,,,)Proxy $fSEq(,,,,,,)$fPEq(,,,,,)Proxy $fSEq(,,,,,)$fPEq(,,,,)Proxy $fSEq(,,,,)$fPEq(,,,)Proxy $fSEq(,,,)$fPEq(,,)Proxy $fSEq(,,) $fPEq(,)Proxy$fSEq(,)$fPEqNonEmptyProxy $fSEqNonEmpty$fPEqEitherProxy $fSEqEither $fPEq[]Proxy$fSEq[]$fPEqMaybeProxy $fSEqMaybe singletonStarSOrdsCompare%:<%:<=%:>%:>=sMaxsMinPOrdCompare:<:<=:>:>=MaxMinMinSym0MinSym1MinSym2MaxSym0MaxSym1MaxSym2:>=$:>=$$:>=$$$:>$:>$$:>$$$:<=$:<=$$:<=$$$:<$:<$$:<$$$ CompareSym0 CompareSym1 CompareSym2.$fSuppressUnusedWarnings(->)Min_1627683208Sym0.$fSuppressUnusedWarnings(->)Min_1627683208Sym1A$fSuppressUnusedWarnings(->)Let1627683195Scrutinee_1627682250Sym0A$fSuppressUnusedWarnings(->)Let1627683195Scrutinee_1627682250Sym1.$fSuppressUnusedWarnings(->)Max_1627683175Sym0.$fSuppressUnusedWarnings(->)Max_1627683175Sym1A$fSuppressUnusedWarnings(->)Let1627683162Scrutinee_1627682248Sym0A$fSuppressUnusedWarnings(->)Let1627683162Scrutinee_1627682248Sym13$fSuppressUnusedWarnings(->)TFHelper_1627683142Sym03$fSuppressUnusedWarnings(->)TFHelper_1627683142Sym1A$fSuppressUnusedWarnings(->)Let1627683129Scrutinee_1627682246Sym0A$fSuppressUnusedWarnings(->)Let1627683129Scrutinee_1627682246Sym13$fSuppressUnusedWarnings(->)TFHelper_1627683109Sym03$fSuppressUnusedWarnings(->)TFHelper_1627683109Sym1A$fSuppressUnusedWarnings(->)Let1627683096Scrutinee_1627682244Sym0A$fSuppressUnusedWarnings(->)Let1627683096Scrutinee_1627682244Sym13$fSuppressUnusedWarnings(->)TFHelper_1627683076Sym03$fSuppressUnusedWarnings(->)TFHelper_1627683076Sym1A$fSuppressUnusedWarnings(->)Let1627683063Scrutinee_1627682242Sym0A$fSuppressUnusedWarnings(->)Let1627683063Scrutinee_1627682242Sym13$fSuppressUnusedWarnings(->)TFHelper_1627683043Sym03$fSuppressUnusedWarnings(->)TFHelper_1627683043Sym1A$fSuppressUnusedWarnings(->)Let1627683030Scrutinee_1627682240Sym0A$fSuppressUnusedWarnings(->)Let1627683030Scrutinee_1627682240Sym12$fSuppressUnusedWarnings(->)Compare_1627683010Sym02$fSuppressUnusedWarnings(->)Compare_1627683010Sym1A$fSuppressUnusedWarnings(->)Let1627682996Scrutinee_1627682238Sym0A$fSuppressUnusedWarnings(->)Let1627682996Scrutinee_1627682238Sym1A$fSuppressUnusedWarnings(->)Let1627682986Scrutinee_1627682236Sym0A$fSuppressUnusedWarnings(->)Let1627682986Scrutinee_1627682236Sym1#$fSuppressUnusedWarnings(->)MinSym0#$fSuppressUnusedWarnings(->)MinSym1#$fSuppressUnusedWarnings(->)MaxSym0#$fSuppressUnusedWarnings(->)MaxSym1 $fSuppressUnusedWarnings(->):>=$!$fSuppressUnusedWarnings(->):>=$$$fSuppressUnusedWarnings(->):>$ $fSuppressUnusedWarnings(->):>$$ $fSuppressUnusedWarnings(->):<=$!$fSuppressUnusedWarnings(->):<=$$$fSuppressUnusedWarnings(->):<$ $fSuppressUnusedWarnings(->):<$$'$fSuppressUnusedWarnings(->)CompareSym0'$fSuppressUnusedWarnings(->)CompareSym1ThenCmp ThenCmpSym0 ThenCmpSym1 ThenCmpSym2sThenCmp'$fSuppressUnusedWarnings(->)ThenCmpSym0'$fSuppressUnusedWarnings(->)ThenCmpSym1$fSOrd() $fPOrd()Proxy2$fSuppressUnusedWarnings(->)Compare_1627691117Sym02$fSuppressUnusedWarnings(->)Compare_1627691117Sym1$fSOrdOrdering$fPOrdOrderingProxy2$fSuppressUnusedWarnings(->)Compare_1627691088Sym02$fSuppressUnusedWarnings(->)Compare_1627691088Sym1 $fSOrdBool$fPOrdBoolProxy2$fSuppressUnusedWarnings(->)Compare_1627691064Sym02$fSuppressUnusedWarnings(->)Compare_1627691064Sym1$fSOrd(,,,,,,)$fPOrd(,,,,,,)Proxy2$fSuppressUnusedWarnings(->)Compare_1627691029Sym02$fSuppressUnusedWarnings(->)Compare_1627691029Sym1 $fSOrd(,,,,,)$fPOrd(,,,,,)Proxy2$fSuppressUnusedWarnings(->)Compare_1627690954Sym02$fSuppressUnusedWarnings(->)Compare_1627690954Sym1 $fSOrd(,,,,)$fPOrd(,,,,)Proxy2$fSuppressUnusedWarnings(->)Compare_1627690887Sym02$fSuppressUnusedWarnings(->)Compare_1627690887Sym1 $fSOrd(,,,)$fPOrd(,,,)Proxy2$fSuppressUnusedWarnings(->)Compare_1627690828Sym02$fSuppressUnusedWarnings(->)Compare_1627690828Sym1 $fSOrd(,,)$fPOrd(,,)Proxy2$fSuppressUnusedWarnings(->)Compare_1627690777Sym02$fSuppressUnusedWarnings(->)Compare_1627690777Sym1 $fSOrd(,)$fPOrd(,)Proxy2$fSuppressUnusedWarnings(->)Compare_1627690734Sym02$fSuppressUnusedWarnings(->)Compare_1627690734Sym1$fSOrdNonEmpty$fPOrdNonEmptyProxy2$fSuppressUnusedWarnings(->)Compare_1627690697Sym02$fSuppressUnusedWarnings(->)Compare_1627690697Sym1 $fSOrdEither$fPOrdEitherProxy2$fSuppressUnusedWarnings(->)Compare_1627690653Sym02$fSuppressUnusedWarnings(->)Compare_1627690653Sym1$fSOrd[] $fPOrd[]Proxy2$fSuppressUnusedWarnings(->)Compare_1627690597Sym02$fSuppressUnusedWarnings(->)Compare_1627690597Sym1 $fSOrdMaybe$fPOrdMaybeProxy2$fSuppressUnusedWarnings(->)Compare_1627690545Sym02$fSuppressUnusedWarnings(->)Compare_1627690545Sym1$fTestCoercionTYPESing $fSDecideTYPE $fSEqTYPE$fPEqTYPEProxy$fSingKindTYPE $fSingITYPEa$!$$$$!$$$!$$!$$$$$$$$$$FoldrMap:++IdAsTypeOfConst:.FlipSeq FoldrSym0 FoldrSym1 FoldrSym2 FoldrSym3MapSym0MapSym1MapSym2:++$:++$$:++$$$IdSym0IdSym1 AsTypeOfSym0 AsTypeOfSym1 AsTypeOfSym2 ConstSym0 ConstSym1 ConstSym2:.$:.$$:.$$$:.$$$$FlipSym0FlipSym1FlipSym2FlipSym3SeqSym0SeqSym1SeqSym2sSeqsFlip%:.sConst sAsTypeOfsId%:++sMapsFoldr%$%$!%$fSuppressUnusedWarnings(->)FoldrSym0%$fSuppressUnusedWarnings(->)FoldrSym1%$fSuppressUnusedWarnings(->)FoldrSym2#$fSuppressUnusedWarnings(->)MapSym0#$fSuppressUnusedWarnings(->)MapSym1 $fSuppressUnusedWarnings(->):++$!$fSuppressUnusedWarnings(->):++$$"$fSuppressUnusedWarnings(->)IdSym0($fSuppressUnusedWarnings(->)AsTypeOfSym0($fSuppressUnusedWarnings(->)AsTypeOfSym1%$fSuppressUnusedWarnings(->)ConstSym0%$fSuppressUnusedWarnings(->)ConstSym1$fSuppressUnusedWarnings(->):.$ $fSuppressUnusedWarnings(->):.$$!$fSuppressUnusedWarnings(->):.$$$$$fSuppressUnusedWarnings(->)FlipSym0$$fSuppressUnusedWarnings(->)FlipSym1$$fSuppressUnusedWarnings(->)FlipSym2#$fSuppressUnusedWarnings(->)SeqSym0#$fSuppressUnusedWarnings(->)SeqSym1/$fSuppressUnusedWarnings(->)Let1627796843GoSym0/$fSuppressUnusedWarnings(->)Let1627796843GoSym1/$fSuppressUnusedWarnings(->)Let1627796843GoSym2/$fSuppressUnusedWarnings(->)Let1627796843GoSym31$fSuppressUnusedWarnings(->)Lambda_1627796740Sym01$fSuppressUnusedWarnings(->)Lambda_1627796740Sym11$fSuppressUnusedWarnings(->)Lambda_1627796740Sym21$fSuppressUnusedWarnings(->)Lambda_1627796740Sym3ErrorSSymbolSNat withKnownNatwithKnownSymbol:^ ErrorSym0 ErrorSym1sError:^$:^$$:^$$$SNum%:+%:-%:*sNegatesAbssSignum sFromIntegerPNum:+:-:*NegateAbsSignum FromIntegerFromIntegerSym0FromIntegerSym1 SignumSym0 SignumSym1AbsSym0AbsSym1 NegateSym0 NegateSym1:*$:*$$:*$$$:-$:-$$:-$$$:+$:+$$:+$$$ $fSNumNat$fPNumNatProxy1$fSuppressUnusedWarnings(->)Negate_1627817295Sym03$fSuppressUnusedWarnings(->)TFHelper_1627817280Sym03$fSuppressUnusedWarnings(->)TFHelper_1627817280Sym1+$fSuppressUnusedWarnings(->)FromIntegerSym0&$fSuppressUnusedWarnings(->)SignumSym0#$fSuppressUnusedWarnings(->)AbsSym0&$fSuppressUnusedWarnings(->)NegateSym0$fSuppressUnusedWarnings(->):*$ $fSuppressUnusedWarnings(->):*$$$fSuppressUnusedWarnings(->):-$ $fSuppressUnusedWarnings(->):-$$$fSuppressUnusedWarnings(->):+$ $fSuppressUnusedWarnings(->):+$$Subtract SubtractSym0 SubtractSym1 SubtractSym2 sSubtract($fSuppressUnusedWarnings(->)SubtractSym0($fSuppressUnusedWarnings(->)SubtractSym1$fNumNatcasessCasesEither_ Either_Sym0 Either_Sym1 Either_Sym2 Either_Sym3sEither_'$fSuppressUnusedWarnings(->)Either_Sym0'$fSuppressUnusedWarnings(->)Either_Sym1'$fSuppressUnusedWarnings(->)Either_Sym2LeftsRightsPartitionEithersIsLeftIsRight LeftsSym0 LeftsSym1 RightsSym0 RightsSym1 IsLeftSym0 IsLeftSym1 IsRightSym0 IsRightSym1sIsRightsIsLeftsPartitionEitherssRightssLefts%$fSuppressUnusedWarnings(->)LeftsSym0&$fSuppressUnusedWarnings(->)RightsSym00$fSuppressUnusedWarnings(->)PartitionEithersSym0&$fSuppressUnusedWarnings(->)IsLeftSym0'$fSuppressUnusedWarnings(->)IsRightSym01$fSuppressUnusedWarnings(->)Let1627830502LeftSym01$fSuppressUnusedWarnings(->)Let1627830502LeftSym11$fSuppressUnusedWarnings(->)Let1627830502LeftSym22$fSuppressUnusedWarnings(->)Let1627830502RightSym02$fSuppressUnusedWarnings(->)Let1627830502RightSym12$fSuppressUnusedWarnings(->)Let1627830502RightSym2UncurryFstSndCurrySwap UncurrySym0 UncurrySym1 UncurrySym2FstSym0FstSym1SndSym0SndSym1 CurrySym0 CurrySym1 CurrySym2 CurrySym3SwapSym0SwapSym1sSwapsCurrysSndsFstsUncurry'$fSuppressUnusedWarnings(->)UncurrySym0'$fSuppressUnusedWarnings(->)UncurrySym1#$fSuppressUnusedWarnings(->)FstSym0#$fSuppressUnusedWarnings(->)SndSym0%$fSuppressUnusedWarnings(->)CurrySym0%$fSuppressUnusedWarnings(->)CurrySym1%$fSuppressUnusedWarnings(->)CurrySym2$$fSuppressUnusedWarnings(->)SwapSym0Until UntilSym0 UntilSym1 UntilSym2 UntilSym3%$fSuppressUnusedWarnings(->)UntilSym0%$fSuppressUnusedWarnings(->)UntilSym1%$fSuppressUnusedWarnings(->)UntilSym2/$fSuppressUnusedWarnings(->)Let1627845493GoSym0/$fSuppressUnusedWarnings(->)Let1627845493GoSym1/$fSuppressUnusedWarnings(->)Let1627845493GoSym2/$fSuppressUnusedWarnings(->)Let1627845493GoSym3Maybe_ Maybe_Sym0 Maybe_Sym1 Maybe_Sym2 Maybe_Sym3sMaybe_&$fSuppressUnusedWarnings(->)Maybe_Sym0&$fSuppressUnusedWarnings(->)Maybe_Sym1&$fSuppressUnusedWarnings(->)Maybe_Sym2IsJust IsNothingFromJust FromMaybe MaybeToList ListToMaybe CatMaybesMapMaybe IsJustSym0 IsJustSym1 IsNothingSym0 IsNothingSym1 FromJustSym0 FromJustSym1 FromMaybeSym0 FromMaybeSym1 FromMaybeSym2MaybeToListSym0MaybeToListSym1ListToMaybeSym0ListToMaybeSym1 CatMaybesSym0 CatMaybesSym1 MapMaybeSym0 MapMaybeSym1 MapMaybeSym2 sMapMaybe sCatMaybes sListToMaybe sMaybeToList sFromMaybe sFromJust sIsNothingsIsJust&$fSuppressUnusedWarnings(->)IsJustSym0)$fSuppressUnusedWarnings(->)IsNothingSym0($fSuppressUnusedWarnings(->)FromJustSym0)$fSuppressUnusedWarnings(->)FromMaybeSym0)$fSuppressUnusedWarnings(->)FromMaybeSym1+$fSuppressUnusedWarnings(->)MaybeToListSym0+$fSuppressUnusedWarnings(->)ListToMaybeSym0)$fSuppressUnusedWarnings(->)CatMaybesSym0($fSuppressUnusedWarnings(->)MapMaybeSym0($fSuppressUnusedWarnings(->)MapMaybeSym1A$fSuppressUnusedWarnings(->)Let1627849089Scrutinee_1627849059Sym0A$fSuppressUnusedWarnings(->)Let1627849089Scrutinee_1627849059Sym1A$fSuppressUnusedWarnings(->)Let1627849089Scrutinee_1627849059Sym2/$fSuppressUnusedWarnings(->)Let1627849076RsSym0/$fSuppressUnusedWarnings(->)Let1627849076RsSym1/$fSuppressUnusedWarnings(->)Let1627849076RsSym2SBounded sMinBound sMaxBoundPBoundedMinBoundMaxBound MaxBoundSym0 MinBoundSym0 $fSBounded()$fPBounded()Proxy$fSBoundedOrdering$fPBoundedOrderingProxy$fSBoundedBool$fPBoundedBoolProxy$fSBounded(,,,,,,)$fPBounded(,,,,,,)Proxy$fSBounded(,,,,,)$fPBounded(,,,,,)Proxy$fSBounded(,,,,)$fPBounded(,,,,)Proxy$fSBounded(,,,)$fPBounded(,,,)Proxy$fSBounded(,,)$fPBounded(,,)Proxy $fSBounded(,)$fPBounded(,)ProxySEnumsSuccsPredsToEnum sFromEnum sEnumFromTosEnumFromThenToPEnumSuccPredToEnumFromEnum EnumFromToEnumFromThenToEnumFromThenToSym0EnumFromThenToSym1EnumFromThenToSym2EnumFromThenToSym3EnumFromToSym0EnumFromToSym1EnumFromToSym2 FromEnumSym0 FromEnumSym1 ToEnumSym0 ToEnumSym1PredSym0PredSym1SuccSym0SuccSym1 $fSEnumNat$fPEnumNatProxy9$fSuppressUnusedWarnings(->)EnumFromThenTo_1627864964Sym09$fSuppressUnusedWarnings(->)EnumFromThenTo_1627864964Sym19$fSuppressUnusedWarnings(->)EnumFromThenTo_1627864964Sym25$fSuppressUnusedWarnings(->)EnumFromTo_1627864928Sym05$fSuppressUnusedWarnings(->)EnumFromTo_1627864928Sym13$fSuppressUnusedWarnings(->)FromEnum_1627864906Sym01$fSuppressUnusedWarnings(->)ToEnum_1627864895Sym0/$fSuppressUnusedWarnings(->)Pred_1627864884Sym0/$fSuppressUnusedWarnings(->)Succ_1627864873Sym09$fSuppressUnusedWarnings(->)EnumFromThenTo_1627864853Sym09$fSuppressUnusedWarnings(->)EnumFromThenTo_1627864853Sym19$fSuppressUnusedWarnings(->)EnumFromThenTo_1627864853Sym25$fSuppressUnusedWarnings(->)EnumFromTo_1627864823Sym05$fSuppressUnusedWarnings(->)EnumFromTo_1627864823Sym1/$fSuppressUnusedWarnings(->)Pred_1627864805Sym0/$fSuppressUnusedWarnings(->)Succ_1627864792Sym0.$fSuppressUnusedWarnings(->)EnumFromThenToSym0.$fSuppressUnusedWarnings(->)EnumFromThenToSym1.$fSuppressUnusedWarnings(->)EnumFromThenToSym2*$fSuppressUnusedWarnings(->)EnumFromToSym0*$fSuppressUnusedWarnings(->)EnumFromToSym1($fSuppressUnusedWarnings(->)FromEnumSym0&$fSuppressUnusedWarnings(->)ToEnumSym0$$fSuppressUnusedWarnings(->)PredSym0$$fSuppressUnusedWarnings(->)SuccSym0&$fSuppressUnusedWarnings(->)EftNatSym0&$fSuppressUnusedWarnings(->)EftNatSym1'$fSuppressUnusedWarnings(->)EfdtNatSym0'$fSuppressUnusedWarnings(->)EfdtNatSym1'$fSuppressUnusedWarnings(->)EfdtNatSym2)$fSuppressUnusedWarnings(->)EfdtNatUpSym0)$fSuppressUnusedWarnings(->)EfdtNatUpSym1)$fSuppressUnusedWarnings(->)EfdtNatUpSym2)$fSuppressUnusedWarnings(->)EfdtNatDnSym0)$fSuppressUnusedWarnings(->)EfdtNatDnSym1)$fSuppressUnusedWarnings(->)EfdtNatDnSym2/$fSuppressUnusedWarnings(->)Let1627864682GoSym0/$fSuppressUnusedWarnings(->)Let1627864682GoSym1/$fSuppressUnusedWarnings(->)Let1627864682GoSym2/$fSuppressUnusedWarnings(->)Let1627864682GoSym3/$fSuppressUnusedWarnings(->)Let1627864682GoSym4A$fSuppressUnusedWarnings(->)Let1627864710Scrutinee_1627864248Sym0A$fSuppressUnusedWarnings(->)Let1627864710Scrutinee_1627864248Sym1A$fSuppressUnusedWarnings(->)Let1627864710Scrutinee_1627864248Sym2A$fSuppressUnusedWarnings(->)Let1627864710Scrutinee_1627864248Sym3A$fSuppressUnusedWarnings(->)Let1627864710Scrutinee_1627864248Sym42$fSuppressUnusedWarnings(->)Let1627864520Go_upSym02$fSuppressUnusedWarnings(->)Let1627864520Go_upSym12$fSuppressUnusedWarnings(->)Let1627864520Go_upSym22$fSuppressUnusedWarnings(->)Let1627864520Go_upSym32$fSuppressUnusedWarnings(->)Let1627864520Go_upSym42$fSuppressUnusedWarnings(->)Let1627864520Go_upSym52$fSuppressUnusedWarnings(->)Let1627864520Go_upSym6/$fSuppressUnusedWarnings(->)Let1627864520Y'Sym0/$fSuppressUnusedWarnings(->)Let1627864520Y'Sym1/$fSuppressUnusedWarnings(->)Let1627864520Y'Sym2/$fSuppressUnusedWarnings(->)Let1627864520Y'Sym3/$fSuppressUnusedWarnings(->)Let1627864520Y'Sym4/$fSuppressUnusedWarnings(->)Let1627864520Y'Sym52$fSuppressUnusedWarnings(->)Let1627864520DeltaSym02$fSuppressUnusedWarnings(->)Let1627864520DeltaSym12$fSuppressUnusedWarnings(->)Let1627864520DeltaSym22$fSuppressUnusedWarnings(->)Let1627864520DeltaSym32$fSuppressUnusedWarnings(->)Let1627864520DeltaSym42$fSuppressUnusedWarnings(->)Let1627864520DeltaSym5A$fSuppressUnusedWarnings(->)Let1627864483Scrutinee_1627864262Sym0A$fSuppressUnusedWarnings(->)Let1627864483Scrutinee_1627864262Sym1A$fSuppressUnusedWarnings(->)Let1627864483Scrutinee_1627864262Sym2A$fSuppressUnusedWarnings(->)Let1627864483Scrutinee_1627864262Sym3A$fSuppressUnusedWarnings(->)Let1627864483Scrutinee_1627864262Sym4A$fSuppressUnusedWarnings(->)Let1627864483Scrutinee_1627864262Sym52$fSuppressUnusedWarnings(->)Let1627864338Go_dnSym02$fSuppressUnusedWarnings(->)Let1627864338Go_dnSym12$fSuppressUnusedWarnings(->)Let1627864338Go_dnSym22$fSuppressUnusedWarnings(->)Let1627864338Go_dnSym32$fSuppressUnusedWarnings(->)Let1627864338Go_dnSym42$fSuppressUnusedWarnings(->)Let1627864338Go_dnSym52$fSuppressUnusedWarnings(->)Let1627864338Go_dnSym6/$fSuppressUnusedWarnings(->)Let1627864338Y'Sym0/$fSuppressUnusedWarnings(->)Let1627864338Y'Sym1/$fSuppressUnusedWarnings(->)Let1627864338Y'Sym2/$fSuppressUnusedWarnings(->)Let1627864338Y'Sym3/$fSuppressUnusedWarnings(->)Let1627864338Y'Sym4/$fSuppressUnusedWarnings(->)Let1627864338Y'Sym52$fSuppressUnusedWarnings(->)Let1627864338DeltaSym02$fSuppressUnusedWarnings(->)Let1627864338DeltaSym12$fSuppressUnusedWarnings(->)Let1627864338DeltaSym22$fSuppressUnusedWarnings(->)Let1627864338DeltaSym32$fSuppressUnusedWarnings(->)Let1627864338DeltaSym42$fSuppressUnusedWarnings(->)Let1627864338DeltaSym5A$fSuppressUnusedWarnings(->)Let1627864301Scrutinee_1627864272Sym0A$fSuppressUnusedWarnings(->)Let1627864301Scrutinee_1627864272Sym1A$fSuppressUnusedWarnings(->)Let1627864301Scrutinee_1627864272Sym2A$fSuppressUnusedWarnings(->)Let1627864301Scrutinee_1627864272Sym3A$fSuppressUnusedWarnings(->)Let1627864301Scrutinee_1627864272Sym4A$fSuppressUnusedWarnings(->)Let1627864301Scrutinee_1627864272Sym5 $fSEnum()$fPEnum()Proxy3$fSuppressUnusedWarnings(->)FromEnum_1627884903Sym01$fSuppressUnusedWarnings(->)ToEnum_1627884893Sym0$fSEnumOrdering$fPEnumOrderingProxy3$fSuppressUnusedWarnings(->)FromEnum_1627884867Sym01$fSuppressUnusedWarnings(->)ToEnum_1627884857Sym0 $fSEnumBool$fPEnumBoolProxy3$fSuppressUnusedWarnings(->)FromEnum_1627884828Sym01$fSuppressUnusedWarnings(->)ToEnum_1627884818Sym0Any_Any_Sym0Any_Sym1Any_Sym2sAny_$$fSuppressUnusedWarnings(->)Any_Sym0$$fSuppressUnusedWarnings(->)Any_Sym1 TransposeHeadLastTailInit DropWhileEndNull IsSuffixOfReverse Intercalate Intersperse Subsequences PermutationsFoldl1'Foldl'MinimumMaximum MinimumBy MaximumByFoldl1Foldr1Concat ConcatMapAndOrAllScanl1ScanlScanrScanr1 MapAccumL MapAccumRUnfoldrInits IsInfixOfTails IsPrefixOfNubElemNotElem ElemIndex FindIndex ElemIndices FindIndicesZipZip3ZipWithZipWith3UnzipUnzip3Unzip4Unzip5Unzip6Unzip7:\\DeleteUnionUnionByDeleteFirstsByDeleteBySortSortByInsertInsertBy Intersect IntersectByFindFilter TakeWhile DropWhileGroupGroupBySpanBreakSplitAtTakeDropLookup PartitionSumProductLength Replicate:!!NubBy GenericLength TransposeSym0 TransposeSym1HeadSym0HeadSym1LastSym0LastSym1TailSym0TailSym1InitSym0InitSym1DropWhileEndSym0DropWhileEndSym1DropWhileEndSym2NullSym0NullSym1IsSuffixOfSym0IsSuffixOfSym1IsSuffixOfSym2 ReverseSym0 ReverseSym1IntercalateSym0IntercalateSym1IntercalateSym2IntersperseSym0IntersperseSym1IntersperseSym2SubsequencesSym0SubsequencesSym1PermutationsSym0PermutationsSym1 Foldl1'Sym0 Foldl1'Sym1 Foldl1'Sym2 Foldl'Sym0 Foldl'Sym1 Foldl'Sym2 Foldl'Sym3 MinimumSym0 MinimumSym1 MaximumSym0 MaximumSym1 MinimumBySym0 MinimumBySym1 MinimumBySym2 MaximumBySym0 MaximumBySym1 MaximumBySym2 Foldl1Sym0 Foldl1Sym1 Foldl1Sym2 Foldr1Sym0 Foldr1Sym1 Foldr1Sym2 ConcatSym0 ConcatSym1 ConcatMapSym0 ConcatMapSym1 ConcatMapSym2AndSym0AndSym1OrSym0OrSym1AllSym0AllSym1AllSym2 Scanl1Sym0 Scanl1Sym1 Scanl1Sym2 ScanlSym0 ScanlSym1 ScanlSym2 ScanlSym3 ScanrSym0 ScanrSym1 ScanrSym2 ScanrSym3 Scanr1Sym0 Scanr1Sym1 Scanr1Sym2 MapAccumLSym0 MapAccumLSym1 MapAccumLSym2 MapAccumLSym3 MapAccumRSym0 MapAccumRSym1 MapAccumRSym2 MapAccumRSym3 UnfoldrSym0 UnfoldrSym1 UnfoldrSym2 InitsSym0 InitsSym1 IsInfixOfSym0 IsInfixOfSym1 IsInfixOfSym2 TailsSym0 TailsSym1IsPrefixOfSym0IsPrefixOfSym1IsPrefixOfSym2NubSym0NubSym1ElemSym0ElemSym1ElemSym2 NotElemSym0 NotElemSym1 NotElemSym2 ElemIndexSym0 ElemIndexSym1 ElemIndexSym2 FindIndexSym0 FindIndexSym1 FindIndexSym2ElemIndicesSym0ElemIndicesSym1ElemIndicesSym2FindIndicesSym0FindIndicesSym1FindIndicesSym2ZipSym0ZipSym1ZipSym2Zip3Sym0Zip3Sym1Zip3Sym2Zip3Sym3 ZipWithSym0 ZipWithSym1 ZipWithSym2 ZipWithSym3 ZipWith3Sym0 ZipWith3Sym1 ZipWith3Sym2 ZipWith3Sym3 ZipWith3Sym4 UnzipSym0 UnzipSym1 Unzip3Sym0 Unzip3Sym1 Unzip4Sym0 Unzip4Sym1 Unzip5Sym0 Unzip5Sym1 Unzip6Sym0 Unzip6Sym1 Unzip7Sym0 Unzip7Sym1:\\$:\\$$:\\$$$ DeleteSym0 DeleteSym1 DeleteSym2 UnionSym0 UnionSym1 UnionSym2 UnionBySym0 UnionBySym1 UnionBySym2 UnionBySym3DeleteFirstsBySym0DeleteFirstsBySym1DeleteFirstsBySym2DeleteFirstsBySym3 DeleteBySym0 DeleteBySym1 DeleteBySym2 DeleteBySym3SortSym0SortSym1 SortBySym0 SortBySym1 SortBySym2 InsertSym0 InsertSym1 InsertSym2 InsertBySym0 InsertBySym1 InsertBySym2 InsertBySym3 IntersectSym0 IntersectSym1 IntersectSym2IntersectBySym0IntersectBySym1IntersectBySym2IntersectBySym3FindSym0FindSym1FindSym2 FilterSym0 FilterSym1 FilterSym2 TakeWhileSym0 TakeWhileSym1 TakeWhileSym2 DropWhileSym0 DropWhileSym1 DropWhileSym2 GroupSym0 GroupSym1 GroupBySym0 GroupBySym1 GroupBySym2SpanSym0SpanSym1SpanSym2 BreakSym0 BreakSym1 BreakSym2 SplitAtSym0 SplitAtSym1 SplitAtSym2TakeSym0TakeSym1TakeSym2DropSym0DropSym1DropSym2 LookupSym0 LookupSym1 LookupSym2 PartitionSym0 PartitionSym1 PartitionSym2SumSym0SumSym1 ProductSym0 ProductSym1 LengthSym0 LengthSym1 ReplicateSym0 ReplicateSym1 ReplicateSym2:!!$:!!$$:!!$$$ NubBySym0 NubBySym1 NubBySym2GenericLengthSym0GenericLengthSym1sGenericLengthsNubBy%:!! sReplicatesLengthsProductsSum sPartitionsLookupsDropsTakesSplitAtsBreaksSpansGroupBysGroup sDropWhile sTakeWhilesFiltersFind sIntersectBy sIntersect sInsertBysInsertsSortBysSort sDeleteBysDeleteFirstsBysUnionBysUnionsDelete%:\\sUnzip7sUnzip6sUnzip5sUnzip4sUnzip3sUnzip sZipWith3sZipWithsZip3sZip sFindIndices sElemIndices sFindIndex sElemIndexsNotElemsElemsNub sIsPrefixOfsTails sIsInfixOfsInitssUnfoldr sMapAccumR sMapAccumLsScanr1sScanrsScanlsScanl1sAllsOrsAnd sConcatMapsConcatsFoldr1sFoldl1 sMaximumBy sMinimumBysMaximumsMinimumsFoldl'sFoldl1' sPermutations sSubsequences sIntersperse sIntercalatesReverse sIsSuffixOfsNull sDropWhileEndsInitsTailsLastsHead sTranspose)$fSuppressUnusedWarnings(->)TransposeSym0$$fSuppressUnusedWarnings(->)HeadSym0$$fSuppressUnusedWarnings(->)LastSym0$$fSuppressUnusedWarnings(->)TailSym0$$fSuppressUnusedWarnings(->)InitSym0,$fSuppressUnusedWarnings(->)DropWhileEndSym0,$fSuppressUnusedWarnings(->)DropWhileEndSym1$$fSuppressUnusedWarnings(->)NullSym0*$fSuppressUnusedWarnings(->)IsSuffixOfSym0*$fSuppressUnusedWarnings(->)IsSuffixOfSym1'$fSuppressUnusedWarnings(->)ReverseSym0+$fSuppressUnusedWarnings(->)IntercalateSym0+$fSuppressUnusedWarnings(->)IntercalateSym1+$fSuppressUnusedWarnings(->)IntersperseSym0+$fSuppressUnusedWarnings(->)IntersperseSym1,$fSuppressUnusedWarnings(->)SubsequencesSym04$fSuppressUnusedWarnings(->)NonEmptySubsequencesSym0,$fSuppressUnusedWarnings(->)PrependToAllSym0,$fSuppressUnusedWarnings(->)PrependToAllSym1,$fSuppressUnusedWarnings(->)PermutationsSym0'$fSuppressUnusedWarnings(->)Foldl1'Sym0'$fSuppressUnusedWarnings(->)Foldl1'Sym1&$fSuppressUnusedWarnings(->)Foldl'Sym0&$fSuppressUnusedWarnings(->)Foldl'Sym1&$fSuppressUnusedWarnings(->)Foldl'Sym2'$fSuppressUnusedWarnings(->)MinimumSym0'$fSuppressUnusedWarnings(->)MaximumSym0)$fSuppressUnusedWarnings(->)MinimumBySym0)$fSuppressUnusedWarnings(->)MinimumBySym1)$fSuppressUnusedWarnings(->)MaximumBySym0)$fSuppressUnusedWarnings(->)MaximumBySym1&$fSuppressUnusedWarnings(->)Foldl1Sym0&$fSuppressUnusedWarnings(->)Foldl1Sym1&$fSuppressUnusedWarnings(->)Foldr1Sym0&$fSuppressUnusedWarnings(->)Foldr1Sym1&$fSuppressUnusedWarnings(->)ConcatSym0)$fSuppressUnusedWarnings(->)ConcatMapSym0)$fSuppressUnusedWarnings(->)ConcatMapSym1#$fSuppressUnusedWarnings(->)AndSym0"$fSuppressUnusedWarnings(->)OrSym0#$fSuppressUnusedWarnings(->)AllSym0#$fSuppressUnusedWarnings(->)AllSym1&$fSuppressUnusedWarnings(->)Scanl1Sym0&$fSuppressUnusedWarnings(->)Scanl1Sym1%$fSuppressUnusedWarnings(->)ScanlSym0%$fSuppressUnusedWarnings(->)ScanlSym1%$fSuppressUnusedWarnings(->)ScanlSym2%$fSuppressUnusedWarnings(->)ScanrSym0%$fSuppressUnusedWarnings(->)ScanrSym1%$fSuppressUnusedWarnings(->)ScanrSym2&$fSuppressUnusedWarnings(->)Scanr1Sym0&$fSuppressUnusedWarnings(->)Scanr1Sym1)$fSuppressUnusedWarnings(->)MapAccumLSym0)$fSuppressUnusedWarnings(->)MapAccumLSym1)$fSuppressUnusedWarnings(->)MapAccumLSym2)$fSuppressUnusedWarnings(->)MapAccumRSym0)$fSuppressUnusedWarnings(->)MapAccumRSym1)$fSuppressUnusedWarnings(->)MapAccumRSym2'$fSuppressUnusedWarnings(->)UnfoldrSym0'$fSuppressUnusedWarnings(->)UnfoldrSym1%$fSuppressUnusedWarnings(->)InitsSym0)$fSuppressUnusedWarnings(->)IsInfixOfSym0)$fSuppressUnusedWarnings(->)IsInfixOfSym1%$fSuppressUnusedWarnings(->)TailsSym0*$fSuppressUnusedWarnings(->)IsPrefixOfSym0*$fSuppressUnusedWarnings(->)IsPrefixOfSym1#$fSuppressUnusedWarnings(->)NubSym0$$fSuppressUnusedWarnings(->)ElemSym0$$fSuppressUnusedWarnings(->)ElemSym1'$fSuppressUnusedWarnings(->)NotElemSym0'$fSuppressUnusedWarnings(->)NotElemSym1)$fSuppressUnusedWarnings(->)ElemIndexSym0)$fSuppressUnusedWarnings(->)ElemIndexSym1)$fSuppressUnusedWarnings(->)FindIndexSym0)$fSuppressUnusedWarnings(->)FindIndexSym1+$fSuppressUnusedWarnings(->)ElemIndicesSym0+$fSuppressUnusedWarnings(->)ElemIndicesSym1+$fSuppressUnusedWarnings(->)FindIndicesSym0+$fSuppressUnusedWarnings(->)FindIndicesSym1#$fSuppressUnusedWarnings(->)ZipSym0#$fSuppressUnusedWarnings(->)ZipSym1$$fSuppressUnusedWarnings(->)Zip3Sym0$$fSuppressUnusedWarnings(->)Zip3Sym1$$fSuppressUnusedWarnings(->)Zip3Sym2'$fSuppressUnusedWarnings(->)ZipWithSym0'$fSuppressUnusedWarnings(->)ZipWithSym1'$fSuppressUnusedWarnings(->)ZipWithSym2($fSuppressUnusedWarnings(->)ZipWith3Sym0($fSuppressUnusedWarnings(->)ZipWith3Sym1($fSuppressUnusedWarnings(->)ZipWith3Sym2($fSuppressUnusedWarnings(->)ZipWith3Sym3%$fSuppressUnusedWarnings(->)UnzipSym0&$fSuppressUnusedWarnings(->)Unzip3Sym0&$fSuppressUnusedWarnings(->)Unzip4Sym0&$fSuppressUnusedWarnings(->)Unzip5Sym0&$fSuppressUnusedWarnings(->)Unzip6Sym0&$fSuppressUnusedWarnings(->)Unzip7Sym0 $fSuppressUnusedWarnings(->):\\$!$fSuppressUnusedWarnings(->):\\$$&$fSuppressUnusedWarnings(->)DeleteSym0&$fSuppressUnusedWarnings(->)DeleteSym1%$fSuppressUnusedWarnings(->)UnionSym0%$fSuppressUnusedWarnings(->)UnionSym1'$fSuppressUnusedWarnings(->)UnionBySym0'$fSuppressUnusedWarnings(->)UnionBySym1'$fSuppressUnusedWarnings(->)UnionBySym2.$fSuppressUnusedWarnings(->)DeleteFirstsBySym0.$fSuppressUnusedWarnings(->)DeleteFirstsBySym1.$fSuppressUnusedWarnings(->)DeleteFirstsBySym2($fSuppressUnusedWarnings(->)DeleteBySym0($fSuppressUnusedWarnings(->)DeleteBySym1($fSuppressUnusedWarnings(->)DeleteBySym2$$fSuppressUnusedWarnings(->)SortSym0&$fSuppressUnusedWarnings(->)SortBySym0&$fSuppressUnusedWarnings(->)SortBySym1&$fSuppressUnusedWarnings(->)InsertSym0&$fSuppressUnusedWarnings(->)InsertSym1($fSuppressUnusedWarnings(->)InsertBySym0($fSuppressUnusedWarnings(->)InsertBySym1($fSuppressUnusedWarnings(->)InsertBySym2)$fSuppressUnusedWarnings(->)IntersectSym0)$fSuppressUnusedWarnings(->)IntersectSym1+$fSuppressUnusedWarnings(->)IntersectBySym0+$fSuppressUnusedWarnings(->)IntersectBySym1+$fSuppressUnusedWarnings(->)IntersectBySym2$$fSuppressUnusedWarnings(->)FindSym0$$fSuppressUnusedWarnings(->)FindSym1&$fSuppressUnusedWarnings(->)FilterSym0&$fSuppressUnusedWarnings(->)FilterSym1)$fSuppressUnusedWarnings(->)TakeWhileSym0)$fSuppressUnusedWarnings(->)TakeWhileSym1)$fSuppressUnusedWarnings(->)DropWhileSym0)$fSuppressUnusedWarnings(->)DropWhileSym1%$fSuppressUnusedWarnings(->)GroupSym0'$fSuppressUnusedWarnings(->)GroupBySym0'$fSuppressUnusedWarnings(->)GroupBySym1$$fSuppressUnusedWarnings(->)SpanSym0$$fSuppressUnusedWarnings(->)SpanSym1%$fSuppressUnusedWarnings(->)BreakSym0%$fSuppressUnusedWarnings(->)BreakSym1'$fSuppressUnusedWarnings(->)SplitAtSym0'$fSuppressUnusedWarnings(->)SplitAtSym1$$fSuppressUnusedWarnings(->)TakeSym0$$fSuppressUnusedWarnings(->)TakeSym1$$fSuppressUnusedWarnings(->)DropSym0$$fSuppressUnusedWarnings(->)DropSym1&$fSuppressUnusedWarnings(->)LookupSym0&$fSuppressUnusedWarnings(->)LookupSym1)$fSuppressUnusedWarnings(->)PartitionSym0)$fSuppressUnusedWarnings(->)PartitionSym1&$fSuppressUnusedWarnings(->)SelectSym0&$fSuppressUnusedWarnings(->)SelectSym1&$fSuppressUnusedWarnings(->)SelectSym2#$fSuppressUnusedWarnings(->)SumSym0'$fSuppressUnusedWarnings(->)ProductSym0&$fSuppressUnusedWarnings(->)LengthSym0)$fSuppressUnusedWarnings(->)ReplicateSym0)$fSuppressUnusedWarnings(->)ReplicateSym1 $fSuppressUnusedWarnings(->):!!$!$fSuppressUnusedWarnings(->):!!$$%$fSuppressUnusedWarnings(->)NubBySym0%$fSuppressUnusedWarnings(->)NubBySym1'$fSuppressUnusedWarnings(->)Elem_bySym0'$fSuppressUnusedWarnings(->)Elem_bySym1'$fSuppressUnusedWarnings(->)Elem_bySym2-$fSuppressUnusedWarnings(->)GenericLengthSym02$fSuppressUnusedWarnings(->)Let1627957276Init'Sym02$fSuppressUnusedWarnings(->)Let1627957276Init'Sym12$fSuppressUnusedWarnings(->)Let1627957276Init'Sym22$fSuppressUnusedWarnings(->)Let1627957276Init'Sym31$fSuppressUnusedWarnings(->)Lambda_1627957224Sym01$fSuppressUnusedWarnings(->)Lambda_1627957224Sym11$fSuppressUnusedWarnings(->)Lambda_1627957224Sym21$fSuppressUnusedWarnings(->)Lambda_1627957224Sym3A$fSuppressUnusedWarnings(->)Let1627957228Scrutinee_1627953926Sym0A$fSuppressUnusedWarnings(->)Let1627957228Scrutinee_1627953926Sym1A$fSuppressUnusedWarnings(->)Let1627957228Scrutinee_1627953926Sym2A$fSuppressUnusedWarnings(->)Let1627957228Scrutinee_1627953926Sym30$fSuppressUnusedWarnings(->)Let1627957171RevSym00$fSuppressUnusedWarnings(->)Let1627957171RevSym10$fSuppressUnusedWarnings(->)Let1627957171RevSym2.$fSuppressUnusedWarnings(->)Let1627957112FSym0.$fSuppressUnusedWarnings(->)Let1627957112FSym1.$fSuppressUnusedWarnings(->)Let1627957112FSym2.$fSuppressUnusedWarnings(->)Let1627957112FSym32$fSuppressUnusedWarnings(->)Let1627956724PermsSym02$fSuppressUnusedWarnings(->)Let1627956724PermsSym12$fSuppressUnusedWarnings(->)Let1627956724PermsSym27$fSuppressUnusedWarnings(->)Let1627956745InterleaveSym07$fSuppressUnusedWarnings(->)Let1627956745InterleaveSym17$fSuppressUnusedWarnings(->)Let1627956745InterleaveSym27$fSuppressUnusedWarnings(->)Let1627956745InterleaveSym37$fSuppressUnusedWarnings(->)Let1627956745InterleaveSym47$fSuppressUnusedWarnings(->)Let1627956745InterleaveSym58$fSuppressUnusedWarnings(->)Let1627956745Interleave'Sym08$fSuppressUnusedWarnings(->)Let1627956745Interleave'Sym18$fSuppressUnusedWarnings(->)Let1627956745Interleave'Sym28$fSuppressUnusedWarnings(->)Let1627956745Interleave'Sym38$fSuppressUnusedWarnings(->)Let1627956745Interleave'Sym48$fSuppressUnusedWarnings(->)Let1627956745Interleave'Sym58$fSuppressUnusedWarnings(->)Let1627956745Interleave'Sym69$fSuppressUnusedWarnings(->)Let1627957013X_1627957014Sym09$fSuppressUnusedWarnings(->)Let1627957013X_1627957014Sym19$fSuppressUnusedWarnings(->)Let1627957013X_1627957014Sym29$fSuppressUnusedWarnings(->)Let1627957013X_1627957014Sym39$fSuppressUnusedWarnings(->)Let1627957013X_1627957014Sym49$fSuppressUnusedWarnings(->)Let1627957013X_1627957014Sym5/$fSuppressUnusedWarnings(->)Let1627957013ZsSym0/$fSuppressUnusedWarnings(->)Let1627957013ZsSym1/$fSuppressUnusedWarnings(->)Let1627957013ZsSym2/$fSuppressUnusedWarnings(->)Let1627957013ZsSym3/$fSuppressUnusedWarnings(->)Let1627957013ZsSym4/$fSuppressUnusedWarnings(->)Let1627957013ZsSym59$fSuppressUnusedWarnings(->)Let1627956799X_1627956800Sym09$fSuppressUnusedWarnings(->)Let1627956799X_1627956800Sym19$fSuppressUnusedWarnings(->)Let1627956799X_1627956800Sym29$fSuppressUnusedWarnings(->)Let1627956799X_1627956800Sym39$fSuppressUnusedWarnings(->)Let1627956799X_1627956800Sym49$fSuppressUnusedWarnings(->)Let1627956799X_1627956800Sym59$fSuppressUnusedWarnings(->)Let1627956799X_1627956800Sym69$fSuppressUnusedWarnings(->)Let1627956799X_1627956800Sym7/$fSuppressUnusedWarnings(->)Let1627956799ZsSym0/$fSuppressUnusedWarnings(->)Let1627956799ZsSym1/$fSuppressUnusedWarnings(->)Let1627956799ZsSym2/$fSuppressUnusedWarnings(->)Let1627956799ZsSym3/$fSuppressUnusedWarnings(->)Let1627956799ZsSym4/$fSuppressUnusedWarnings(->)Let1627956799ZsSym5/$fSuppressUnusedWarnings(->)Let1627956799ZsSym6/$fSuppressUnusedWarnings(->)Let1627956799ZsSym7/$fSuppressUnusedWarnings(->)Let1627956799UsSym0/$fSuppressUnusedWarnings(->)Let1627956799UsSym1/$fSuppressUnusedWarnings(->)Let1627956799UsSym2/$fSuppressUnusedWarnings(->)Let1627956799UsSym3/$fSuppressUnusedWarnings(->)Let1627956799UsSym4/$fSuppressUnusedWarnings(->)Let1627956799UsSym5/$fSuppressUnusedWarnings(->)Let1627956799UsSym6/$fSuppressUnusedWarnings(->)Let1627956799UsSym70$fSuppressUnusedWarnings(->)Let1627956638LgoSym00$fSuppressUnusedWarnings(->)Let1627956638LgoSym10$fSuppressUnusedWarnings(->)Let1627956638LgoSym20$fSuppressUnusedWarnings(->)Let1627956638LgoSym30$fSuppressUnusedWarnings(->)Let1627956638LgoSym4/$fSuppressUnusedWarnings(->)Let1627956670Z'Sym0/$fSuppressUnusedWarnings(->)Let1627956670Z'Sym1/$fSuppressUnusedWarnings(->)Let1627956670Z'Sym2/$fSuppressUnusedWarnings(->)Let1627956670Z'Sym3/$fSuppressUnusedWarnings(->)Let1627956670Z'Sym4/$fSuppressUnusedWarnings(->)Let1627956670Z'Sym5/$fSuppressUnusedWarnings(->)Let1627956612XsSym0/$fSuppressUnusedWarnings(->)Let1627956612XsSym1/$fSuppressUnusedWarnings(->)Let1627956598XsSym0/$fSuppressUnusedWarnings(->)Let1627956598XsSym12$fSuppressUnusedWarnings(->)Let1627956533MinBySym02$fSuppressUnusedWarnings(->)Let1627956533MinBySym12$fSuppressUnusedWarnings(->)Let1627956533MinBySym22$fSuppressUnusedWarnings(->)Let1627956533MinBySym32$fSuppressUnusedWarnings(->)Let1627956533MinBySym4A$fSuppressUnusedWarnings(->)Let1627956563Scrutinee_1627953904Sym0A$fSuppressUnusedWarnings(->)Let1627956563Scrutinee_1627953904Sym1A$fSuppressUnusedWarnings(->)Let1627956563Scrutinee_1627953904Sym2A$fSuppressUnusedWarnings(->)Let1627956563Scrutinee_1627953904Sym3A$fSuppressUnusedWarnings(->)Let1627956563Scrutinee_1627953904Sym4/$fSuppressUnusedWarnings(->)Let1627956520XsSym0/$fSuppressUnusedWarnings(->)Let1627956520XsSym1/$fSuppressUnusedWarnings(->)Let1627956520XsSym22$fSuppressUnusedWarnings(->)Let1627956446MaxBySym02$fSuppressUnusedWarnings(->)Let1627956446MaxBySym12$fSuppressUnusedWarnings(->)Let1627956446MaxBySym22$fSuppressUnusedWarnings(->)Let1627956446MaxBySym32$fSuppressUnusedWarnings(->)Let1627956446MaxBySym4A$fSuppressUnusedWarnings(->)Let1627956476Scrutinee_1627953898Sym0A$fSuppressUnusedWarnings(->)Let1627956476Scrutinee_1627953898Sym1A$fSuppressUnusedWarnings(->)Let1627956476Scrutinee_1627953898Sym2A$fSuppressUnusedWarnings(->)Let1627956476Scrutinee_1627953898Sym3A$fSuppressUnusedWarnings(->)Let1627956476Scrutinee_1627953898Sym4/$fSuppressUnusedWarnings(->)Let1627956433XsSym0/$fSuppressUnusedWarnings(->)Let1627956433XsSym1/$fSuppressUnusedWarnings(->)Let1627956433XsSym2/$fSuppressUnusedWarnings(->)Let1627956381XsSym0/$fSuppressUnusedWarnings(->)Let1627956381XsSym1/$fSuppressUnusedWarnings(->)Let1627956381XsSym2/$fSuppressUnusedWarnings(->)Let1627956381XsSym3A$fSuppressUnusedWarnings(->)Let1627956255Scrutinee_1627953860Sym0A$fSuppressUnusedWarnings(->)Let1627956255Scrutinee_1627953860Sym1A$fSuppressUnusedWarnings(->)Let1627956255Scrutinee_1627953860Sym2A$fSuppressUnusedWarnings(->)Let1627956255Scrutinee_1627953860Sym3A$fSuppressUnusedWarnings(->)Let1627956208Scrutinee_1627953862Sym0A$fSuppressUnusedWarnings(->)Let1627956208Scrutinee_1627953862Sym1A$fSuppressUnusedWarnings(->)Let1627956208Scrutinee_1627953862Sym2A$fSuppressUnusedWarnings(->)Let1627956208Scrutinee_1627953862Sym3/$fSuppressUnusedWarnings(->)Let1627956189XsSym0/$fSuppressUnusedWarnings(->)Let1627956189XsSym1/$fSuppressUnusedWarnings(->)Let1627956189XsSym2/$fSuppressUnusedWarnings(->)Let1627956189XsSym39$fSuppressUnusedWarnings(->)Let1627956020X_1627956027Sym09$fSuppressUnusedWarnings(->)Let1627956020X_1627956027Sym19$fSuppressUnusedWarnings(->)Let1627956020X_1627956027Sym29$fSuppressUnusedWarnings(->)Let1627956020X_1627956027Sym39$fSuppressUnusedWarnings(->)Let1627956020X_1627956021Sym09$fSuppressUnusedWarnings(->)Let1627956020X_1627956021Sym19$fSuppressUnusedWarnings(->)Let1627956020X_1627956021Sym29$fSuppressUnusedWarnings(->)Let1627956020X_1627956021Sym3/$fSuppressUnusedWarnings(->)Let1627956020YsSym0/$fSuppressUnusedWarnings(->)Let1627956020YsSym1/$fSuppressUnusedWarnings(->)Let1627956020YsSym2/$fSuppressUnusedWarnings(->)Let1627956020YsSym30$fSuppressUnusedWarnings(->)Let1627956020S''Sym00$fSuppressUnusedWarnings(->)Let1627956020S''Sym10$fSuppressUnusedWarnings(->)Let1627956020S''Sym20$fSuppressUnusedWarnings(->)Let1627956020S''Sym3.$fSuppressUnusedWarnings(->)Let1627956020YSym0.$fSuppressUnusedWarnings(->)Let1627956020YSym1.$fSuppressUnusedWarnings(->)Let1627956020YSym2.$fSuppressUnusedWarnings(->)Let1627956020YSym3/$fSuppressUnusedWarnings(->)Let1627956020S'Sym0/$fSuppressUnusedWarnings(->)Let1627956020S'Sym1/$fSuppressUnusedWarnings(->)Let1627956020S'Sym2/$fSuppressUnusedWarnings(->)Let1627956020S'Sym39$fSuppressUnusedWarnings(->)Let1627955848X_1627955855Sym09$fSuppressUnusedWarnings(->)Let1627955848X_1627955855Sym19$fSuppressUnusedWarnings(->)Let1627955848X_1627955855Sym29$fSuppressUnusedWarnings(->)Let1627955848X_1627955855Sym39$fSuppressUnusedWarnings(->)Let1627955848X_1627955849Sym09$fSuppressUnusedWarnings(->)Let1627955848X_1627955849Sym19$fSuppressUnusedWarnings(->)Let1627955848X_1627955849Sym29$fSuppressUnusedWarnings(->)Let1627955848X_1627955849Sym3.$fSuppressUnusedWarnings(->)Let1627955848YSym0.$fSuppressUnusedWarnings(->)Let1627955848YSym1.$fSuppressUnusedWarnings(->)Let1627955848YSym2.$fSuppressUnusedWarnings(->)Let1627955848YSym30$fSuppressUnusedWarnings(->)Let1627955848S''Sym00$fSuppressUnusedWarnings(->)Let1627955848S''Sym10$fSuppressUnusedWarnings(->)Let1627955848S''Sym20$fSuppressUnusedWarnings(->)Let1627955848S''Sym3/$fSuppressUnusedWarnings(->)Let1627955848YsSym0/$fSuppressUnusedWarnings(->)Let1627955848YsSym1/$fSuppressUnusedWarnings(->)Let1627955848YsSym2/$fSuppressUnusedWarnings(->)Let1627955848YsSym3/$fSuppressUnusedWarnings(->)Let1627955848S'Sym0/$fSuppressUnusedWarnings(->)Let1627955848S'Sym1/$fSuppressUnusedWarnings(->)Let1627955848S'Sym2/$fSuppressUnusedWarnings(->)Let1627955848S'Sym3A$fSuppressUnusedWarnings(->)Let1627955812Scrutinee_1627953868Sym0A$fSuppressUnusedWarnings(->)Let1627955812Scrutinee_1627953868Sym11$fSuppressUnusedWarnings(->)Let1627955700Nub'Sym01$fSuppressUnusedWarnings(->)Let1627955700Nub'Sym11$fSuppressUnusedWarnings(->)Let1627955700Nub'Sym2A$fSuppressUnusedWarnings(->)Let1627955721Scrutinee_1627953952Sym0A$fSuppressUnusedWarnings(->)Let1627955721Scrutinee_1627953952Sym1A$fSuppressUnusedWarnings(->)Let1627955721Scrutinee_1627953952Sym2A$fSuppressUnusedWarnings(->)Let1627955721Scrutinee_1627953952Sym31$fSuppressUnusedWarnings(->)Lambda_1627955603Sym01$fSuppressUnusedWarnings(->)Lambda_1627955603Sym11$fSuppressUnusedWarnings(->)Lambda_1627955603Sym26$fSuppressUnusedWarnings(->)Let1627955574BuildListSym06$fSuppressUnusedWarnings(->)Let1627955574BuildListSym16$fSuppressUnusedWarnings(->)Let1627955574BuildListSym26$fSuppressUnusedWarnings(->)Let1627955574BuildListSym31$fSuppressUnusedWarnings(->)Lambda_1627955293Sym01$fSuppressUnusedWarnings(->)Lambda_1627955293Sym11$fSuppressUnusedWarnings(->)Lambda_1627955293Sym21$fSuppressUnusedWarnings(->)Lambda_1627955261Sym01$fSuppressUnusedWarnings(->)Lambda_1627955261Sym11$fSuppressUnusedWarnings(->)Lambda_1627955261Sym21$fSuppressUnusedWarnings(->)Lambda_1627955227Sym01$fSuppressUnusedWarnings(->)Lambda_1627955227Sym11$fSuppressUnusedWarnings(->)Lambda_1627955227Sym21$fSuppressUnusedWarnings(->)Lambda_1627955191Sym01$fSuppressUnusedWarnings(->)Lambda_1627955191Sym11$fSuppressUnusedWarnings(->)Lambda_1627955191Sym21$fSuppressUnusedWarnings(->)Lambda_1627955153Sym01$fSuppressUnusedWarnings(->)Lambda_1627955153Sym11$fSuppressUnusedWarnings(->)Lambda_1627955153Sym21$fSuppressUnusedWarnings(->)Lambda_1627955113Sym01$fSuppressUnusedWarnings(->)Lambda_1627955113Sym11$fSuppressUnusedWarnings(->)Lambda_1627955113Sym2A$fSuppressUnusedWarnings(->)Let1627955001Scrutinee_1627953894Sym0A$fSuppressUnusedWarnings(->)Let1627955001Scrutinee_1627953894Sym1A$fSuppressUnusedWarnings(->)Let1627955001Scrutinee_1627953894Sym2A$fSuppressUnusedWarnings(->)Let1627955001Scrutinee_1627953894Sym3A$fSuppressUnusedWarnings(->)Let1627954923Scrutinee_1627953896Sym0A$fSuppressUnusedWarnings(->)Let1627954923Scrutinee_1627953896Sym1A$fSuppressUnusedWarnings(->)Let1627954923Scrutinee_1627953896Sym2A$fSuppressUnusedWarnings(->)Let1627954923Scrutinee_1627953896Sym3/$fSuppressUnusedWarnings(->)Let1627954904YsSym0/$fSuppressUnusedWarnings(->)Let1627954904YsSym1/$fSuppressUnusedWarnings(->)Let1627954904YsSym2/$fSuppressUnusedWarnings(->)Let1627954904YsSym31$fSuppressUnusedWarnings(->)Lambda_1627954829Sym01$fSuppressUnusedWarnings(->)Lambda_1627954829Sym11$fSuppressUnusedWarnings(->)Lambda_1627954829Sym21$fSuppressUnusedWarnings(->)Lambda_1627954829Sym31$fSuppressUnusedWarnings(->)Lambda_1627954829Sym41$fSuppressUnusedWarnings(->)Lambda_1627954829Sym5/$fSuppressUnusedWarnings(->)Let1627954778YsSym0/$fSuppressUnusedWarnings(->)Let1627954778YsSym1/$fSuppressUnusedWarnings(->)Let1627954778YsSym2/$fSuppressUnusedWarnings(->)Let1627954778YsSym3/$fSuppressUnusedWarnings(->)Let1627954778YsSym4/$fSuppressUnusedWarnings(->)Let1627954778XsSym0/$fSuppressUnusedWarnings(->)Let1627954778XsSym1/$fSuppressUnusedWarnings(->)Let1627954778XsSym2/$fSuppressUnusedWarnings(->)Let1627954778XsSym3/$fSuppressUnusedWarnings(->)Let1627954778XsSym4A$fSuppressUnusedWarnings(->)Let1627954708Scrutinee_1627953910Sym0A$fSuppressUnusedWarnings(->)Let1627954708Scrutinee_1627953910Sym1A$fSuppressUnusedWarnings(->)Let1627954708Scrutinee_1627953910Sym2A$fSuppressUnusedWarnings(->)Let1627954679Scrutinee_1627953922Sym0A$fSuppressUnusedWarnings(->)Let1627954679Scrutinee_1627953922Sym1A$fSuppressUnusedWarnings(->)Let1627954679Scrutinee_1627953922Sym2A$fSuppressUnusedWarnings(->)Let1627954648Scrutinee_1627953924Sym0A$fSuppressUnusedWarnings(->)Let1627954648Scrutinee_1627953924Sym1A$fSuppressUnusedWarnings(->)Let1627954648Scrutinee_1627953924Sym2/$fSuppressUnusedWarnings(->)Let1627954635XsSym0/$fSuppressUnusedWarnings(->)Let1627954635XsSym1/$fSuppressUnusedWarnings(->)Let1627954635XsSym29$fSuppressUnusedWarnings(->)Let1627954558X_1627954559Sym09$fSuppressUnusedWarnings(->)Let1627954558X_1627954559Sym19$fSuppressUnusedWarnings(->)Let1627954558X_1627954559Sym2/$fSuppressUnusedWarnings(->)Let1627954558ZsSym0/$fSuppressUnusedWarnings(->)Let1627954558ZsSym1/$fSuppressUnusedWarnings(->)Let1627954558ZsSym2/$fSuppressUnusedWarnings(->)Let1627954558YsSym0/$fSuppressUnusedWarnings(->)Let1627954558YsSym1/$fSuppressUnusedWarnings(->)Let1627954558YsSym29$fSuppressUnusedWarnings(->)Let1627954485X_1627954486Sym09$fSuppressUnusedWarnings(->)Let1627954485X_1627954486Sym19$fSuppressUnusedWarnings(->)Let1627954485X_1627954486Sym2/$fSuppressUnusedWarnings(->)Let1627954485ZsSym0/$fSuppressUnusedWarnings(->)Let1627954485ZsSym1/$fSuppressUnusedWarnings(->)Let1627954485ZsSym2/$fSuppressUnusedWarnings(->)Let1627954485YsSym0/$fSuppressUnusedWarnings(->)Let1627954485YsSym1/$fSuppressUnusedWarnings(->)Let1627954485YsSym2A$fSuppressUnusedWarnings(->)Let1627954470Scrutinee_1627953928Sym0A$fSuppressUnusedWarnings(->)Let1627954470Scrutinee_1627953928Sym1A$fSuppressUnusedWarnings(->)Let1627954470Scrutinee_1627953928Sym2/$fSuppressUnusedWarnings(->)Let1627954457XsSym0/$fSuppressUnusedWarnings(->)Let1627954457XsSym1/$fSuppressUnusedWarnings(->)Let1627954457XsSym2/$fSuppressUnusedWarnings(->)Let1627954450XsSym09$fSuppressUnusedWarnings(->)Let1627954380X_1627954381Sym09$fSuppressUnusedWarnings(->)Let1627954380X_1627954381Sym19$fSuppressUnusedWarnings(->)Let1627954380X_1627954381Sym2/$fSuppressUnusedWarnings(->)Let1627954380ZsSym0/$fSuppressUnusedWarnings(->)Let1627954380ZsSym1/$fSuppressUnusedWarnings(->)Let1627954380ZsSym2/$fSuppressUnusedWarnings(->)Let1627954380YsSym0/$fSuppressUnusedWarnings(->)Let1627954380YsSym1/$fSuppressUnusedWarnings(->)Let1627954380YsSym2A$fSuppressUnusedWarnings(->)Let1627954365Scrutinee_1627953930Sym0A$fSuppressUnusedWarnings(->)Let1627954365Scrutinee_1627953930Sym1A$fSuppressUnusedWarnings(->)Let1627954365Scrutinee_1627953930Sym2/$fSuppressUnusedWarnings(->)Let1627954352XsSym0/$fSuppressUnusedWarnings(->)Let1627954352XsSym1/$fSuppressUnusedWarnings(->)Let1627954352XsSym2/$fSuppressUnusedWarnings(->)Let1627954345XsSym0A$fSuppressUnusedWarnings(->)Let1627954306Scrutinee_1627953932Sym0A$fSuppressUnusedWarnings(->)Let1627954306Scrutinee_1627953932Sym1A$fSuppressUnusedWarnings(->)Let1627954306Scrutinee_1627953932Sym2A$fSuppressUnusedWarnings(->)Let1627954275Scrutinee_1627953934Sym0A$fSuppressUnusedWarnings(->)Let1627954275Scrutinee_1627953934Sym1A$fSuppressUnusedWarnings(->)Let1627954275Scrutinee_1627953934Sym2A$fSuppressUnusedWarnings(->)Let1627954238Scrutinee_1627953944Sym0A$fSuppressUnusedWarnings(->)Let1627954238Scrutinee_1627953944Sym1A$fSuppressUnusedWarnings(->)Let1627954238Scrutinee_1627953944Sym2A$fSuppressUnusedWarnings(->)Let1627954238Scrutinee_1627953944Sym3A$fSuppressUnusedWarnings(->)Let1627954191Scrutinee_1627953946Sym0A$fSuppressUnusedWarnings(->)Let1627954191Scrutinee_1627953946Sym1A$fSuppressUnusedWarnings(->)Let1627954191Scrutinee_1627953946Sym2A$fSuppressUnusedWarnings(->)Let1627954191Scrutinee_1627953946Sym31$fSuppressUnusedWarnings(->)Let1627954153Sum'Sym01$fSuppressUnusedWarnings(->)Let1627954153Sum'Sym11$fSuppressUnusedWarnings(->)Let1627954153Sum'Sym21$fSuppressUnusedWarnings(->)Let1627954129ProdSym01$fSuppressUnusedWarnings(->)Let1627954129ProdSym11$fSuppressUnusedWarnings(->)Let1627954129ProdSym2A$fSuppressUnusedWarnings(->)Let1627954105Scrutinee_1627953948Sym0A$fSuppressUnusedWarnings(->)Let1627954105Scrutinee_1627953948Sym1A$fSuppressUnusedWarnings(->)Let1627954078Scrutinee_1627953950Sym0A$fSuppressUnusedWarnings(->)Let1627954078Scrutinee_1627953950Sym1A$fSuppressUnusedWarnings(->)Let1627954078Scrutinee_1627953950Sym23$fSuppressUnusedWarnings(->)Let1627954007NubBy'Sym03$fSuppressUnusedWarnings(->)Let1627954007NubBy'Sym13$fSuppressUnusedWarnings(->)Let1627954007NubBy'Sym23$fSuppressUnusedWarnings(->)Let1627954007NubBy'Sym3A$fSuppressUnusedWarnings(->)Let1627954034Scrutinee_1627953954Sym0A$fSuppressUnusedWarnings(->)Let1627954034Scrutinee_1627953954Sym1A$fSuppressUnusedWarnings(->)Let1627954034Scrutinee_1627953954Sym2A$fSuppressUnusedWarnings(->)Let1627954034Scrutinee_1627953954Sym3A$fSuppressUnusedWarnings(->)Let1627954034Scrutinee_1627953954Sym4 StripPrefixZip4Zip5Zip6Zip7ZipWith4ZipWith5ZipWith6ZipWith7 GenericTake GenericDropGenericSplitAt GenericIndexGenericReplicateStripPrefixSym0StripPrefixSym1StripPrefixSym2Zip4Sym0Zip4Sym1Zip4Sym2Zip4Sym3Zip4Sym4Zip5Sym0Zip5Sym1Zip5Sym2Zip5Sym3Zip5Sym4Zip5Sym5Zip6Sym0Zip6Sym1Zip6Sym2Zip6Sym3Zip6Sym4Zip6Sym5Zip6Sym6Zip7Sym0Zip7Sym1Zip7Sym2Zip7Sym3Zip7Sym4Zip7Sym5Zip7Sym6Zip7Sym7 ZipWith4Sym0 ZipWith4Sym1 ZipWith4Sym2 ZipWith4Sym3 ZipWith4Sym4 ZipWith4Sym5 ZipWith5Sym0 ZipWith5Sym1 ZipWith5Sym2 ZipWith5Sym3 ZipWith5Sym4 ZipWith5Sym5 ZipWith5Sym6 ZipWith6Sym0 ZipWith6Sym1 ZipWith6Sym2 ZipWith6Sym3 ZipWith6Sym4 ZipWith6Sym5 ZipWith6Sym6 ZipWith6Sym7 ZipWith7Sym0 ZipWith7Sym1 ZipWith7Sym2 ZipWith7Sym3 ZipWith7Sym4 ZipWith7Sym5 ZipWith7Sym6 ZipWith7Sym7 ZipWith7Sym8GenericTakeSym0GenericTakeSym1GenericTakeSym2GenericDropSym0GenericDropSym1GenericDropSym2GenericSplitAtSym0GenericSplitAtSym1GenericSplitAtSym2GenericIndexSym0GenericIndexSym1GenericIndexSym2GenericReplicateSym0GenericReplicateSym1GenericReplicateSym2+$fSuppressUnusedWarnings(->)StripPrefixSym0+$fSuppressUnusedWarnings(->)StripPrefixSym1$$fSuppressUnusedWarnings(->)Zip4Sym0$$fSuppressUnusedWarnings(->)Zip4Sym1$$fSuppressUnusedWarnings(->)Zip4Sym2$$fSuppressUnusedWarnings(->)Zip4Sym3$$fSuppressUnusedWarnings(->)Zip5Sym0$$fSuppressUnusedWarnings(->)Zip5Sym1$$fSuppressUnusedWarnings(->)Zip5Sym2$$fSuppressUnusedWarnings(->)Zip5Sym3$$fSuppressUnusedWarnings(->)Zip5Sym4$$fSuppressUnusedWarnings(->)Zip6Sym0$$fSuppressUnusedWarnings(->)Zip6Sym1$$fSuppressUnusedWarnings(->)Zip6Sym2$$fSuppressUnusedWarnings(->)Zip6Sym3$$fSuppressUnusedWarnings(->)Zip6Sym4$$fSuppressUnusedWarnings(->)Zip6Sym5$$fSuppressUnusedWarnings(->)Zip7Sym0$$fSuppressUnusedWarnings(->)Zip7Sym1$$fSuppressUnusedWarnings(->)Zip7Sym2$$fSuppressUnusedWarnings(->)Zip7Sym3$$fSuppressUnusedWarnings(->)Zip7Sym4$$fSuppressUnusedWarnings(->)Zip7Sym5$$fSuppressUnusedWarnings(->)Zip7Sym6($fSuppressUnusedWarnings(->)ZipWith4Sym0($fSuppressUnusedWarnings(->)ZipWith4Sym1($fSuppressUnusedWarnings(->)ZipWith4Sym2($fSuppressUnusedWarnings(->)ZipWith4Sym3($fSuppressUnusedWarnings(->)ZipWith4Sym4($fSuppressUnusedWarnings(->)ZipWith5Sym0($fSuppressUnusedWarnings(->)ZipWith5Sym1($fSuppressUnusedWarnings(->)ZipWith5Sym2($fSuppressUnusedWarnings(->)ZipWith5Sym3($fSuppressUnusedWarnings(->)ZipWith5Sym4($fSuppressUnusedWarnings(->)ZipWith5Sym5($fSuppressUnusedWarnings(->)ZipWith6Sym0($fSuppressUnusedWarnings(->)ZipWith6Sym1($fSuppressUnusedWarnings(->)ZipWith6Sym2($fSuppressUnusedWarnings(->)ZipWith6Sym3($fSuppressUnusedWarnings(->)ZipWith6Sym4($fSuppressUnusedWarnings(->)ZipWith6Sym5($fSuppressUnusedWarnings(->)ZipWith6Sym6($fSuppressUnusedWarnings(->)ZipWith7Sym0($fSuppressUnusedWarnings(->)ZipWith7Sym1($fSuppressUnusedWarnings(->)ZipWith7Sym2($fSuppressUnusedWarnings(->)ZipWith7Sym3($fSuppressUnusedWarnings(->)ZipWith7Sym4($fSuppressUnusedWarnings(->)ZipWith7Sym5($fSuppressUnusedWarnings(->)ZipWith7Sym6($fSuppressUnusedWarnings(->)ZipWith7Sym7+$fSuppressUnusedWarnings(->)GenericTakeSym0+$fSuppressUnusedWarnings(->)GenericTakeSym1+$fSuppressUnusedWarnings(->)GenericDropSym0+$fSuppressUnusedWarnings(->)GenericDropSym1.$fSuppressUnusedWarnings(->)GenericSplitAtSym0.$fSuppressUnusedWarnings(->)GenericSplitAtSym1,$fSuppressUnusedWarnings(->)GenericIndexSym0,$fSuppressUnusedWarnings(->)GenericIndexSym10$fSuppressUnusedWarnings(->)GenericReplicateSym00$fSuppressUnusedWarnings(->)GenericReplicateSym1 ULetDecEnv ALetDecEnv LetDecEnv lde_defns lde_types lde_infix lde_proms ULetDecRHS ALetDecRHS LetDecRHSIfAnn Unannotated AnnotatedAnnotationFlagADClauseADMatchADExpADVarEADConEADLitEADAppEADLamEADCaseEADLetEADSigE AInstDecl AClassDecl UInstDecl UClassDeclInstDeclid_cxtid_name id_arg_tysid_meths ClassDeclcd_cxtcd_namecd_tvbscd_fdscd_ldeDataDecl VarPromotions UFunctionUValue AFunctionAValue valueBinding typeBinding infixDeclemptyLetDecEnvbuildLetDecEnv$fMonoidLetDecEnvD:R:LetDecRHSUnannotated0D:R:LetDecRHSAnnotated0 qNewUniqueQWithAuxQWArunQWA basicTypesboundedBasicTypesenumBasicTypesqReportWarning qReportError checkForRepcheckForRepInDeclstysOfConFieldsextractNameArgsextractNameTypes extractNameisUpcaseupcase toUpcaseStrnoPrefixlocase prefixUCName prefixLCName suffixNameuniquePrefixesextractTvbKindextractTvbName tvbToTypeinferMaybeKindTVresultSigToMaybeKindunravelravel countArgs noExactTyVars substKind substType substPredsubstKindInPredsubstKindInTvbaddStar addStar_maybefoldTypefoldExpisFunTy orIfEmpty emptyMatches multiCase wrapDesugarcomp1comp2evalWithoutAux evalForAux evalForPair addBinding addElement concatMapMlistifyfstOf3liftFstliftSndsnocView partitionWithpartitionWithMpartitionLetDecs mapAndUnzip3M isHsLetter$fDsMonadQWithAux$fQuasiQWithAuxinferConstraintsBoolGHC.BaseNothingDIDon'tInstantiateSLambda applySingD:R:Sing(->)f0 GHC.ClassesEq anyTypeNameboolNameandName compareName minBoundName maxBoundNametyEqNamerepNamenilNameconsNamelistName tyFunName applyName symbolNamenatName undefinedName typeRepName stringNameeqNameordName boundedName orderingNamesingFamilyName singIName singMethName toSingName fromSingName demoteRepNamesingKindClassName sEqClassName sEqMethNamesIfName sconsNamesnilNamesomeSingTypeNamesomeSingDataName proxyTypeName proxyDataName sListNamesDecideClassNamesDecideMethName provedName disprovedNamereflName equalityName applySingNamesuppressClassNamesuppressMethodName thenCmpName kindOfNametyFromIntegerName tyNegateNamesFromIntegerName sNegateName errorName foldlName cmpEQName cmpLTName cmpGTNamesingletonsToEnumNamesingletonsFromEnumNameenumNamesingletonsEnumName equalsNamesingPkg mk_name_tc mk_name_d mk_name_vmkTupleTypeNamemkTupleDataNamepromoteValNameLhspromoteValNameLhsPrefix promoteValRhs promoteTySympromoteClassNamemkTyName falseTySym trueTySymboolKiandTySymsingDataConName singTyConName singClassName singValName kindParamproxyFor singFamilysingKindConstraintdemoteapplymkListE foldApplymkEqPred mkKProxies mkOrdInstancemk_equal_clausemk_nonequal_clauseLetBindPrMPrEnvpr_lambda_bound pr_let_boundpr_local_decls LetExpansions emptyPrEnv allLocalsemitDecs emitDecsM lambdaBindletBind lookupVarEpromoteM promoteM_ promoteMDecs $fDsMonadPrMSgMSgEnv sg_let_bindssg_local_decls emptySgEnvliftSgMbindLets bindTyVarsEq bindTyVars lookupConElookup_var_con wrapSingFun wrapUnSingFunsingM singDecsM $fDsMonadSgM $fQuasiSgMmkBoundedInstancemkEnumInstancemkEqTypeInstance promoteTypepromoteUnraveled defunInfobuildDefunSymsbuildDefunSymsDataDdefunctionalize buildTyFunbuildTyFun_maybe tyFunArityisTyFun ravelTyFun partitionDecsOrdPartitionedDecsPDecs pd_let_decs pd_class_decspd_instance_decs pd_data_decs partitionDecpartitionClassDecpartitionInstanceDec$fMonoidPartitionedDecspromoteInstance promoteInfo promoteDecspromoteDataDecspromoteLetDecspromoteDataDecpromoteClassDecpromoteInstanceDec promoteMethodpromoteLetDecEnvpromoteInfixDeclpromoteLetDecRHS promoteClause promoteMatch promotePat promoteExp promoteLitExp promoteLitPatsingTypesingPred singPredRecEqualityClassDesc sEqClassDescsDecideClassDescmkEqualityInstancemkEqMethClausemkDecideMethClause singDataDsingCtorPatternContext LetBinding CaseStatement ParametersingEqualityInstancesingInfosingTopLevelDecs buildDataLets buildMethLets singClassD singInstD singLetDecEnv singInfixDecl singTySig singLetDecRHS singClausecheckIfBrainWillExplodesingPatsingExp isException singMatchsingLit maybeSigTTuple7Sym0KindInferenceTuple7Sym1KindInferenceTuple7Sym2KindInferenceTuple7Sym3KindInferenceTuple7Sym4KindInferenceTuple7Sym5KindInferenceTuple7Sym6KindInferenceTuple6Sym0KindInferenceTuple6Sym1KindInferenceTuple6Sym2KindInferenceTuple6Sym3KindInferenceTuple6Sym4KindInferenceTuple6Sym5KindInferenceTuple5Sym0KindInferenceTuple5Sym1KindInferenceTuple5Sym2KindInferenceTuple5Sym3KindInferenceTuple5Sym4KindInferenceTuple4Sym0KindInferenceTuple4Sym1KindInferenceTuple4Sym2KindInferenceTuple4Sym3KindInferenceTuple3Sym0KindInferenceTuple3Sym1KindInferenceTuple3Sym2KindInferenceTuple2Sym0KindInferenceTuple2Sym1KindInference SNonEmpty:|$:|$###:|$$:|$$###:|$$$RightSym0KindInferenceLeftSym0KindInference:$###:$$###JustSym0KindInferenceSLTSEQSGTSFalseSTrue:%|SLeftSRightSNilSConsSNothingSJustD:R:DemoteRep() $fSDecide()FoldlSym0KindInferenceFoldlSym1KindInferenceFoldlSym2KindInferenceLet1627619941LgoLet1627619941LgoSym0!Let1627619941LgoSym0KindInferenceLet1627619941LgoSym1!Let1627619941LgoSym1KindInferenceLet1627619941LgoSym2!Let1627619941LgoSym2KindInferenceLet1627619941LgoSym3!Let1627619941LgoSym3KindInferenceLet1627619941LgoSym4!Let1627619941LgoSym4KindInferenceLet1627619941LgoSym5D:R:Apply(->)(->)FoldlSym0l0Bool_Sym0KindInferenceBool_Sym1KindInferenceBool_Sym2KindInference#D:R:Applya1627657621(->)Bool_Sym0l0:&&$###:&&$$###:||$###:||$$###NotSym0KindInferenceD:R:ApplyBool(->):&&$l0Equals_1627662659Equals_1627662672Equals_1627662691Equals_1627662709Equals_1627662728Equals_1627662748Equals_1627662774Equals_1627662806Equals_1627662844Equals_1627662888Equals_1627662930Equals_1627662937Equals_1627662944:/=$###:/=$$###:==$###:==$$###D:R:Applya1627662065(->):/=$l0 D:R::==()a0b0Case_1627682994Case_1627683004Compare_1627683010Case_1627683038TFHelper_1627683043Case_1627683071TFHelper_1627683076Case_1627683104TFHelper_1627683109Case_1627683137TFHelper_1627683142Case_1627683170Max_1627683175Case_1627683203Min_1627683208Compare_1627690545Compare_1627690597Compare_1627690653Compare_1627690697Compare_1627690734Compare_1627690777Compare_1627690828Compare_1627690887Compare_1627690954Compare_1627691029Compare_1627691064Compare_1627691088Compare_1627691117Min_1627683208Sym0Min_1627683208Sym0KindInferenceMin_1627683208Sym1Min_1627683208Sym1KindInferenceMin_1627683208Sym2!Let1627683195Scrutinee_1627682250%Let1627683195Scrutinee_1627682250Sym02Let1627683195Scrutinee_1627682250Sym0KindInference%Let1627683195Scrutinee_1627682250Sym12Let1627683195Scrutinee_1627682250Sym1KindInference%Let1627683195Scrutinee_1627682250Sym2Max_1627683175Sym0Max_1627683175Sym0KindInferenceMax_1627683175Sym1Max_1627683175Sym1KindInferenceMax_1627683175Sym2!Let1627683162Scrutinee_1627682248%Let1627683162Scrutinee_1627682248Sym02Let1627683162Scrutinee_1627682248Sym0KindInference%Let1627683162Scrutinee_1627682248Sym12Let1627683162Scrutinee_1627682248Sym1KindInference%Let1627683162Scrutinee_1627682248Sym2TFHelper_1627683142Sym0$TFHelper_1627683142Sym0KindInferenceTFHelper_1627683142Sym1$TFHelper_1627683142Sym1KindInferenceTFHelper_1627683142Sym2!Let1627683129Scrutinee_1627682246%Let1627683129Scrutinee_1627682246Sym02Let1627683129Scrutinee_1627682246Sym0KindInference%Let1627683129Scrutinee_1627682246Sym12Let1627683129Scrutinee_1627682246Sym1KindInference%Let1627683129Scrutinee_1627682246Sym2TFHelper_1627683109Sym0$TFHelper_1627683109Sym0KindInferenceTFHelper_1627683109Sym1$TFHelper_1627683109Sym1KindInferenceTFHelper_1627683109Sym2!Let1627683096Scrutinee_1627682244%Let1627683096Scrutinee_1627682244Sym02Let1627683096Scrutinee_1627682244Sym0KindInference%Let1627683096Scrutinee_1627682244Sym12Let1627683096Scrutinee_1627682244Sym1KindInference%Let1627683096Scrutinee_1627682244Sym2TFHelper_1627683076Sym0$TFHelper_1627683076Sym0KindInferenceTFHelper_1627683076Sym1$TFHelper_1627683076Sym1KindInferenceTFHelper_1627683076Sym2!Let1627683063Scrutinee_1627682242%Let1627683063Scrutinee_1627682242Sym02Let1627683063Scrutinee_1627682242Sym0KindInference%Let1627683063Scrutinee_1627682242Sym12Let1627683063Scrutinee_1627682242Sym1KindInference%Let1627683063Scrutinee_1627682242Sym2TFHelper_1627683043Sym0$TFHelper_1627683043Sym0KindInferenceTFHelper_1627683043Sym1$TFHelper_1627683043Sym1KindInferenceTFHelper_1627683043Sym2!Let1627683030Scrutinee_1627682240%Let1627683030Scrutinee_1627682240Sym02Let1627683030Scrutinee_1627682240Sym0KindInference%Let1627683030Scrutinee_1627682240Sym12Let1627683030Scrutinee_1627682240Sym1KindInference%Let1627683030Scrutinee_1627682240Sym2Compare_1627683010Sym0#Compare_1627683010Sym0KindInferenceCompare_1627683010Sym1#Compare_1627683010Sym1KindInferenceCompare_1627683010Sym2!Let1627682996Scrutinee_1627682238%Let1627682996Scrutinee_1627682238Sym02Let1627682996Scrutinee_1627682238Sym0KindInference%Let1627682996Scrutinee_1627682238Sym12Let1627682996Scrutinee_1627682238Sym1KindInference%Let1627682996Scrutinee_1627682238Sym2!Let1627682986Scrutinee_1627682236%Let1627682986Scrutinee_1627682236Sym02Let1627682986Scrutinee_1627682236Sym0KindInference%Let1627682986Scrutinee_1627682236Sym12Let1627682986Scrutinee_1627682236Sym1KindInference%Let1627682986Scrutinee_1627682236Sym2MinSym0KindInferenceMinSym1KindInferenceMaxSym0KindInferenceMaxSym1KindInference:>=$###:>=$$###:>$###:>$$###:<=$###:<=$$###:<$###:<$$###CompareSym0KindInferenceCompareSym1KindInference,D:R:Applya1627682221(->)Min_1627683208Sym0l0ThenCmpSym0KindInferenceThenCmpSym1KindInference"D:R:ApplyOrdering(->)ThenCmpSym0l0Compare_1627691117Sym0#Compare_1627691117Sym0KindInferenceCompare_1627691117Sym1#Compare_1627691117Sym1KindInferenceCompare_1627691117Sym2Compare_1627691088Sym0#Compare_1627691088Sym0KindInferenceCompare_1627691088Sym1#Compare_1627691088Sym1KindInferenceCompare_1627691088Sym2Compare_1627691064Sym0#Compare_1627691064Sym0KindInferenceCompare_1627691064Sym1#Compare_1627691064Sym1KindInferenceCompare_1627691064Sym2Compare_1627691029Sym0#Compare_1627691029Sym0KindInferenceCompare_1627691029Sym1#Compare_1627691029Sym1KindInferenceCompare_1627691029Sym2Compare_1627690954Sym0#Compare_1627690954Sym0KindInferenceCompare_1627690954Sym1#Compare_1627690954Sym1KindInferenceCompare_1627690954Sym2Compare_1627690887Sym0#Compare_1627690887Sym0KindInferenceCompare_1627690887Sym1#Compare_1627690887Sym1KindInferenceCompare_1627690887Sym2Compare_1627690828Sym0#Compare_1627690828Sym0KindInferenceCompare_1627690828Sym1#Compare_1627690828Sym1KindInferenceCompare_1627690828Sym2Compare_1627690777Sym0#Compare_1627690777Sym0KindInferenceCompare_1627690777Sym1#Compare_1627690777Sym1KindInferenceCompare_1627690777Sym2Compare_1627690734Sym0#Compare_1627690734Sym0KindInferenceCompare_1627690734Sym1#Compare_1627690734Sym1KindInferenceCompare_1627690734Sym2Compare_1627690697Sym0#Compare_1627690697Sym0KindInferenceCompare_1627690697Sym1#Compare_1627690697Sym1KindInferenceCompare_1627690697Sym2Compare_1627690653Sym0#Compare_1627690653Sym0KindInferenceCompare_1627690653Sym1#Compare_1627690653Sym1KindInferenceCompare_1627690653Sym2Compare_1627690597Sym0#Compare_1627690597Sym0KindInferenceCompare_1627690597Sym1#Compare_1627690597Sym1KindInferenceCompare_1627690597Sym2Compare_1627690545Sym0#Compare_1627690545Sym0KindInferenceCompare_1627690545Sym1#Compare_1627690545Sym1KindInferenceCompare_1627690545Sym2D:R:Compare()a0a1STypeRepdirty_mk_STypeRepD:R:SingTYPEa0Lambda_1627796740FoldrSym0KindInferenceFoldrSym1KindInferenceFoldrSym2KindInferenceMapSym0KindInferenceMapSym1KindInference:++$###:++$$###IdSym0KindInferenceAsTypeOfSym0KindInferenceAsTypeOfSym1KindInferenceConstSym0KindInferenceConstSym1KindInference:.$###:.$$###:.$$$###FlipSym0KindInferenceFlipSym1KindInferenceFlipSym2KindInferenceSeqSym0KindInferenceSeqSym1KindInferenceLet1627796843GoLet1627796843GoSym0 Let1627796843GoSym0KindInferenceLet1627796843GoSym1 Let1627796843GoSym1KindInferenceLet1627796843GoSym2 Let1627796843GoSym2KindInferenceLet1627796843GoSym3 Let1627796843GoSym3KindInferenceLet1627796843GoSym4Lambda_1627796740Sym0"Lambda_1627796740Sym0KindInferenceLambda_1627796740Sym1"Lambda_1627796740Sym1KindInferenceLambda_1627796740Sym2"Lambda_1627796740Sym2KindInferenceLambda_1627796740Sym3"Lambda_1627796740Sym3KindInferenceLambda_1627796740Sym4D:R:Apply(->)(->)FoldrSym0l0GHC.ErrerrorSSym $fSOrdSymbol $fSOrdNat$fPOrdSymbolProxy$fPOrdNatProxy $fSEqSymbol$fSEqNat$fPEqSymbolProxy $fPEqNatProxy$fSDecideSymbol $fSDecideNat$fSingKindSymbol$fSingISymbolnD:R:SingSymboln0 $fSingKindNat $fSingINatn D:R:SingNatn0ErrorSym0KindInference"D:R:Applyk01627810588k2ErrorSym0l0:^$###:^$$###D:R:ApplyNat(->):^$l0TFHelper_1627817280Negate_1627817295 SignumNatNegate_1627817295Sym0"Negate_1627817295Sym0KindInferenceNegate_1627817295Sym1TFHelper_1627817280Sym0$TFHelper_1627817280Sym0KindInferenceTFHelper_1627817280Sym1$TFHelper_1627817280Sym1KindInferenceTFHelper_1627817280Sym2FromIntegerSym0KindInferenceSignumSym0KindInferenceAbsSym0KindInferenceNegateSym0KindInference:*$###:*$$###:-$###:-$$###:+$###:+$$###6D:R:Applya1627817219a1627817219Negate_1627817295Sym0l0SubtractSym0KindInferenceSubtractSym1KindInference&D:R:Applya1627819601(->)SubtractSym0l0no_term_level_nats buildCasesEither_Sym0KindInferenceEither_Sym1KindInferenceEither_Sym2KindInferenceD:R:Apply(->)(->)Either_Sym0l0LeftsSym0KindInferenceRightsSym0KindInferencePartitionEithersSym0!PartitionEithersSym0KindInferencePartitionEithersSym1IsLeftSym0KindInferenceIsRightSym0KindInferenceLet1627830502LeftLet1627830502RightLet1627830502LeftSym0"Let1627830502LeftSym0KindInferenceLet1627830502LeftSym1"Let1627830502LeftSym1KindInferenceLet1627830502LeftSym2"Let1627830502LeftSym2KindInferenceLet1627830502LeftSym3Let1627830502RightSym0#Let1627830502RightSym0KindInferenceLet1627830502RightSym1#Let1627830502RightSym1KindInferenceLet1627830502RightSym2#Let1627830502RightSym2KindInferenceLet1627830502RightSym3D:R:Apply[][]LeftsSym0l0UncurrySym0KindInferenceUncurrySym1KindInferenceFstSym0KindInferenceSndSym0KindInferenceCurrySym0KindInferenceCurrySym1KindInferenceCurrySym2KindInferenceSwapSym0KindInferenceD:R:Apply(->)(->)UncurrySym0l0Case_1627845514Case_1627845517UntilSym0KindInferenceUntilSym1KindInferenceUntilSym2KindInferenceLet1627845493GoLet1627845493GoSym0 Let1627845493GoSym0KindInferenceLet1627845493GoSym1 Let1627845493GoSym1KindInferenceLet1627845493GoSym2 Let1627845493GoSym2KindInferenceLet1627845493GoSym3 Let1627845493GoSym3KindInferenceLet1627845493GoSym4D:R:Apply(->)(->)UntilSym0l0Case_1627849102Case_1627849137Maybe_Sym0KindInferenceMaybe_Sym1KindInferenceMaybe_Sym2KindInference$D:R:Applyb1627847771(->)Maybe_Sym0l0IsJustSym0KindInferenceIsNothingSym0KindInferenceFromJustSym0KindInferenceFromMaybeSym0KindInferenceFromMaybeSym1KindInferenceMaybeToListSym0KindInferenceListToMaybeSym0KindInferenceCatMaybesSym0KindInferenceMapMaybeSym0KindInferenceMapMaybeSym1KindInference!Let1627849089Scrutinee_1627849059%Let1627849089Scrutinee_1627849059Sym02Let1627849089Scrutinee_1627849059Sym0KindInference%Let1627849089Scrutinee_1627849059Sym12Let1627849089Scrutinee_1627849059Sym1KindInference%Let1627849089Scrutinee_1627849059Sym22Let1627849089Scrutinee_1627849059Sym2KindInference%Let1627849089Scrutinee_1627849059Sym3Let1627849076RsLet1627849076RsSym0 Let1627849076RsSym0KindInferenceLet1627849076RsSym1 Let1627849076RsSym1KindInferenceLet1627849076RsSym2 Let1627849076RsSym2KindInferenceLet1627849076RsSym3D:R:ApplyMaybeBoolIsJustSym0l0MinBound_1627860248MaxBound_1627860250MinBound_1627860259MaxBound_1627860261MinBound_1627860265MaxBound_1627860267MinBound_1627860271MaxBound_1627860273MinBound_1627860277MaxBound_1627860279MinBound_1627860283MaxBound_1627860285MinBound_1627860289MaxBound_1627860291MinBound_1627860295MaxBound_1627860297MinBound_1627860301MaxBound_1627860303Case_1627864294Case_1627864299Case_1627864335Case_1627864449Case_1627864452Case_1627864476Case_1627864481Case_1627864517Case_1627864631Case_1627864634Case_1627864658Case_1627864663Case_1627864678Case_1627864736Case_1627864739Succ_1627864792Pred_1627864805EnumFromTo_1627864823EnumFromThenTo_1627864853Succ_1627864873Pred_1627864884ToEnum_1627864895FromEnum_1627864906EnumFromTo_1627864928EnumFromThenTo_1627864964Case_1627884811Case_1627884813ToEnum_1627884818FromEnum_1627884828Case_1627884847Case_1627884849Case_1627884851ToEnum_1627884857FromEnum_1627884867Case_1627884889ToEnum_1627884893FromEnum_1627884903MaxBound_1627860303Sym0MinBound_1627860301Sym0MaxBound_1627860297Sym0MinBound_1627860295Sym0MaxBound_1627860291Sym0MinBound_1627860289Sym0MaxBound_1627860285Sym0MinBound_1627860283Sym0MaxBound_1627860279Sym0MinBound_1627860277Sym0MaxBound_1627860273Sym0MinBound_1627860271Sym0MaxBound_1627860267Sym0MinBound_1627860265Sym0MaxBound_1627860261Sym0MinBound_1627860259Sym0MaxBound_1627860250Sym0MinBound_1627860248Sym0D:R:MinBound()EnumFromThenTo_1627864964Sym0*EnumFromThenTo_1627864964Sym0KindInferenceEnumFromThenTo_1627864964Sym1*EnumFromThenTo_1627864964Sym1KindInferenceEnumFromThenTo_1627864964Sym2*EnumFromThenTo_1627864964Sym2KindInferenceEnumFromThenTo_1627864964Sym3EnumFromTo_1627864928Sym0&EnumFromTo_1627864928Sym0KindInferenceEnumFromTo_1627864928Sym1&EnumFromTo_1627864928Sym1KindInferenceEnumFromTo_1627864928Sym2FromEnum_1627864906Sym0$FromEnum_1627864906Sym0KindInferenceFromEnum_1627864906Sym1ToEnum_1627864895Sym0"ToEnum_1627864895Sym0KindInferenceToEnum_1627864895Sym1Pred_1627864884Sym0 Pred_1627864884Sym0KindInferencePred_1627864884Sym1Succ_1627864873Sym0 Succ_1627864873Sym0KindInferenceSucc_1627864873Sym1EnumFromThenTo_1627864853Sym0*EnumFromThenTo_1627864853Sym0KindInferenceEnumFromThenTo_1627864853Sym1*EnumFromThenTo_1627864853Sym1KindInferenceEnumFromThenTo_1627864853Sym2*EnumFromThenTo_1627864853Sym2KindInferenceEnumFromThenTo_1627864853Sym3EnumFromTo_1627864823Sym0&EnumFromTo_1627864823Sym0KindInferenceEnumFromTo_1627864823Sym1&EnumFromTo_1627864823Sym1KindInferenceEnumFromTo_1627864823Sym2Pred_1627864805Sym0 Pred_1627864805Sym0KindInferencePred_1627864805Sym1Succ_1627864792Sym0 Succ_1627864792Sym0KindInferenceSucc_1627864792Sym1EnumFromThenToSym0KindInferenceEnumFromThenToSym1KindInferenceEnumFromThenToSym2KindInferenceEnumFromToSym0KindInferenceEnumFromToSym1KindInferenceFromEnumSym0KindInferenceToEnumSym0KindInferencePredSym0KindInferenceSuccSym0KindInferenceEftNatEfdtNat EfdtNatUp EfdtNatDn EftNatSym0EftNatSym0KindInference EftNatSym1EftNatSym1KindInference EftNatSym2 EfdtNatSym0EfdtNatSym0KindInference EfdtNatSym1EfdtNatSym1KindInference EfdtNatSym2EfdtNatSym2KindInference EfdtNatSym3 EfdtNatUpSym0EfdtNatUpSym0KindInference EfdtNatUpSym1EfdtNatUpSym1KindInference EfdtNatUpSym2EfdtNatUpSym2KindInference EfdtNatUpSym3 EfdtNatDnSym0EfdtNatDnSym0KindInference EfdtNatDnSym1EfdtNatDnSym1KindInference EfdtNatDnSym2EfdtNatDnSym2KindInference EfdtNatDnSym3Let1627864682GoLet1627864682GoSym0 Let1627864682GoSym0KindInferenceLet1627864682GoSym1 Let1627864682GoSym1KindInferenceLet1627864682GoSym2 Let1627864682GoSym2KindInferenceLet1627864682GoSym3 Let1627864682GoSym3KindInferenceLet1627864682GoSym4 Let1627864682GoSym4KindInferenceLet1627864682GoSym5!Let1627864710Scrutinee_1627864248%Let1627864710Scrutinee_1627864248Sym02Let1627864710Scrutinee_1627864248Sym0KindInference%Let1627864710Scrutinee_1627864248Sym12Let1627864710Scrutinee_1627864248Sym1KindInference%Let1627864710Scrutinee_1627864248Sym22Let1627864710Scrutinee_1627864248Sym2KindInference%Let1627864710Scrutinee_1627864248Sym32Let1627864710Scrutinee_1627864248Sym3KindInference%Let1627864710Scrutinee_1627864248Sym42Let1627864710Scrutinee_1627864248Sym4KindInference%Let1627864710Scrutinee_1627864248Sym5Let1627864520Go_upLet1627864520Y'Let1627864520DeltaLet1627864520Go_upSym0#Let1627864520Go_upSym0KindInferenceLet1627864520Go_upSym1#Let1627864520Go_upSym1KindInferenceLet1627864520Go_upSym2#Let1627864520Go_upSym2KindInferenceLet1627864520Go_upSym3#Let1627864520Go_upSym3KindInferenceLet1627864520Go_upSym4#Let1627864520Go_upSym4KindInferenceLet1627864520Go_upSym5#Let1627864520Go_upSym5KindInferenceLet1627864520Go_upSym6#Let1627864520Go_upSym6KindInferenceLet1627864520Go_upSym7Let1627864520Y'Sym0 Let1627864520Y'Sym0KindInferenceLet1627864520Y'Sym1 Let1627864520Y'Sym1KindInferenceLet1627864520Y'Sym2 Let1627864520Y'Sym2KindInferenceLet1627864520Y'Sym3 Let1627864520Y'Sym3KindInferenceLet1627864520Y'Sym4 Let1627864520Y'Sym4KindInferenceLet1627864520Y'Sym5 Let1627864520Y'Sym5KindInferenceLet1627864520Y'Sym6Let1627864520DeltaSym0#Let1627864520DeltaSym0KindInferenceLet1627864520DeltaSym1#Let1627864520DeltaSym1KindInferenceLet1627864520DeltaSym2#Let1627864520DeltaSym2KindInferenceLet1627864520DeltaSym3#Let1627864520DeltaSym3KindInferenceLet1627864520DeltaSym4#Let1627864520DeltaSym4KindInferenceLet1627864520DeltaSym5#Let1627864520DeltaSym5KindInferenceLet1627864520DeltaSym6!Let1627864483Scrutinee_1627864262%Let1627864483Scrutinee_1627864262Sym02Let1627864483Scrutinee_1627864262Sym0KindInference%Let1627864483Scrutinee_1627864262Sym12Let1627864483Scrutinee_1627864262Sym1KindInference%Let1627864483Scrutinee_1627864262Sym22Let1627864483Scrutinee_1627864262Sym2KindInference%Let1627864483Scrutinee_1627864262Sym32Let1627864483Scrutinee_1627864262Sym3KindInference%Let1627864483Scrutinee_1627864262Sym42Let1627864483Scrutinee_1627864262Sym4KindInference%Let1627864483Scrutinee_1627864262Sym52Let1627864483Scrutinee_1627864262Sym5KindInference%Let1627864483Scrutinee_1627864262Sym6Let1627864338Go_dnLet1627864338Y'Let1627864338DeltaLet1627864338Go_dnSym0#Let1627864338Go_dnSym0KindInferenceLet1627864338Go_dnSym1#Let1627864338Go_dnSym1KindInferenceLet1627864338Go_dnSym2#Let1627864338Go_dnSym2KindInferenceLet1627864338Go_dnSym3#Let1627864338Go_dnSym3KindInferenceLet1627864338Go_dnSym4#Let1627864338Go_dnSym4KindInferenceLet1627864338Go_dnSym5#Let1627864338Go_dnSym5KindInferenceLet1627864338Go_dnSym6#Let1627864338Go_dnSym6KindInferenceLet1627864338Go_dnSym7Let1627864338Y'Sym0 Let1627864338Y'Sym0KindInferenceLet1627864338Y'Sym1 Let1627864338Y'Sym1KindInferenceLet1627864338Y'Sym2 Let1627864338Y'Sym2KindInferenceLet1627864338Y'Sym3 Let1627864338Y'Sym3KindInferenceLet1627864338Y'Sym4 Let1627864338Y'Sym4KindInferenceLet1627864338Y'Sym5 Let1627864338Y'Sym5KindInferenceLet1627864338Y'Sym6Let1627864338DeltaSym0#Let1627864338DeltaSym0KindInferenceLet1627864338DeltaSym1#Let1627864338DeltaSym1KindInferenceLet1627864338DeltaSym2#Let1627864338DeltaSym2KindInferenceLet1627864338DeltaSym3#Let1627864338DeltaSym3KindInferenceLet1627864338DeltaSym4#Let1627864338DeltaSym4KindInferenceLet1627864338DeltaSym5#Let1627864338DeltaSym5KindInferenceLet1627864338DeltaSym6!Let1627864301Scrutinee_1627864272%Let1627864301Scrutinee_1627864272Sym02Let1627864301Scrutinee_1627864272Sym0KindInference%Let1627864301Scrutinee_1627864272Sym12Let1627864301Scrutinee_1627864272Sym1KindInference%Let1627864301Scrutinee_1627864272Sym22Let1627864301Scrutinee_1627864272Sym2KindInference%Let1627864301Scrutinee_1627864272Sym32Let1627864301Scrutinee_1627864272Sym3KindInference%Let1627864301Scrutinee_1627864272Sym42Let1627864301Scrutinee_1627864272Sym4KindInference%Let1627864301Scrutinee_1627864272Sym52Let1627864301Scrutinee_1627864272Sym5KindInference%Let1627864301Scrutinee_1627864272Sym6 sEfdtNatDn sEfdtNatUpsEfdtNatsEftNat D:R:SuccNata0FromEnum_1627884903Sym0$FromEnum_1627884903Sym0KindInferenceFromEnum_1627884903Sym1ToEnum_1627884893Sym0"ToEnum_1627884893Sym0KindInferenceToEnum_1627884893Sym1FromEnum_1627884867Sym0$FromEnum_1627884867Sym0KindInferenceFromEnum_1627884867Sym1ToEnum_1627884857Sym0"ToEnum_1627884857Sym0KindInferenceToEnum_1627884857Sym1FromEnum_1627884828Sym0$FromEnum_1627884828Sym0KindInferenceFromEnum_1627884828Sym1ToEnum_1627884818Sym0"ToEnum_1627884818Sym0KindInferenceToEnum_1627884818Sym1D:R:ToEnum()a0Case_1627954060Case_1627954091Case_1627954113Case_1627954210Case_1627954257Case_1627954288Case_1627954319Case_1627954378Case_1627954387Case_1627954406Case_1627954483Case_1627954492Case_1627954511Case_1627954565Case_1627954584Case_1627954661Case_1627954692Case_1627954721Lambda_1627954829Case_1627954942Case_1627955020Lambda_1627955113Case_1627955117Lambda_1627955153Case_1627955157Lambda_1627955191Case_1627955195Lambda_1627955227Case_1627955231Lambda_1627955261Case_1627955265Lambda_1627955293Case_1627955297Lambda_1627955603Case_1627955606Case_1627955740Case_1627955773Case_1627955796Case_1627955820Case_1627955861Case_1627955886Case_1627955911Case_1627955936Case_1627956033Case_1627956058Case_1627956083Case_1627956108Case_1627956227Case_1627956274Case_1627956297Case_1627956502Case_1627956589Case_1627956806Case_1627956865Case_1627957018Lambda_1627957224Case_1627957247Any_Sym0KindInferenceAny_Sym1KindInferenceD:R:Apply(->)(->)Any_Sym0l0NonEmptySubsequences PrependToAllSelectElem_byTransposeSym0KindInferenceHeadSym0KindInferenceLastSym0KindInferenceTailSym0KindInferenceInitSym0KindInferenceDropWhileEndSym0KindInferenceDropWhileEndSym1KindInferenceNullSym0KindInferenceIsSuffixOfSym0KindInferenceIsSuffixOfSym1KindInferenceReverseSym0KindInferenceIntercalateSym0KindInferenceIntercalateSym1KindInferenceIntersperseSym0KindInferenceIntersperseSym1KindInferenceSubsequencesSym0KindInferenceNonEmptySubsequencesSym0%NonEmptySubsequencesSym0KindInferenceNonEmptySubsequencesSym1PrependToAllSym0PrependToAllSym0KindInferencePrependToAllSym1PrependToAllSym1KindInferencePrependToAllSym2PermutationsSym0KindInferenceFoldl1'Sym0KindInferenceFoldl1'Sym1KindInferenceFoldl'Sym0KindInferenceFoldl'Sym1KindInferenceFoldl'Sym2KindInferenceMinimumSym0KindInferenceMaximumSym0KindInferenceMinimumBySym0KindInferenceMinimumBySym1KindInferenceMaximumBySym0KindInferenceMaximumBySym1KindInferenceFoldl1Sym0KindInferenceFoldl1Sym1KindInferenceFoldr1Sym0KindInferenceFoldr1Sym1KindInferenceConcatSym0KindInferenceConcatMapSym0KindInferenceConcatMapSym1KindInferenceAndSym0KindInferenceOrSym0KindInferenceAllSym0KindInferenceAllSym1KindInferenceScanl1Sym0KindInferenceScanl1Sym1KindInferenceScanlSym0KindInferenceScanlSym1KindInferenceScanlSym2KindInferenceScanrSym0KindInferenceScanrSym1KindInferenceScanrSym2KindInferenceScanr1Sym0KindInferenceScanr1Sym1KindInferenceMapAccumLSym0KindInferenceMapAccumLSym1KindInferenceMapAccumLSym2KindInferenceMapAccumRSym0KindInferenceMapAccumRSym1KindInferenceMapAccumRSym2KindInferenceUnfoldrSym0KindInferenceUnfoldrSym1KindInferenceInitsSym0KindInferenceIsInfixOfSym0KindInferenceIsInfixOfSym1KindInferenceTailsSym0KindInferenceIsPrefixOfSym0KindInferenceIsPrefixOfSym1KindInferenceNubSym0KindInferenceElemSym0KindInferenceElemSym1KindInferenceNotElemSym0KindInferenceNotElemSym1KindInferenceElemIndexSym0KindInferenceElemIndexSym1KindInferenceFindIndexSym0KindInferenceFindIndexSym1KindInferenceElemIndicesSym0KindInferenceElemIndicesSym1KindInferenceFindIndicesSym0KindInferenceFindIndicesSym1KindInferenceZipSym0KindInferenceZipSym1KindInferenceZip3Sym0KindInferenceZip3Sym1KindInferenceZip3Sym2KindInferenceZipWithSym0KindInferenceZipWithSym1KindInferenceZipWithSym2KindInferenceZipWith3Sym0KindInferenceZipWith3Sym1KindInferenceZipWith3Sym2KindInferenceZipWith3Sym3KindInferenceUnzipSym0KindInferenceUnzip3Sym0KindInferenceUnzip4Sym0KindInferenceUnzip5Sym0KindInferenceUnzip6Sym0KindInferenceUnzip7Sym0KindInference:\\$###:\\$$###DeleteSym0KindInferenceDeleteSym1KindInferenceUnionSym0KindInferenceUnionSym1KindInferenceUnionBySym0KindInferenceUnionBySym1KindInferenceUnionBySym2KindInferenceDeleteFirstsBySym0KindInferenceDeleteFirstsBySym1KindInferenceDeleteFirstsBySym2KindInferenceDeleteBySym0KindInferenceDeleteBySym1KindInferenceDeleteBySym2KindInferenceSortSym0KindInferenceSortBySym0KindInferenceSortBySym1KindInferenceInsertSym0KindInferenceInsertSym1KindInferenceInsertBySym0KindInferenceInsertBySym1KindInferenceInsertBySym2KindInferenceIntersectSym0KindInferenceIntersectSym1KindInferenceIntersectBySym0KindInferenceIntersectBySym1KindInferenceIntersectBySym2KindInferenceFindSym0KindInferenceFindSym1KindInferenceFilterSym0KindInferenceFilterSym1KindInferenceTakeWhileSym0KindInferenceTakeWhileSym1KindInferenceDropWhileSym0KindInferenceDropWhileSym1KindInferenceGroupSym0KindInferenceGroupBySym0KindInferenceGroupBySym1KindInferenceSpanSym0KindInferenceSpanSym1KindInferenceBreakSym0KindInferenceBreakSym1KindInferenceSplitAtSym0KindInferenceSplitAtSym1KindInferenceTakeSym0KindInferenceTakeSym1KindInferenceDropSym0KindInferenceDropSym1KindInferenceLookupSym0KindInferenceLookupSym1KindInferencePartitionSym0KindInferencePartitionSym1KindInference SelectSym0SelectSym0KindInference SelectSym1SelectSym1KindInference SelectSym2SelectSym2KindInference SelectSym3SumSym0KindInferenceProductSym0KindInferenceLengthSym0KindInferenceReplicateSym0KindInferenceReplicateSym1KindInference:!!$###:!!$$###NubBySym0KindInferenceNubBySym1KindInference Elem_bySym0Elem_bySym0KindInference Elem_bySym1Elem_bySym1KindInference Elem_bySym2Elem_bySym2KindInference Elem_bySym3GenericLengthSym0KindInferenceLet1627957276Init'Let1627957276Init'Sym0#Let1627957276Init'Sym0KindInferenceLet1627957276Init'Sym1#Let1627957276Init'Sym1KindInferenceLet1627957276Init'Sym2#Let1627957276Init'Sym2KindInferenceLet1627957276Init'Sym3#Let1627957276Init'Sym3KindInferenceLet1627957276Init'Sym4Lambda_1627957224Sym0"Lambda_1627957224Sym0KindInferenceLambda_1627957224Sym1"Lambda_1627957224Sym1KindInferenceLambda_1627957224Sym2"Lambda_1627957224Sym2KindInferenceLambda_1627957224Sym3"Lambda_1627957224Sym3KindInferenceLambda_1627957224Sym4!Let1627957228Scrutinee_1627953926%Let1627957228Scrutinee_1627953926Sym02Let1627957228Scrutinee_1627953926Sym0KindInference%Let1627957228Scrutinee_1627953926Sym12Let1627957228Scrutinee_1627953926Sym1KindInference%Let1627957228Scrutinee_1627953926Sym22Let1627957228Scrutinee_1627953926Sym2KindInference%Let1627957228Scrutinee_1627953926Sym32Let1627957228Scrutinee_1627953926Sym3KindInference%Let1627957228Scrutinee_1627953926Sym4Let1627957171RevLet1627957171RevSym0!Let1627957171RevSym0KindInferenceLet1627957171RevSym1!Let1627957171RevSym1KindInferenceLet1627957171RevSym2!Let1627957171RevSym2KindInferenceLet1627957171RevSym3Let1627957112FLet1627957112FSym0Let1627957112FSym0KindInferenceLet1627957112FSym1Let1627957112FSym1KindInferenceLet1627957112FSym2Let1627957112FSym2KindInferenceLet1627957112FSym3Let1627957112FSym3KindInferenceLet1627957112FSym4Let1627956724PermsLet1627956724PermsSym0#Let1627956724PermsSym0KindInferenceLet1627956724PermsSym1#Let1627956724PermsSym1KindInferenceLet1627956724PermsSym2#Let1627956724PermsSym2KindInferenceLet1627956724PermsSym3Let1627956745InterleaveLet1627956745Interleave'Let1627956745InterleaveSym0(Let1627956745InterleaveSym0KindInferenceLet1627956745InterleaveSym1(Let1627956745InterleaveSym1KindInferenceLet1627956745InterleaveSym2(Let1627956745InterleaveSym2KindInferenceLet1627956745InterleaveSym3(Let1627956745InterleaveSym3KindInferenceLet1627956745InterleaveSym4(Let1627956745InterleaveSym4KindInferenceLet1627956745InterleaveSym5(Let1627956745InterleaveSym5KindInferenceLet1627956745InterleaveSym6Let1627956745Interleave'Sym0)Let1627956745Interleave'Sym0KindInferenceLet1627956745Interleave'Sym1)Let1627956745Interleave'Sym1KindInferenceLet1627956745Interleave'Sym2)Let1627956745Interleave'Sym2KindInferenceLet1627956745Interleave'Sym3)Let1627956745Interleave'Sym3KindInferenceLet1627956745Interleave'Sym4)Let1627956745Interleave'Sym4KindInferenceLet1627956745Interleave'Sym5)Let1627956745Interleave'Sym5KindInferenceLet1627956745Interleave'Sym6)Let1627956745Interleave'Sym6KindInferenceLet1627956745Interleave'Sym7Let1627957013X_1627957014Let1627957013ZsLet1627957013X_1627957014Sym0*Let1627957013X_1627957014Sym0KindInferenceLet1627957013X_1627957014Sym1*Let1627957013X_1627957014Sym1KindInferenceLet1627957013X_1627957014Sym2*Let1627957013X_1627957014Sym2KindInferenceLet1627957013X_1627957014Sym3*Let1627957013X_1627957014Sym3KindInferenceLet1627957013X_1627957014Sym4*Let1627957013X_1627957014Sym4KindInferenceLet1627957013X_1627957014Sym5*Let1627957013X_1627957014Sym5KindInferenceLet1627957013X_1627957014Sym6Let1627957013ZsSym0 Let1627957013ZsSym0KindInferenceLet1627957013ZsSym1 Let1627957013ZsSym1KindInferenceLet1627957013ZsSym2 Let1627957013ZsSym2KindInferenceLet1627957013ZsSym3 Let1627957013ZsSym3KindInferenceLet1627957013ZsSym4 Let1627957013ZsSym4KindInferenceLet1627957013ZsSym5 Let1627957013ZsSym5KindInferenceLet1627957013ZsSym6Let1627956799X_1627956800Let1627956799ZsLet1627956799UsLet1627956799X_1627956800Sym0*Let1627956799X_1627956800Sym0KindInferenceLet1627956799X_1627956800Sym1*Let1627956799X_1627956800Sym1KindInferenceLet1627956799X_1627956800Sym2*Let1627956799X_1627956800Sym2KindInferenceLet1627956799X_1627956800Sym3*Let1627956799X_1627956800Sym3KindInferenceLet1627956799X_1627956800Sym4*Let1627956799X_1627956800Sym4KindInferenceLet1627956799X_1627956800Sym5*Let1627956799X_1627956800Sym5KindInferenceLet1627956799X_1627956800Sym6*Let1627956799X_1627956800Sym6KindInferenceLet1627956799X_1627956800Sym7*Let1627956799X_1627956800Sym7KindInferenceLet1627956799X_1627956800Sym8Let1627956799ZsSym0 Let1627956799ZsSym0KindInferenceLet1627956799ZsSym1 Let1627956799ZsSym1KindInferenceLet1627956799ZsSym2 Let1627956799ZsSym2KindInferenceLet1627956799ZsSym3 Let1627956799ZsSym3KindInferenceLet1627956799ZsSym4 Let1627956799ZsSym4KindInferenceLet1627956799ZsSym5 Let1627956799ZsSym5KindInferenceLet1627956799ZsSym6 Let1627956799ZsSym6KindInferenceLet1627956799ZsSym7 Let1627956799ZsSym7KindInferenceLet1627956799ZsSym8Let1627956799UsSym0 Let1627956799UsSym0KindInferenceLet1627956799UsSym1 Let1627956799UsSym1KindInferenceLet1627956799UsSym2 Let1627956799UsSym2KindInferenceLet1627956799UsSym3 Let1627956799UsSym3KindInferenceLet1627956799UsSym4 Let1627956799UsSym4KindInferenceLet1627956799UsSym5 Let1627956799UsSym5KindInferenceLet1627956799UsSym6 Let1627956799UsSym6KindInferenceLet1627956799UsSym7 Let1627956799UsSym7KindInferenceLet1627956799UsSym8Let1627956638LgoLet1627956638LgoSym0!Let1627956638LgoSym0KindInferenceLet1627956638LgoSym1!Let1627956638LgoSym1KindInferenceLet1627956638LgoSym2!Let1627956638LgoSym2KindInferenceLet1627956638LgoSym3!Let1627956638LgoSym3KindInferenceLet1627956638LgoSym4!Let1627956638LgoSym4KindInferenceLet1627956638LgoSym5Let1627956670Z'Let1627956670Z'Sym0 Let1627956670Z'Sym0KindInferenceLet1627956670Z'Sym1 Let1627956670Z'Sym1KindInferenceLet1627956670Z'Sym2 Let1627956670Z'Sym2KindInferenceLet1627956670Z'Sym3 Let1627956670Z'Sym3KindInferenceLet1627956670Z'Sym4 Let1627956670Z'Sym4KindInferenceLet1627956670Z'Sym5 Let1627956670Z'Sym5KindInferenceLet1627956670Z'Sym6Let1627956612XsLet1627956612XsSym0 Let1627956612XsSym0KindInferenceLet1627956612XsSym1 Let1627956612XsSym1KindInferenceLet1627956612XsSym2Let1627956598XsLet1627956598XsSym0 Let1627956598XsSym0KindInferenceLet1627956598XsSym1 Let1627956598XsSym1KindInferenceLet1627956598XsSym2Let1627956533MinByLet1627956533MinBySym0#Let1627956533MinBySym0KindInferenceLet1627956533MinBySym1#Let1627956533MinBySym1KindInferenceLet1627956533MinBySym2#Let1627956533MinBySym2KindInferenceLet1627956533MinBySym3#Let1627956533MinBySym3KindInferenceLet1627956533MinBySym4#Let1627956533MinBySym4KindInferenceLet1627956533MinBySym5!Let1627956563Scrutinee_1627953904%Let1627956563Scrutinee_1627953904Sym02Let1627956563Scrutinee_1627953904Sym0KindInference%Let1627956563Scrutinee_1627953904Sym12Let1627956563Scrutinee_1627953904Sym1KindInference%Let1627956563Scrutinee_1627953904Sym22Let1627956563Scrutinee_1627953904Sym2KindInference%Let1627956563Scrutinee_1627953904Sym32Let1627956563Scrutinee_1627953904Sym3KindInference%Let1627956563Scrutinee_1627953904Sym42Let1627956563Scrutinee_1627953904Sym4KindInference%Let1627956563Scrutinee_1627953904Sym5Let1627956520XsLet1627956520XsSym0 Let1627956520XsSym0KindInferenceLet1627956520XsSym1 Let1627956520XsSym1KindInferenceLet1627956520XsSym2 Let1627956520XsSym2KindInferenceLet1627956520XsSym3Let1627956446MaxByLet1627956446MaxBySym0#Let1627956446MaxBySym0KindInferenceLet1627956446MaxBySym1#Let1627956446MaxBySym1KindInferenceLet1627956446MaxBySym2#Let1627956446MaxBySym2KindInferenceLet1627956446MaxBySym3#Let1627956446MaxBySym3KindInferenceLet1627956446MaxBySym4#Let1627956446MaxBySym4KindInferenceLet1627956446MaxBySym5!Let1627956476Scrutinee_1627953898%Let1627956476Scrutinee_1627953898Sym02Let1627956476Scrutinee_1627953898Sym0KindInference%Let1627956476Scrutinee_1627953898Sym12Let1627956476Scrutinee_1627953898Sym1KindInference%Let1627956476Scrutinee_1627953898Sym22Let1627956476Scrutinee_1627953898Sym2KindInference%Let1627956476Scrutinee_1627953898Sym32Let1627956476Scrutinee_1627953898Sym3KindInference%Let1627956476Scrutinee_1627953898Sym42Let1627956476Scrutinee_1627953898Sym4KindInference%Let1627956476Scrutinee_1627953898Sym5Let1627956433XsLet1627956433XsSym0 Let1627956433XsSym0KindInferenceLet1627956433XsSym1 Let1627956433XsSym1KindInferenceLet1627956433XsSym2 Let1627956433XsSym2KindInferenceLet1627956433XsSym3Let1627956381XsLet1627956381XsSym0 Let1627956381XsSym0KindInferenceLet1627956381XsSym1 Let1627956381XsSym1KindInferenceLet1627956381XsSym2 Let1627956381XsSym2KindInferenceLet1627956381XsSym3 Let1627956381XsSym3KindInferenceLet1627956381XsSym4!Let1627956255Scrutinee_1627953860%Let1627956255Scrutinee_1627953860Sym02Let1627956255Scrutinee_1627953860Sym0KindInference%Let1627956255Scrutinee_1627953860Sym12Let1627956255Scrutinee_1627953860Sym1KindInference%Let1627956255Scrutinee_1627953860Sym22Let1627956255Scrutinee_1627953860Sym2KindInference%Let1627956255Scrutinee_1627953860Sym32Let1627956255Scrutinee_1627953860Sym3KindInference%Let1627956255Scrutinee_1627953860Sym4!Let1627956208Scrutinee_1627953862%Let1627956208Scrutinee_1627953862Sym02Let1627956208Scrutinee_1627953862Sym0KindInference%Let1627956208Scrutinee_1627953862Sym12Let1627956208Scrutinee_1627953862Sym1KindInference%Let1627956208Scrutinee_1627953862Sym22Let1627956208Scrutinee_1627953862Sym2KindInference%Let1627956208Scrutinee_1627953862Sym32Let1627956208Scrutinee_1627953862Sym3KindInference%Let1627956208Scrutinee_1627953862Sym4Let1627956189XsLet1627956189XsSym0 Let1627956189XsSym0KindInferenceLet1627956189XsSym1 Let1627956189XsSym1KindInferenceLet1627956189XsSym2 Let1627956189XsSym2KindInferenceLet1627956189XsSym3 Let1627956189XsSym3KindInferenceLet1627956189XsSym4Let1627956020X_1627956027Let1627956020X_1627956021Let1627956020YsLet1627956020S''Let1627956020YLet1627956020S'Let1627956020X_1627956027Sym0*Let1627956020X_1627956027Sym0KindInferenceLet1627956020X_1627956027Sym1*Let1627956020X_1627956027Sym1KindInferenceLet1627956020X_1627956027Sym2*Let1627956020X_1627956027Sym2KindInferenceLet1627956020X_1627956027Sym3*Let1627956020X_1627956027Sym3KindInferenceLet1627956020X_1627956027Sym4Let1627956020X_1627956021Sym0*Let1627956020X_1627956021Sym0KindInferenceLet1627956020X_1627956021Sym1*Let1627956020X_1627956021Sym1KindInferenceLet1627956020X_1627956021Sym2*Let1627956020X_1627956021Sym2KindInferenceLet1627956020X_1627956021Sym3*Let1627956020X_1627956021Sym3KindInferenceLet1627956020X_1627956021Sym4Let1627956020YsSym0 Let1627956020YsSym0KindInferenceLet1627956020YsSym1 Let1627956020YsSym1KindInferenceLet1627956020YsSym2 Let1627956020YsSym2KindInferenceLet1627956020YsSym3 Let1627956020YsSym3KindInferenceLet1627956020YsSym4Let1627956020S''Sym0!Let1627956020S''Sym0KindInferenceLet1627956020S''Sym1!Let1627956020S''Sym1KindInferenceLet1627956020S''Sym2!Let1627956020S''Sym2KindInferenceLet1627956020S''Sym3!Let1627956020S''Sym3KindInferenceLet1627956020S''Sym4Let1627956020YSym0Let1627956020YSym0KindInferenceLet1627956020YSym1Let1627956020YSym1KindInferenceLet1627956020YSym2Let1627956020YSym2KindInferenceLet1627956020YSym3Let1627956020YSym3KindInferenceLet1627956020YSym4Let1627956020S'Sym0 Let1627956020S'Sym0KindInferenceLet1627956020S'Sym1 Let1627956020S'Sym1KindInferenceLet1627956020S'Sym2 Let1627956020S'Sym2KindInferenceLet1627956020S'Sym3 Let1627956020S'Sym3KindInferenceLet1627956020S'Sym4Let1627955848X_1627955855Let1627955848X_1627955849Let1627955848YLet1627955848S''Let1627955848YsLet1627955848S'Let1627955848X_1627955855Sym0*Let1627955848X_1627955855Sym0KindInferenceLet1627955848X_1627955855Sym1*Let1627955848X_1627955855Sym1KindInferenceLet1627955848X_1627955855Sym2*Let1627955848X_1627955855Sym2KindInferenceLet1627955848X_1627955855Sym3*Let1627955848X_1627955855Sym3KindInferenceLet1627955848X_1627955855Sym4Let1627955848X_1627955849Sym0*Let1627955848X_1627955849Sym0KindInferenceLet1627955848X_1627955849Sym1*Let1627955848X_1627955849Sym1KindInferenceLet1627955848X_1627955849Sym2*Let1627955848X_1627955849Sym2KindInferenceLet1627955848X_1627955849Sym3*Let1627955848X_1627955849Sym3KindInferenceLet1627955848X_1627955849Sym4Let1627955848YSym0Let1627955848YSym0KindInferenceLet1627955848YSym1Let1627955848YSym1KindInferenceLet1627955848YSym2Let1627955848YSym2KindInferenceLet1627955848YSym3Let1627955848YSym3KindInferenceLet1627955848YSym4Let1627955848S''Sym0!Let1627955848S''Sym0KindInferenceLet1627955848S''Sym1!Let1627955848S''Sym1KindInferenceLet1627955848S''Sym2!Let1627955848S''Sym2KindInferenceLet1627955848S''Sym3!Let1627955848S''Sym3KindInferenceLet1627955848S''Sym4Let1627955848YsSym0 Let1627955848YsSym0KindInferenceLet1627955848YsSym1 Let1627955848YsSym1KindInferenceLet1627955848YsSym2 Let1627955848YsSym2KindInferenceLet1627955848YsSym3 Let1627955848YsSym3KindInferenceLet1627955848YsSym4Let1627955848S'Sym0 Let1627955848S'Sym0KindInferenceLet1627955848S'Sym1 Let1627955848S'Sym1KindInferenceLet1627955848S'Sym2 Let1627955848S'Sym2KindInferenceLet1627955848S'Sym3 Let1627955848S'Sym3KindInferenceLet1627955848S'Sym4!Let1627955812Scrutinee_1627953868%Let1627955812Scrutinee_1627953868Sym02Let1627955812Scrutinee_1627953868Sym0KindInference%Let1627955812Scrutinee_1627953868Sym12Let1627955812Scrutinee_1627953868Sym1KindInference%Let1627955812Scrutinee_1627953868Sym2Let1627955700Nub'Let1627955700Nub'Sym0"Let1627955700Nub'Sym0KindInferenceLet1627955700Nub'Sym1"Let1627955700Nub'Sym1KindInferenceLet1627955700Nub'Sym2"Let1627955700Nub'Sym2KindInferenceLet1627955700Nub'Sym3!Let1627955721Scrutinee_1627953952%Let1627955721Scrutinee_1627953952Sym02Let1627955721Scrutinee_1627953952Sym0KindInference%Let1627955721Scrutinee_1627953952Sym12Let1627955721Scrutinee_1627953952Sym1KindInference%Let1627955721Scrutinee_1627953952Sym22Let1627955721Scrutinee_1627953952Sym2KindInference%Let1627955721Scrutinee_1627953952Sym32Let1627955721Scrutinee_1627953952Sym3KindInference%Let1627955721Scrutinee_1627953952Sym4Lambda_1627955603Sym0"Lambda_1627955603Sym0KindInferenceLambda_1627955603Sym1"Lambda_1627955603Sym1KindInferenceLambda_1627955603Sym2"Lambda_1627955603Sym2KindInferenceLambda_1627955603Sym3Let1627955574BuildListLet1627955574BuildListSym0'Let1627955574BuildListSym0KindInferenceLet1627955574BuildListSym1'Let1627955574BuildListSym1KindInferenceLet1627955574BuildListSym2'Let1627955574BuildListSym2KindInferenceLet1627955574BuildListSym3'Let1627955574BuildListSym3KindInferenceLet1627955574BuildListSym4Lambda_1627955293Sym0"Lambda_1627955293Sym0KindInferenceLambda_1627955293Sym1"Lambda_1627955293Sym1KindInferenceLambda_1627955293Sym2"Lambda_1627955293Sym2KindInferenceLambda_1627955293Sym3Lambda_1627955261Sym0"Lambda_1627955261Sym0KindInferenceLambda_1627955261Sym1"Lambda_1627955261Sym1KindInferenceLambda_1627955261Sym2"Lambda_1627955261Sym2KindInferenceLambda_1627955261Sym3Lambda_1627955227Sym0"Lambda_1627955227Sym0KindInferenceLambda_1627955227Sym1"Lambda_1627955227Sym1KindInferenceLambda_1627955227Sym2"Lambda_1627955227Sym2KindInferenceLambda_1627955227Sym3Lambda_1627955191Sym0"Lambda_1627955191Sym0KindInferenceLambda_1627955191Sym1"Lambda_1627955191Sym1KindInferenceLambda_1627955191Sym2"Lambda_1627955191Sym2KindInferenceLambda_1627955191Sym3Lambda_1627955153Sym0"Lambda_1627955153Sym0KindInferenceLambda_1627955153Sym1"Lambda_1627955153Sym1KindInferenceLambda_1627955153Sym2"Lambda_1627955153Sym2KindInferenceLambda_1627955153Sym3Lambda_1627955113Sym0"Lambda_1627955113Sym0KindInferenceLambda_1627955113Sym1"Lambda_1627955113Sym1KindInferenceLambda_1627955113Sym2"Lambda_1627955113Sym2KindInferenceLambda_1627955113Sym3!Let1627955001Scrutinee_1627953894%Let1627955001Scrutinee_1627953894Sym02Let1627955001Scrutinee_1627953894Sym0KindInference%Let1627955001Scrutinee_1627953894Sym12Let1627955001Scrutinee_1627953894Sym1KindInference%Let1627955001Scrutinee_1627953894Sym22Let1627955001Scrutinee_1627953894Sym2KindInference%Let1627955001Scrutinee_1627953894Sym32Let1627955001Scrutinee_1627953894Sym3KindInference%Let1627955001Scrutinee_1627953894Sym4!Let1627954923Scrutinee_1627953896%Let1627954923Scrutinee_1627953896Sym02Let1627954923Scrutinee_1627953896Sym0KindInference%Let1627954923Scrutinee_1627953896Sym12Let1627954923Scrutinee_1627953896Sym1KindInference%Let1627954923Scrutinee_1627953896Sym22Let1627954923Scrutinee_1627953896Sym2KindInference%Let1627954923Scrutinee_1627953896Sym32Let1627954923Scrutinee_1627953896Sym3KindInference%Let1627954923Scrutinee_1627953896Sym4Let1627954904YsLet1627954904YsSym0 Let1627954904YsSym0KindInferenceLet1627954904YsSym1 Let1627954904YsSym1KindInferenceLet1627954904YsSym2 Let1627954904YsSym2KindInferenceLet1627954904YsSym3 Let1627954904YsSym3KindInferenceLet1627954904YsSym4Lambda_1627954829Sym0"Lambda_1627954829Sym0KindInferenceLambda_1627954829Sym1"Lambda_1627954829Sym1KindInferenceLambda_1627954829Sym2"Lambda_1627954829Sym2KindInferenceLambda_1627954829Sym3"Lambda_1627954829Sym3KindInferenceLambda_1627954829Sym4"Lambda_1627954829Sym4KindInferenceLambda_1627954829Sym5"Lambda_1627954829Sym5KindInferenceLambda_1627954829Sym6Let1627954778YsLet1627954778XsLet1627954778YsSym0 Let1627954778YsSym0KindInferenceLet1627954778YsSym1 Let1627954778YsSym1KindInferenceLet1627954778YsSym2 Let1627954778YsSym2KindInferenceLet1627954778YsSym3 Let1627954778YsSym3KindInferenceLet1627954778YsSym4 Let1627954778YsSym4KindInferenceLet1627954778YsSym5Let1627954778XsSym0 Let1627954778XsSym0KindInferenceLet1627954778XsSym1 Let1627954778XsSym1KindInferenceLet1627954778XsSym2 Let1627954778XsSym2KindInferenceLet1627954778XsSym3 Let1627954778XsSym3KindInferenceLet1627954778XsSym4 Let1627954778XsSym4KindInferenceLet1627954778XsSym5!Let1627954708Scrutinee_1627953910%Let1627954708Scrutinee_1627953910Sym02Let1627954708Scrutinee_1627953910Sym0KindInference%Let1627954708Scrutinee_1627953910Sym12Let1627954708Scrutinee_1627953910Sym1KindInference%Let1627954708Scrutinee_1627953910Sym22Let1627954708Scrutinee_1627953910Sym2KindInference%Let1627954708Scrutinee_1627953910Sym3!Let1627954679Scrutinee_1627953922%Let1627954679Scrutinee_1627953922Sym02Let1627954679Scrutinee_1627953922Sym0KindInference%Let1627954679Scrutinee_1627953922Sym12Let1627954679Scrutinee_1627953922Sym1KindInference%Let1627954679Scrutinee_1627953922Sym22Let1627954679Scrutinee_1627953922Sym2KindInference%Let1627954679Scrutinee_1627953922Sym3!Let1627954648Scrutinee_1627953924%Let1627954648Scrutinee_1627953924Sym02Let1627954648Scrutinee_1627953924Sym0KindInference%Let1627954648Scrutinee_1627953924Sym12Let1627954648Scrutinee_1627953924Sym1KindInference%Let1627954648Scrutinee_1627953924Sym22Let1627954648Scrutinee_1627953924Sym2KindInference%Let1627954648Scrutinee_1627953924Sym3Let1627954635XsLet1627954635XsSym0 Let1627954635XsSym0KindInferenceLet1627954635XsSym1 Let1627954635XsSym1KindInferenceLet1627954635XsSym2 Let1627954635XsSym2KindInferenceLet1627954635XsSym3Let1627954558X_1627954559Let1627954558ZsLet1627954558YsLet1627954558X_1627954559Sym0*Let1627954558X_1627954559Sym0KindInferenceLet1627954558X_1627954559Sym1*Let1627954558X_1627954559Sym1KindInferenceLet1627954558X_1627954559Sym2*Let1627954558X_1627954559Sym2KindInferenceLet1627954558X_1627954559Sym3Let1627954558ZsSym0 Let1627954558ZsSym0KindInferenceLet1627954558ZsSym1 Let1627954558ZsSym1KindInferenceLet1627954558ZsSym2 Let1627954558ZsSym2KindInferenceLet1627954558ZsSym3Let1627954558YsSym0 Let1627954558YsSym0KindInferenceLet1627954558YsSym1 Let1627954558YsSym1KindInferenceLet1627954558YsSym2 Let1627954558YsSym2KindInferenceLet1627954558YsSym3Let1627954485X_1627954486Let1627954485ZsLet1627954485YsLet1627954485X_1627954486Sym0*Let1627954485X_1627954486Sym0KindInferenceLet1627954485X_1627954486Sym1*Let1627954485X_1627954486Sym1KindInferenceLet1627954485X_1627954486Sym2*Let1627954485X_1627954486Sym2KindInferenceLet1627954485X_1627954486Sym3Let1627954485ZsSym0 Let1627954485ZsSym0KindInferenceLet1627954485ZsSym1 Let1627954485ZsSym1KindInferenceLet1627954485ZsSym2 Let1627954485ZsSym2KindInferenceLet1627954485ZsSym3Let1627954485YsSym0 Let1627954485YsSym0KindInferenceLet1627954485YsSym1 Let1627954485YsSym1KindInferenceLet1627954485YsSym2 Let1627954485YsSym2KindInferenceLet1627954485YsSym3!Let1627954470Scrutinee_1627953928%Let1627954470Scrutinee_1627953928Sym02Let1627954470Scrutinee_1627953928Sym0KindInference%Let1627954470Scrutinee_1627953928Sym12Let1627954470Scrutinee_1627953928Sym1KindInference%Let1627954470Scrutinee_1627953928Sym22Let1627954470Scrutinee_1627953928Sym2KindInference%Let1627954470Scrutinee_1627953928Sym3Let1627954457XsLet1627954457XsSym0 Let1627954457XsSym0KindInferenceLet1627954457XsSym1 Let1627954457XsSym1KindInferenceLet1627954457XsSym2 Let1627954457XsSym2KindInferenceLet1627954457XsSym3Let1627954450XsLet1627954450XsSym0 Let1627954450XsSym0KindInferenceLet1627954450XsSym1Let1627954380X_1627954381Let1627954380ZsLet1627954380YsLet1627954380X_1627954381Sym0*Let1627954380X_1627954381Sym0KindInferenceLet1627954380X_1627954381Sym1*Let1627954380X_1627954381Sym1KindInferenceLet1627954380X_1627954381Sym2*Let1627954380X_1627954381Sym2KindInferenceLet1627954380X_1627954381Sym3Let1627954380ZsSym0 Let1627954380ZsSym0KindInferenceLet1627954380ZsSym1 Let1627954380ZsSym1KindInferenceLet1627954380ZsSym2 Let1627954380ZsSym2KindInferenceLet1627954380ZsSym3Let1627954380YsSym0 Let1627954380YsSym0KindInferenceLet1627954380YsSym1 Let1627954380YsSym1KindInferenceLet1627954380YsSym2 Let1627954380YsSym2KindInferenceLet1627954380YsSym3!Let1627954365Scrutinee_1627953930%Let1627954365Scrutinee_1627953930Sym02Let1627954365Scrutinee_1627953930Sym0KindInference%Let1627954365Scrutinee_1627953930Sym12Let1627954365Scrutinee_1627953930Sym1KindInference%Let1627954365Scrutinee_1627953930Sym22Let1627954365Scrutinee_1627953930Sym2KindInference%Let1627954365Scrutinee_1627953930Sym3Let1627954352XsLet1627954352XsSym0 Let1627954352XsSym0KindInferenceLet1627954352XsSym1 Let1627954352XsSym1KindInferenceLet1627954352XsSym2 Let1627954352XsSym2KindInferenceLet1627954352XsSym3Let1627954345XsLet1627954345XsSym0 Let1627954345XsSym0KindInferenceLet1627954345XsSym1!Let1627954306Scrutinee_1627953932%Let1627954306Scrutinee_1627953932Sym02Let1627954306Scrutinee_1627953932Sym0KindInference%Let1627954306Scrutinee_1627953932Sym12Let1627954306Scrutinee_1627953932Sym1KindInference%Let1627954306Scrutinee_1627953932Sym22Let1627954306Scrutinee_1627953932Sym2KindInference%Let1627954306Scrutinee_1627953932Sym3!Let1627954275Scrutinee_1627953934%Let1627954275Scrutinee_1627953934Sym02Let1627954275Scrutinee_1627953934Sym0KindInference%Let1627954275Scrutinee_1627953934Sym12Let1627954275Scrutinee_1627953934Sym1KindInference%Let1627954275Scrutinee_1627953934Sym22Let1627954275Scrutinee_1627953934Sym2KindInference%Let1627954275Scrutinee_1627953934Sym3!Let1627954238Scrutinee_1627953944%Let1627954238Scrutinee_1627953944Sym02Let1627954238Scrutinee_1627953944Sym0KindInference%Let1627954238Scrutinee_1627953944Sym12Let1627954238Scrutinee_1627953944Sym1KindInference%Let1627954238Scrutinee_1627953944Sym22Let1627954238Scrutinee_1627953944Sym2KindInference%Let1627954238Scrutinee_1627953944Sym32Let1627954238Scrutinee_1627953944Sym3KindInference%Let1627954238Scrutinee_1627953944Sym4!Let1627954191Scrutinee_1627953946%Let1627954191Scrutinee_1627953946Sym02Let1627954191Scrutinee_1627953946Sym0KindInference%Let1627954191Scrutinee_1627953946Sym12Let1627954191Scrutinee_1627953946Sym1KindInference%Let1627954191Scrutinee_1627953946Sym22Let1627954191Scrutinee_1627953946Sym2KindInference%Let1627954191Scrutinee_1627953946Sym32Let1627954191Scrutinee_1627953946Sym3KindInference%Let1627954191Scrutinee_1627953946Sym4Let1627954153Sum'Let1627954153Sum'Sym0"Let1627954153Sum'Sym0KindInferenceLet1627954153Sum'Sym1"Let1627954153Sum'Sym1KindInferenceLet1627954153Sum'Sym2"Let1627954153Sum'Sym2KindInferenceLet1627954153Sum'Sym3Let1627954129ProdLet1627954129ProdSym0"Let1627954129ProdSym0KindInferenceLet1627954129ProdSym1"Let1627954129ProdSym1KindInferenceLet1627954129ProdSym2"Let1627954129ProdSym2KindInferenceLet1627954129ProdSym3!Let1627954105Scrutinee_1627953948%Let1627954105Scrutinee_1627953948Sym02Let1627954105Scrutinee_1627953948Sym0KindInference%Let1627954105Scrutinee_1627953948Sym12Let1627954105Scrutinee_1627953948Sym1KindInference%Let1627954105Scrutinee_1627953948Sym2!Let1627954078Scrutinee_1627953950%Let1627954078Scrutinee_1627953950Sym02Let1627954078Scrutinee_1627953950Sym0KindInference%Let1627954078Scrutinee_1627953950Sym12Let1627954078Scrutinee_1627953950Sym1KindInference%Let1627954078Scrutinee_1627953950Sym22Let1627954078Scrutinee_1627953950Sym2KindInference%Let1627954078Scrutinee_1627953950Sym3Let1627954007NubBy'Let1627954007NubBy'Sym0$Let1627954007NubBy'Sym0KindInferenceLet1627954007NubBy'Sym1$Let1627954007NubBy'Sym1KindInferenceLet1627954007NubBy'Sym2$Let1627954007NubBy'Sym2KindInferenceLet1627954007NubBy'Sym3$Let1627954007NubBy'Sym3KindInferenceLet1627954007NubBy'Sym4!Let1627954034Scrutinee_1627953954%Let1627954034Scrutinee_1627953954Sym02Let1627954034Scrutinee_1627953954Sym0KindInference%Let1627954034Scrutinee_1627953954Sym12Let1627954034Scrutinee_1627953954Sym1KindInference%Let1627954034Scrutinee_1627953954Sym22Let1627954034Scrutinee_1627953954Sym2KindInference%Let1627954034Scrutinee_1627953954Sym32Let1627954034Scrutinee_1627953954Sym3KindInference%Let1627954034Scrutinee_1627953954Sym42Let1627954034Scrutinee_1627953954Sym4KindInference%Let1627954034Scrutinee_1627953954Sym5sElem_bysSelect sPrependToAllsNonEmptySubsequencesD:R:Apply[][]TransposeSym0l0Case_1628252366Case_1628252372Case_1628252374StripPrefixSym0KindInferenceStripPrefixSym1KindInferenceZip4Sym0KindInferenceZip4Sym1KindInferenceZip4Sym2KindInferenceZip4Sym3KindInferenceZip5Sym0KindInferenceZip5Sym1KindInferenceZip5Sym2KindInferenceZip5Sym3KindInferenceZip5Sym4KindInferenceZip6Sym0KindInferenceZip6Sym1KindInferenceZip6Sym2KindInferenceZip6Sym3KindInferenceZip6Sym4KindInferenceZip6Sym5KindInferenceZip7Sym0KindInferenceZip7Sym1KindInferenceZip7Sym2KindInferenceZip7Sym3KindInferenceZip7Sym4KindInferenceZip7Sym5KindInferenceZip7Sym6KindInferenceZipWith4Sym0KindInferenceZipWith4Sym1KindInferenceZipWith4Sym2KindInferenceZipWith4Sym3KindInferenceZipWith4Sym4KindInferenceZipWith5Sym0KindInferenceZipWith5Sym1KindInferenceZipWith5Sym2KindInferenceZipWith5Sym3KindInferenceZipWith5Sym4KindInferenceZipWith5Sym5KindInferenceZipWith6Sym0KindInferenceZipWith6Sym1KindInferenceZipWith6Sym2KindInferenceZipWith6Sym3KindInferenceZipWith6Sym4KindInferenceZipWith6Sym5KindInferenceZipWith6Sym6KindInferenceZipWith7Sym0KindInferenceZipWith7Sym1KindInferenceZipWith7Sym2KindInferenceZipWith7Sym3KindInferenceZipWith7Sym4KindInferenceZipWith7Sym5KindInferenceZipWith7Sym6KindInferenceZipWith7Sym7KindInferenceGenericTakeSym0KindInferenceGenericTakeSym1KindInferenceGenericDropSym0KindInferenceGenericDropSym1KindInferenceGenericSplitAtSym0KindInferenceGenericSplitAtSym1KindInferenceGenericIndexSym0KindInferenceGenericIndexSym1KindInference!GenericReplicateSym0KindInference!GenericReplicateSym1KindInference D:R:Apply[](->)StripPrefixSym0l0