indextype-0.2.3.0: A series of type families and constraints for "indexable" types.

CopyrightClinton Mead 2017
LicenseBSD3
Maintainerclintonmead@gmail.com
Stabilityexperimental
PortabilityGHC
Safe HaskellSafe
LanguageHaskell2010

Control.IndexT.TypeLevel

Description

This module just has the IndexT type extraction function but raised to type level

Synopsis

Documentation

type family IndexT (i :: Nat) (a :: k) = (r :: k') Source #

IndexT on polykinded type level tuples.

Note this currently is only defined on tuples.

Instances

type IndexT k' (Identity k') 0 (Identity k' a) Source # 
type IndexT k' (Identity k') 0 (Identity k' a) = a
type IndexT k' (k, k') 1 ((,) k k' _ a) Source # 
type IndexT k' (k, k') 1 ((,) k k' _ a) = a
type IndexT k' (k', k) 0 ((,) k' k a _) Source # 
type IndexT k' (k', k) 0 ((,) k' k a _) = a
type IndexT k' (k, k1, k') 2 ((,,) k k1 k' _1 _ a) Source # 
type IndexT k' (k, k1, k') 2 ((,,) k k1 k' _1 _ a) = a
type IndexT k' (k, k', k1) 1 ((,,) k k' k1 _1 a _) Source # 
type IndexT k' (k, k', k1) 1 ((,,) k k' k1 _1 a _) = a
type IndexT k' (k', k, k1) 0 ((,,) k' k k1 a _1 _) Source # 
type IndexT k' (k', k, k1) 0 ((,,) k' k k1 a _1 _) = a
type IndexT k' (k, k1, k2, k') 3 ((,,,) k k1 k2 k' _2 _1 _ a) Source # 
type IndexT k' (k, k1, k2, k') 3 ((,,,) k k1 k2 k' _2 _1 _ a) = a
type IndexT k' (k, k1, k', k2) 2 ((,,,) k k1 k' k2 _2 _1 a _) Source # 
type IndexT k' (k, k1, k', k2) 2 ((,,,) k k1 k' k2 _2 _1 a _) = a
type IndexT k' (k, k', k1, k2) 1 ((,,,) k k' k1 k2 _2 a _1 _) Source # 
type IndexT k' (k, k', k1, k2) 1 ((,,,) k k' k1 k2 _2 a _1 _) = a
type IndexT k' (k', k, k1, k2) 0 ((,,,) k' k k1 k2 a _2 _1 _) Source # 
type IndexT k' (k', k, k1, k2) 0 ((,,,) k' k k1 k2 a _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k') 4 ((,,,,) k k1 k2 k3 k' _3 _2 _1 _ a) Source # 
type IndexT k' (k, k1, k2, k3, k') 4 ((,,,,) k k1 k2 k3 k' _3 _2 _1 _ a) = a
type IndexT k' (k, k1, k2, k', k3) 3 ((,,,,) k k1 k2 k' k3 _3 _2 _1 a _) Source # 
type IndexT k' (k, k1, k2, k', k3) 3 ((,,,,) k k1 k2 k' k3 _3 _2 _1 a _) = a
type IndexT k' (k, k1, k', k2, k3) 2 ((,,,,) k k1 k' k2 k3 _3 _2 a _1 _) Source # 
type IndexT k' (k, k1, k', k2, k3) 2 ((,,,,) k k1 k' k2 k3 _3 _2 a _1 _) = a
type IndexT k' (k, k', k1, k2, k3) 1 ((,,,,) k k' k1 k2 k3 _3 a _2 _1 _) Source # 
type IndexT k' (k, k', k1, k2, k3) 1 ((,,,,) k k' k1 k2 k3 _3 a _2 _1 _) = a
type IndexT k' (k', k, k1, k2, k3) 0 ((,,,,) k' k k1 k2 k3 a _3 _2 _1 _) Source # 
type IndexT k' (k', k, k1, k2, k3) 0 ((,,,,) k' k k1 k2 k3 a _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k') 5 ((,,,,,) k k1 k2 k3 k4 k' _4 _3 _2 _1 _ a) Source # 
type IndexT k' (k, k1, k2, k3, k4, k') 5 ((,,,,,) k k1 k2 k3 k4 k' _4 _3 _2 _1 _ a) = a
type IndexT k' (k, k1, k2, k3, k', k4) 4 ((,,,,,) k k1 k2 k3 k' k4 _4 _3 _2 _1 a _) Source # 
type IndexT k' (k, k1, k2, k3, k', k4) 4 ((,,,,,) k k1 k2 k3 k' k4 _4 _3 _2 _1 a _) = a
type IndexT k' (k, k1, k2, k', k3, k4) 3 ((,,,,,) k k1 k2 k' k3 k4 _4 _3 _2 a _1 _) Source # 
type IndexT k' (k, k1, k2, k', k3, k4) 3 ((,,,,,) k k1 k2 k' k3 k4 _4 _3 _2 a _1 _) = a
type IndexT k' (k, k1, k', k2, k3, k4) 2 ((,,,,,) k k1 k' k2 k3 k4 _4 _3 a _2 _1 _) Source # 
type IndexT k' (k, k1, k', k2, k3, k4) 2 ((,,,,,) k k1 k' k2 k3 k4 _4 _3 a _2 _1 _) = a
type IndexT k' (k, k', k1, k2, k3, k4) 1 ((,,,,,) k k' k1 k2 k3 k4 _4 a _3 _2 _1 _) Source # 
type IndexT k' (k, k', k1, k2, k3, k4) 1 ((,,,,,) k k' k1 k2 k3 k4 _4 a _3 _2 _1 _) = a
type IndexT k' (k', k, k1, k2, k3, k4) 0 ((,,,,,) k' k k1 k2 k3 k4 a _4 _3 _2 _1 _) Source # 
type IndexT k' (k', k, k1, k2, k3, k4) 0 ((,,,,,) k' k k1 k2 k3 k4 a _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k') 6 ((,,,,,,) k k1 k2 k3 k4 k5 k' _5 _4 _3 _2 _1 _ a) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k') 6 ((,,,,,,) k k1 k2 k3 k4 k5 k' _5 _4 _3 _2 _1 _ a) = a
type IndexT k' (k, k1, k2, k3, k4, k', k5) 5 ((,,,,,,) k k1 k2 k3 k4 k' k5 _5 _4 _3 _2 _1 a _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k', k5) 5 ((,,,,,,) k k1 k2 k3 k4 k' k5 _5 _4 _3 _2 _1 a _) = a
type IndexT k' (k, k1, k2, k3, k', k4, k5) 4 ((,,,,,,) k k1 k2 k3 k' k4 k5 _5 _4 _3 _2 a _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k', k4, k5) 4 ((,,,,,,) k k1 k2 k3 k' k4 k5 _5 _4 _3 _2 a _1 _) = a
type IndexT k' (k, k1, k2, k', k3, k4, k5) 3 ((,,,,,,) k k1 k2 k' k3 k4 k5 _5 _4 _3 a _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k', k3, k4, k5) 3 ((,,,,,,) k k1 k2 k' k3 k4 k5 _5 _4 _3 a _2 _1 _) = a
type IndexT k' (k, k1, k', k2, k3, k4, k5) 2 ((,,,,,,) k k1 k' k2 k3 k4 k5 _5 _4 a _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k', k2, k3, k4, k5) 2 ((,,,,,,) k k1 k' k2 k3 k4 k5 _5 _4 a _3 _2 _1 _) = a
type IndexT k' (k, k', k1, k2, k3, k4, k5) 1 ((,,,,,,) k k' k1 k2 k3 k4 k5 _5 a _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k', k1, k2, k3, k4, k5) 1 ((,,,,,,) k k' k1 k2 k3 k4 k5 _5 a _4 _3 _2 _1 _) = a
type IndexT k' (k', k, k1, k2, k3, k4, k5) 0 ((,,,,,,) k' k k1 k2 k3 k4 k5 a _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k', k, k1, k2, k3, k4, k5) 0 ((,,,,,,) k' k k1 k2 k3 k4 k5 a _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k') 7 ((,,,,,,,) k k1 k2 k3 k4 k5 k6 k' _6 _5 _4 _3 _2 _1 _ a) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k') 7 ((,,,,,,,) k k1 k2 k3 k4 k5 k6 k' _6 _5 _4 _3 _2 _1 _ a) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k', k6) 6 ((,,,,,,,) k k1 k2 k3 k4 k5 k' k6 _6 _5 _4 _3 _2 _1 a _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k', k6) 6 ((,,,,,,,) k k1 k2 k3 k4 k5 k' k6 _6 _5 _4 _3 _2 _1 a _) = a
type IndexT k' (k, k1, k2, k3, k4, k', k5, k6) 5 ((,,,,,,,) k k1 k2 k3 k4 k' k5 k6 _6 _5 _4 _3 _2 a _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k', k5, k6) 5 ((,,,,,,,) k k1 k2 k3 k4 k' k5 k6 _6 _5 _4 _3 _2 a _1 _) = a
type IndexT k' (k, k1, k2, k3, k', k4, k5, k6) 4 ((,,,,,,,) k k1 k2 k3 k' k4 k5 k6 _6 _5 _4 _3 a _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k', k4, k5, k6) 4 ((,,,,,,,) k k1 k2 k3 k' k4 k5 k6 _6 _5 _4 _3 a _2 _1 _) = a
type IndexT k' (k, k1, k2, k', k3, k4, k5, k6) 3 ((,,,,,,,) k k1 k2 k' k3 k4 k5 k6 _6 _5 _4 a _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k', k3, k4, k5, k6) 3 ((,,,,,,,) k k1 k2 k' k3 k4 k5 k6 _6 _5 _4 a _3 _2 _1 _) = a
type IndexT k' (k, k1, k', k2, k3, k4, k5, k6) 2 ((,,,,,,,) k k1 k' k2 k3 k4 k5 k6 _6 _5 a _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k', k2, k3, k4, k5, k6) 2 ((,,,,,,,) k k1 k' k2 k3 k4 k5 k6 _6 _5 a _4 _3 _2 _1 _) = a
type IndexT k' (k, k', k1, k2, k3, k4, k5, k6) 1 ((,,,,,,,) k k' k1 k2 k3 k4 k5 k6 _6 a _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k', k1, k2, k3, k4, k5, k6) 1 ((,,,,,,,) k k' k1 k2 k3 k4 k5 k6 _6 a _5 _4 _3 _2 _1 _) = a
type IndexT k' (k', k, k1, k2, k3, k4, k5, k6) 0 ((,,,,,,,) k' k k1 k2 k3 k4 k5 k6 a _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k', k, k1, k2, k3, k4, k5, k6) 0 ((,,,,,,,) k' k k1 k2 k3 k4 k5 k6 a _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k') 8 ((,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k' _7 _6 _5 _4 _3 _2 _1 _ a) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k') 8 ((,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k' _7 _6 _5 _4 _3 _2 _1 _ a) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k', k7) 7 ((,,,,,,,,) k k1 k2 k3 k4 k5 k6 k' k7 _7 _6 _5 _4 _3 _2 _1 a _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k', k7) 7 ((,,,,,,,,) k k1 k2 k3 k4 k5 k6 k' k7 _7 _6 _5 _4 _3 _2 _1 a _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k', k6, k7) 6 ((,,,,,,,,) k k1 k2 k3 k4 k5 k' k6 k7 _7 _6 _5 _4 _3 _2 a _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k', k6, k7) 6 ((,,,,,,,,) k k1 k2 k3 k4 k5 k' k6 k7 _7 _6 _5 _4 _3 _2 a _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k', k5, k6, k7) 5 ((,,,,,,,,) k k1 k2 k3 k4 k' k5 k6 k7 _7 _6 _5 _4 _3 a _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k', k5, k6, k7) 5 ((,,,,,,,,) k k1 k2 k3 k4 k' k5 k6 k7 _7 _6 _5 _4 _3 a _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k', k4, k5, k6, k7) 4 ((,,,,,,,,) k k1 k2 k3 k' k4 k5 k6 k7 _7 _6 _5 _4 a _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k', k4, k5, k6, k7) 4 ((,,,,,,,,) k k1 k2 k3 k' k4 k5 k6 k7 _7 _6 _5 _4 a _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k', k3, k4, k5, k6, k7) 3 ((,,,,,,,,) k k1 k2 k' k3 k4 k5 k6 k7 _7 _6 _5 a _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k', k3, k4, k5, k6, k7) 3 ((,,,,,,,,) k k1 k2 k' k3 k4 k5 k6 k7 _7 _6 _5 a _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k', k2, k3, k4, k5, k6, k7) 2 ((,,,,,,,,) k k1 k' k2 k3 k4 k5 k6 k7 _7 _6 a _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k', k2, k3, k4, k5, k6, k7) 2 ((,,,,,,,,) k k1 k' k2 k3 k4 k5 k6 k7 _7 _6 a _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k', k1, k2, k3, k4, k5, k6, k7) 1 ((,,,,,,,,) k k' k1 k2 k3 k4 k5 k6 k7 _7 a _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k', k1, k2, k3, k4, k5, k6, k7) 1 ((,,,,,,,,) k k' k1 k2 k3 k4 k5 k6 k7 _7 a _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k', k, k1, k2, k3, k4, k5, k6, k7) 0 ((,,,,,,,,) k' k k1 k2 k3 k4 k5 k6 k7 a _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k', k, k1, k2, k3, k4, k5, k6, k7) 0 ((,,,,,,,,) k' k k1 k2 k3 k4 k5 k6 k7 a _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k') 9 ((,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k' _8 _7 _6 _5 _4 _3 _2 _1 _ a) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k') 9 ((,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k' _8 _7 _6 _5 _4 _3 _2 _1 _ a) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k', k8) 8 ((,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k' k8 _8 _7 _6 _5 _4 _3 _2 _1 a _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k', k8) 8 ((,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k' k8 _8 _7 _6 _5 _4 _3 _2 _1 a _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k', k7, k8) 7 ((,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k' k7 k8 _8 _7 _6 _5 _4 _3 _2 a _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k', k7, k8) 7 ((,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k' k7 k8 _8 _7 _6 _5 _4 _3 _2 a _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k', k6, k7, k8) 6 ((,,,,,,,,,) k k1 k2 k3 k4 k5 k' k6 k7 k8 _8 _7 _6 _5 _4 _3 a _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k', k6, k7, k8) 6 ((,,,,,,,,,) k k1 k2 k3 k4 k5 k' k6 k7 k8 _8 _7 _6 _5 _4 _3 a _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k', k5, k6, k7, k8) 5 ((,,,,,,,,,) k k1 k2 k3 k4 k' k5 k6 k7 k8 _8 _7 _6 _5 _4 a _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k', k5, k6, k7, k8) 5 ((,,,,,,,,,) k k1 k2 k3 k4 k' k5 k6 k7 k8 _8 _7 _6 _5 _4 a _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k', k4, k5, k6, k7, k8) 4 ((,,,,,,,,,) k k1 k2 k3 k' k4 k5 k6 k7 k8 _8 _7 _6 _5 a _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k', k4, k5, k6, k7, k8) 4 ((,,,,,,,,,) k k1 k2 k3 k' k4 k5 k6 k7 k8 _8 _7 _6 _5 a _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k', k3, k4, k5, k6, k7, k8) 3 ((,,,,,,,,,) k k1 k2 k' k3 k4 k5 k6 k7 k8 _8 _7 _6 a _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k', k3, k4, k5, k6, k7, k8) 3 ((,,,,,,,,,) k k1 k2 k' k3 k4 k5 k6 k7 k8 _8 _7 _6 a _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k', k2, k3, k4, k5, k6, k7, k8) 2 ((,,,,,,,,,) k k1 k' k2 k3 k4 k5 k6 k7 k8 _8 _7 a _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k', k2, k3, k4, k5, k6, k7, k8) 2 ((,,,,,,,,,) k k1 k' k2 k3 k4 k5 k6 k7 k8 _8 _7 a _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k', k1, k2, k3, k4, k5, k6, k7, k8) 1 ((,,,,,,,,,) k k' k1 k2 k3 k4 k5 k6 k7 k8 _8 a _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k', k1, k2, k3, k4, k5, k6, k7, k8) 1 ((,,,,,,,,,) k k' k1 k2 k3 k4 k5 k6 k7 k8 _8 a _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k', k, k1, k2, k3, k4, k5, k6, k7, k8) 0 ((,,,,,,,,,) k' k k1 k2 k3 k4 k5 k6 k7 k8 a _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k', k, k1, k2, k3, k4, k5, k6, k7, k8) 0 ((,,,,,,,,,) k' k k1 k2 k3 k4 k5 k6 k7 k8 a _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k') 10 ((,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k' _9 _8 _7 _6 _5 _4 _3 _2 _1 _ a) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k') 10 ((,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k' _9 _8 _7 _6 _5 _4 _3 _2 _1 _ a) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k', k9) 9 ((,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k' k9 _9 _8 _7 _6 _5 _4 _3 _2 _1 a _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k', k9) 9 ((,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k' k9 _9 _8 _7 _6 _5 _4 _3 _2 _1 a _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k', k8, k9) 8 ((,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k' k8 k9 _9 _8 _7 _6 _5 _4 _3 _2 a _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k', k8, k9) 8 ((,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k' k8 k9 _9 _8 _7 _6 _5 _4 _3 _2 a _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k', k7, k8, k9) 7 ((,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k' k7 k8 k9 _9 _8 _7 _6 _5 _4 _3 a _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k', k7, k8, k9) 7 ((,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k' k7 k8 k9 _9 _8 _7 _6 _5 _4 _3 a _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k', k6, k7, k8, k9) 6 ((,,,,,,,,,,) k k1 k2 k3 k4 k5 k' k6 k7 k8 k9 _9 _8 _7 _6 _5 _4 a _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k', k6, k7, k8, k9) 6 ((,,,,,,,,,,) k k1 k2 k3 k4 k5 k' k6 k7 k8 k9 _9 _8 _7 _6 _5 _4 a _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k', k5, k6, k7, k8, k9) 5 ((,,,,,,,,,,) k k1 k2 k3 k4 k' k5 k6 k7 k8 k9 _9 _8 _7 _6 _5 a _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k', k5, k6, k7, k8, k9) 5 ((,,,,,,,,,,) k k1 k2 k3 k4 k' k5 k6 k7 k8 k9 _9 _8 _7 _6 _5 a _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k', k4, k5, k6, k7, k8, k9) 4 ((,,,,,,,,,,) k k1 k2 k3 k' k4 k5 k6 k7 k8 k9 _9 _8 _7 _6 a _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k', k4, k5, k6, k7, k8, k9) 4 ((,,,,,,,,,,) k k1 k2 k3 k' k4 k5 k6 k7 k8 k9 _9 _8 _7 _6 a _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k', k3, k4, k5, k6, k7, k8, k9) 3 ((,,,,,,,,,,) k k1 k2 k' k3 k4 k5 k6 k7 k8 k9 _9 _8 _7 a _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k', k3, k4, k5, k6, k7, k8, k9) 3 ((,,,,,,,,,,) k k1 k2 k' k3 k4 k5 k6 k7 k8 k9 _9 _8 _7 a _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k', k2, k3, k4, k5, k6, k7, k8, k9) 2 ((,,,,,,,,,,) k k1 k' k2 k3 k4 k5 k6 k7 k8 k9 _9 _8 a _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k', k2, k3, k4, k5, k6, k7, k8, k9) 2 ((,,,,,,,,,,) k k1 k' k2 k3 k4 k5 k6 k7 k8 k9 _9 _8 a _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k', k1, k2, k3, k4, k5, k6, k7, k8, k9) 1 ((,,,,,,,,,,) k k' k1 k2 k3 k4 k5 k6 k7 k8 k9 _9 a _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k', k1, k2, k3, k4, k5, k6, k7, k8, k9) 1 ((,,,,,,,,,,) k k' k1 k2 k3 k4 k5 k6 k7 k8 k9 _9 a _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k', k, k1, k2, k3, k4, k5, k6, k7, k8, k9) 0 ((,,,,,,,,,,) k' k k1 k2 k3 k4 k5 k6 k7 k8 k9 a _9 _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k', k, k1, k2, k3, k4, k5, k6, k7, k8, k9) 0 ((,,,,,,,,,,) k' k k1 k2 k3 k4 k5 k6 k7 k8 k9 a _9 _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k') 11 ((,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k' _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _ a) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k') 11 ((,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k' _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _ a) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k', k10) 10 ((,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k' k10 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 a _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k', k10) 10 ((,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k' k10 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 a _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k', k9, k10) 9 ((,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k' k9 k10 _10 _9 _8 _7 _6 _5 _4 _3 _2 a _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k', k9, k10) 9 ((,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k' k9 k10 _10 _9 _8 _7 _6 _5 _4 _3 _2 a _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k', k8, k9, k10) 8 ((,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k' k8 k9 k10 _10 _9 _8 _7 _6 _5 _4 _3 a _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k', k8, k9, k10) 8 ((,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k' k8 k9 k10 _10 _9 _8 _7 _6 _5 _4 _3 a _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k', k7, k8, k9, k10) 7 ((,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k' k7 k8 k9 k10 _10 _9 _8 _7 _6 _5 _4 a _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k', k7, k8, k9, k10) 7 ((,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k' k7 k8 k9 k10 _10 _9 _8 _7 _6 _5 _4 a _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k', k6, k7, k8, k9, k10) 6 ((,,,,,,,,,,,) k k1 k2 k3 k4 k5 k' k6 k7 k8 k9 k10 _10 _9 _8 _7 _6 _5 a _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k', k6, k7, k8, k9, k10) 6 ((,,,,,,,,,,,) k k1 k2 k3 k4 k5 k' k6 k7 k8 k9 k10 _10 _9 _8 _7 _6 _5 a _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k', k5, k6, k7, k8, k9, k10) 5 ((,,,,,,,,,,,) k k1 k2 k3 k4 k' k5 k6 k7 k8 k9 k10 _10 _9 _8 _7 _6 a _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k', k5, k6, k7, k8, k9, k10) 5 ((,,,,,,,,,,,) k k1 k2 k3 k4 k' k5 k6 k7 k8 k9 k10 _10 _9 _8 _7 _6 a _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k', k4, k5, k6, k7, k8, k9, k10) 4 ((,,,,,,,,,,,) k k1 k2 k3 k' k4 k5 k6 k7 k8 k9 k10 _10 _9 _8 _7 a _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k', k4, k5, k6, k7, k8, k9, k10) 4 ((,,,,,,,,,,,) k k1 k2 k3 k' k4 k5 k6 k7 k8 k9 k10 _10 _9 _8 _7 a _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k', k3, k4, k5, k6, k7, k8, k9, k10) 3 ((,,,,,,,,,,,) k k1 k2 k' k3 k4 k5 k6 k7 k8 k9 k10 _10 _9 _8 a _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k', k3, k4, k5, k6, k7, k8, k9, k10) 3 ((,,,,,,,,,,,) k k1 k2 k' k3 k4 k5 k6 k7 k8 k9 k10 _10 _9 _8 a _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k', k2, k3, k4, k5, k6, k7, k8, k9, k10) 2 ((,,,,,,,,,,,) k k1 k' k2 k3 k4 k5 k6 k7 k8 k9 k10 _10 _9 a _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k', k2, k3, k4, k5, k6, k7, k8, k9, k10) 2 ((,,,,,,,,,,,) k k1 k' k2 k3 k4 k5 k6 k7 k8 k9 k10 _10 _9 a _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k', k1, k2, k3, k4, k5, k6, k7, k8, k9, k10) 1 ((,,,,,,,,,,,) k k' k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 _10 a _9 _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k', k1, k2, k3, k4, k5, k6, k7, k8, k9, k10) 1 ((,,,,,,,,,,,) k k' k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 _10 a _9 _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k', k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10) 0 ((,,,,,,,,,,,) k' k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 a _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k', k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10) 0 ((,,,,,,,,,,,) k' k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 a _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k') 12 ((,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k' _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _ a) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k') 12 ((,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k' _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _ a) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k', k11) 11 ((,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k' k11 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 a _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k', k11) 11 ((,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k' k11 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 a _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k', k10, k11) 10 ((,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k' k10 k11 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 a _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k', k10, k11) 10 ((,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k' k10 k11 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 a _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k', k9, k10, k11) 9 ((,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k' k9 k10 k11 _11 _10 _9 _8 _7 _6 _5 _4 _3 a _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k', k9, k10, k11) 9 ((,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k' k9 k10 k11 _11 _10 _9 _8 _7 _6 _5 _4 _3 a _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k', k8, k9, k10, k11) 8 ((,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k' k8 k9 k10 k11 _11 _10 _9 _8 _7 _6 _5 _4 a _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k', k8, k9, k10, k11) 8 ((,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k' k8 k9 k10 k11 _11 _10 _9 _8 _7 _6 _5 _4 a _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k', k7, k8, k9, k10, k11) 7 ((,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k' k7 k8 k9 k10 k11 _11 _10 _9 _8 _7 _6 _5 a _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k', k7, k8, k9, k10, k11) 7 ((,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k' k7 k8 k9 k10 k11 _11 _10 _9 _8 _7 _6 _5 a _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k', k6, k7, k8, k9, k10, k11) 6 ((,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k' k6 k7 k8 k9 k10 k11 _11 _10 _9 _8 _7 _6 a _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k', k6, k7, k8, k9, k10, k11) 6 ((,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k' k6 k7 k8 k9 k10 k11 _11 _10 _9 _8 _7 _6 a _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k', k5, k6, k7, k8, k9, k10, k11) 5 ((,,,,,,,,,,,,) k k1 k2 k3 k4 k' k5 k6 k7 k8 k9 k10 k11 _11 _10 _9 _8 _7 a _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k', k5, k6, k7, k8, k9, k10, k11) 5 ((,,,,,,,,,,,,) k k1 k2 k3 k4 k' k5 k6 k7 k8 k9 k10 k11 _11 _10 _9 _8 _7 a _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k', k4, k5, k6, k7, k8, k9, k10, k11) 4 ((,,,,,,,,,,,,) k k1 k2 k3 k' k4 k5 k6 k7 k8 k9 k10 k11 _11 _10 _9 _8 a _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k', k4, k5, k6, k7, k8, k9, k10, k11) 4 ((,,,,,,,,,,,,) k k1 k2 k3 k' k4 k5 k6 k7 k8 k9 k10 k11 _11 _10 _9 _8 a _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k', k3, k4, k5, k6, k7, k8, k9, k10, k11) 3 ((,,,,,,,,,,,,) k k1 k2 k' k3 k4 k5 k6 k7 k8 k9 k10 k11 _11 _10 _9 a _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k', k3, k4, k5, k6, k7, k8, k9, k10, k11) 3 ((,,,,,,,,,,,,) k k1 k2 k' k3 k4 k5 k6 k7 k8 k9 k10 k11 _11 _10 _9 a _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k', k2, k3, k4, k5, k6, k7, k8, k9, k10, k11) 2 ((,,,,,,,,,,,,) k k1 k' k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 _11 _10 a _9 _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k', k2, k3, k4, k5, k6, k7, k8, k9, k10, k11) 2 ((,,,,,,,,,,,,) k k1 k' k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 _11 _10 a _9 _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k', k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11) 1 ((,,,,,,,,,,,,) k k' k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 _11 a _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k', k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11) 1 ((,,,,,,,,,,,,) k k' k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 _11 a _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k', k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11) 0 ((,,,,,,,,,,,,) k' k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 a _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k', k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11) 0 ((,,,,,,,,,,,,) k' k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 a _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k') 13 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 k' _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _ a) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k') 13 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 k' _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _ a) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k', k12) 12 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k' k12 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 a _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k', k12) 12 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k' k12 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 a _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k', k11, k12) 11 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k' k11 k12 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 a _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k', k11, k12) 11 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k' k11 k12 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 a _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k', k10, k11, k12) 10 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k' k10 k11 k12 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 a _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k', k10, k11, k12) 10 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k' k10 k11 k12 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 a _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k', k9, k10, k11, k12) 9 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k' k9 k10 k11 k12 _12 _11 _10 _9 _8 _7 _6 _5 _4 a _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k', k9, k10, k11, k12) 9 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k' k9 k10 k11 k12 _12 _11 _10 _9 _8 _7 _6 _5 _4 a _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k', k8, k9, k10, k11, k12) 8 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k' k8 k9 k10 k11 k12 _12 _11 _10 _9 _8 _7 _6 _5 a _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k', k8, k9, k10, k11, k12) 8 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k' k8 k9 k10 k11 k12 _12 _11 _10 _9 _8 _7 _6 _5 a _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k', k7, k8, k9, k10, k11, k12) 7 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k' k7 k8 k9 k10 k11 k12 _12 _11 _10 _9 _8 _7 _6 a _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k', k7, k8, k9, k10, k11, k12) 7 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k' k7 k8 k9 k10 k11 k12 _12 _11 _10 _9 _8 _7 _6 a _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k', k6, k7, k8, k9, k10, k11, k12) 6 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k' k6 k7 k8 k9 k10 k11 k12 _12 _11 _10 _9 _8 _7 a _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k', k6, k7, k8, k9, k10, k11, k12) 6 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k' k6 k7 k8 k9 k10 k11 k12 _12 _11 _10 _9 _8 _7 a _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k', k5, k6, k7, k8, k9, k10, k11, k12) 5 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k' k5 k6 k7 k8 k9 k10 k11 k12 _12 _11 _10 _9 _8 a _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k', k5, k6, k7, k8, k9, k10, k11, k12) 5 ((,,,,,,,,,,,,,) k k1 k2 k3 k4 k' k5 k6 k7 k8 k9 k10 k11 k12 _12 _11 _10 _9 _8 a _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k', k4, k5, k6, k7, k8, k9, k10, k11, k12) 4 ((,,,,,,,,,,,,,) k k1 k2 k3 k' k4 k5 k6 k7 k8 k9 k10 k11 k12 _12 _11 _10 _9 a _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k', k4, k5, k6, k7, k8, k9, k10, k11, k12) 4 ((,,,,,,,,,,,,,) k k1 k2 k3 k' k4 k5 k6 k7 k8 k9 k10 k11 k12 _12 _11 _10 _9 a _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k', k3, k4, k5, k6, k7, k8, k9, k10, k11, k12) 3 ((,,,,,,,,,,,,,) k k1 k2 k' k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 _12 _11 _10 a _9 _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k', k3, k4, k5, k6, k7, k8, k9, k10, k11, k12) 3 ((,,,,,,,,,,,,,) k k1 k2 k' k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 _12 _11 _10 a _9 _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k', k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12) 2 ((,,,,,,,,,,,,,) k k1 k' k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 _12 _11 a _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k', k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12) 2 ((,,,,,,,,,,,,,) k k1 k' k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 _12 _11 a _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k', k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12) 1 ((,,,,,,,,,,,,,) k k' k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 _12 a _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k', k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12) 1 ((,,,,,,,,,,,,,) k k' k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 _12 a _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k', k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12) 0 ((,,,,,,,,,,,,,) k' k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 a _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k', k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12) 0 ((,,,,,,,,,,,,,) k' k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 a _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k') 14 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 k13 k' _13 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _ a) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13, k') 14 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 k13 k' _13 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _ a) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k', k13) 13 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 k' k13 _13 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 a _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k', k13) 13 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 k' k13 _13 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 a _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k', k12, k13) 12 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k' k12 k13 _13 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 a _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k', k12, k13) 12 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k' k12 k13 _13 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 a _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k', k11, k12, k13) 11 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k' k11 k12 k13 _13 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 a _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k', k11, k12, k13) 11 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k' k11 k12 k13 _13 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 a _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k', k10, k11, k12, k13) 10 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k' k10 k11 k12 k13 _13 _12 _11 _10 _9 _8 _7 _6 _5 _4 a _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k', k10, k11, k12, k13) 10 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k9 k' k10 k11 k12 k13 _13 _12 _11 _10 _9 _8 _7 _6 _5 _4 a _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k', k9, k10, k11, k12, k13) 9 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k' k9 k10 k11 k12 k13 _13 _12 _11 _10 _9 _8 _7 _6 _5 a _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k8, k', k9, k10, k11, k12, k13) 9 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k8 k' k9 k10 k11 k12 k13 _13 _12 _11 _10 _9 _8 _7 _6 _5 a _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k', k8, k9, k10, k11, k12, k13) 8 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k' k8 k9 k10 k11 k12 k13 _13 _12 _11 _10 _9 _8 _7 _6 a _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k7, k', k8, k9, k10, k11, k12, k13) 8 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k7 k' k8 k9 k10 k11 k12 k13 _13 _12 _11 _10 _9 _8 _7 _6 a _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k', k7, k8, k9, k10, k11, k12, k13) 7 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k' k7 k8 k9 k10 k11 k12 k13 _13 _12 _11 _10 _9 _8 _7 a _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k6, k', k7, k8, k9, k10, k11, k12, k13) 7 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k6 k' k7 k8 k9 k10 k11 k12 k13 _13 _12 _11 _10 _9 _8 _7 a _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k5, k', k6, k7, k8, k9, k10, k11, k12, k13) 6 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k' k6 k7 k8 k9 k10 k11 k12 k13 _13 _12 _11 _10 _9 _8 a _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k5, k', k6, k7, k8, k9, k10, k11, k12, k13) 6 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k5 k' k6 k7 k8 k9 k10 k11 k12 k13 _13 _12 _11 _10 _9 _8 a _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k4, k', k5, k6, k7, k8, k9, k10, k11, k12, k13) 5 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k' k5 k6 k7 k8 k9 k10 k11 k12 k13 _13 _12 _11 _10 _9 a _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k4, k', k5, k6, k7, k8, k9, k10, k11, k12, k13) 5 ((,,,,,,,,,,,,,,) k k1 k2 k3 k4 k' k5 k6 k7 k8 k9 k10 k11 k12 k13 _13 _12 _11 _10 _9 a _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k3, k', k4, k5, k6, k7, k8, k9, k10, k11, k12, k13) 4 ((,,,,,,,,,,,,,,) k k1 k2 k3 k' k4 k5 k6 k7 k8 k9 k10 k11 k12 k13 _13 _12 _11 _10 a _9 _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k3, k', k4, k5, k6, k7, k8, k9, k10, k11, k12, k13) 4 ((,,,,,,,,,,,,,,) k k1 k2 k3 k' k4 k5 k6 k7 k8 k9 k10 k11 k12 k13 _13 _12 _11 _10 a _9 _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k2, k', k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13) 3 ((,,,,,,,,,,,,,,) k k1 k2 k' k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 k13 _13 _12 _11 a _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k2, k', k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13) 3 ((,,,,,,,,,,,,,,) k k1 k2 k' k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 k13 _13 _12 _11 a _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k1, k', k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13) 2 ((,,,,,,,,,,,,,,) k k1 k' k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 k13 _13 _12 a _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k1, k', k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13) 2 ((,,,,,,,,,,,,,,) k k1 k' k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 k13 _13 _12 a _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k, k', k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13) 1 ((,,,,,,,,,,,,,,) k k' k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 k13 _13 a _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k, k', k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13) 1 ((,,,,,,,,,,,,,,) k k' k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 k13 _13 a _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) = a
type IndexT k' (k', k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13) 0 ((,,,,,,,,,,,,,,) k' k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 k13 a _13 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) Source # 
type IndexT k' (k', k, k1, k2, k3, k4, k5, k6, k7, k8, k9, k10, k11, k12, k13) 0 ((,,,,,,,,,,,,,,) k' k k1 k2 k3 k4 k5 k6 k7 k8 k9 k10 k11 k12 k13 a _13 _12 _11 _10 _9 _8 _7 _6 _5 _4 _3 _2 _1 _) = a