{      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~Safe+,DQR(Mapping to the head of the type list (x))Mapping to the tail of the type list (xs)%Applying a type constructor to a typeMapping to the successor of a  Mapping to the predecessor of a >Mapping to the type constructor (t) of a type with 1 parameter@Mapping to the 1st type parameter (a) of a type with 1 parameter?Mapping to the type constructor (t) of a type with 2 parametersAMapping to the 1st type parameter (a) of a type with 2 parameters AMapping to the 2nd type parameter (b) of a type with 2 parameters ?Mapping to the type constructor (t) of a type with 3 parameters AMapping to the 1st type parameter (a) of a type with 3 parameters AMapping to the 2nd type parameter (b) of a type with 3 parameters AMapping to the 3rd type parameter (c) of a type with 3 parameters?Mapping to the type constructor (t) of a type with 4 parametersAMapping to the 1st type parameter (a) of a type with 4 parametersAMapping to the 2nd type parameter (b) of a type with 4 parametersAMapping to the 3rd type parameter (c) of a type with 4 parametersAMapping to the 4th type parameter (d) of a type with 4 parameters?Mapping to the type constructor (t) of a type with 5 parametersAMapping to the 1st type parameter (a) of a type with 5 parametersAMapping to the 2nd type parameter (b) of a type with 5 parametersAMapping to the 3rd type parameter (c) of a type with 5 parametersAMapping to the 4th type parameter (d) of a type with 5 parametersAMapping to the 5th type parameter (e) of a type with 5 parameters?Mapping to the type constructor (t) of a type with 6 parametersAMapping to the 1st type parameter (a) of a type with 6 parametersAMapping to the 2nd type parameter (b) of a type with 6 parametersAMapping to the 3rd type parameter (c) of a type with 6 parametersAMapping to the 4th type parameter (d) of a type with 6 parametersAMapping to the 5th type parameter (e) of a type with 6 parametersAMapping to the 6th type parameter (f) of a type with 6 parameters ?Mapping to the type constructor (t) of a type with 7 parameters!AMapping to the 1st type parameter (a) of a type with 7 parameters"AMapping to the 2nd type parameter (b) of a type with 7 parameters#AMapping to the 3rd type parameter (c) of a type with 7 parameters$AMapping to the 4th type parameter (d) of a type with 7 parameters%AMapping to the 5th type parameter (e) of a type with 7 parameters&AMapping to the 6th type parameter (f) of a type with 7 parameters'AMapping to the 7th type parameter (g) of a type with 7 parameters(?Mapping to the type constructor (t) of a type with 8 parameters)AMapping to the 1st type parameter (a) of a type with 8 parameters*AMapping to the 2nd type parameter (b) of a type with 8 parameters+AMapping to the 3rd type parameter (c) of a type with 8 parameters,AMapping to the 4th type parameter (d) of a type with 8 parameters-AMapping to the 5th type parameter (e) of a type with 8 parameters.AMapping to the 6th type parameter (f) of a type with 8 parameters/AMapping to the 7th type parameter (g) of a type with 8 parameters0AMapping to the 8th type parameter (h) of a type with 8 parameters1?Mapping to the type constructor (t) of a type with 9 parameters2AMapping to the 1st type parameter (a) of a type with 9 parameters3AMapping to the 2nd type parameter (b) of a type with 9 parameters4AMapping to the 3rd type parameter (c) of a type with 9 parameters5AMapping to the 4th type parameter (d) of a type with 9 parameters6AMapping to the 5th type parameter (e) of a type with 9 parameters7AMapping to the 6th type parameter (f) of a type with 9 parameters8AMapping to the 7th type parameter (g) of a type with 9 parameters9AMapping to the 8th type parameter (h) of a type with 9 parameters:AMapping to the 9th type parameter (i) of a type with 9 parameters;@Mapping to the type constructor (t) of a type with 10 parameters<BMapping to the 1st type parameter (a) of a type with 10 parameters=BMapping to the 2nd type parameter (b) of a type with 10 parameters>BMapping to the 3rd type parameter (c) of a type with 10 parameters?BMapping to the 4th type parameter (d) of a type with 10 parameters@BMapping to the 5th type parameter (e) of a type with 10 parametersABMapping to the 6th type parameter (f) of a type with 10 parametersBBMapping to the 7th type parameter (g) of a type with 10 parametersCBMapping to the 8th type parameter (h) of a type with 10 parametersDBMapping to the 9th type parameter (i) of a type with 10 parametersECMapping to the 10th type parameter (j) of a type with 10 parametersF@Mapping to the type constructor (t) of a type with 11 parametersGBMapping to the 1st type parameter (a) of a type with 11 parametersHBMapping to the 2nd type parameter (b) of a type with 11 parametersIBMapping to the 3rd type parameter (c) of a type with 11 parametersJBMapping to the 4th type parameter (d) of a type with 11 parametersKBMapping to the 5th type parameter (e) of a type with 11 parametersLBMapping to the 6th type parameter (f) of a type with 11 parametersMBMapping to the 7th type parameter (g) of a type with 11 parametersNBMapping to the 8th type parameter (h) of a type with 11 parametersOBMapping to the 9th type parameter (i) of a type with 11 parametersPCMapping to the 10th type parameter (j) of a type with 11 parametersQCMapping to the 11th type parameter (k) of a type with 11 parametersR@Mapping to the type constructor (t) of a type with 12 parametersSBMapping to the 1st type parameter (a) of a type with 12 parametersTBMapping to the 2nd type parameter (b) of a type with 12 parametersUBMapping to the 3rd type parameter (c) of a type with 12 parametersVBMapping to the 4th type parameter (d) of a type with 12 parametersWBMapping to the 5th type parameter (e) of a type with 12 parametersXBMapping to the 6th type parameter (f) of a type with 12 parametersYBMapping to the 7th type parameter (g) of a type with 12 parametersZBMapping to the 8th type parameter (h) of a type with 12 parameters[BMapping to the 9th type parameter (i) of a type with 12 parameters\CMapping to the 10th type parameter (j) of a type with 12 parameters]CMapping to the 11th type parameter (k) of a type with 12 parameters^CMapping to the 12th type parameter (l) of a type with 12 parameters_@Mapping to the type constructor (t) of a type with 13 parameters`BMapping to the 1st type parameter (a) of a type with 13 parametersaBMapping to the 2nd type parameter (b) of a type with 13 parametersbBMapping to the 3rd type parameter (c) of a type with 13 parameterscBMapping to the 4th type parameter (d) of a type with 13 parametersdBMapping to the 5th type parameter (e) of a type with 13 parameterseBMapping to the 6th type parameter (f) of a type with 13 parametersfBMapping to the 7th type parameter (g) of a type with 13 parametersgBMapping to the 8th type parameter (h) of a type with 13 parametershBMapping to the 9th type parameter (i) of a type with 13 parametersiCMapping to the 10th type parameter (j) of a type with 13 parametersjCMapping to the 11th type parameter (k) of a type with 13 parameterskCMapping to the 12th type parameter (l) of a type with 13 parameterslCMapping to the 13th type parameter (m) of a type with 13 parametersm@Mapping to the type constructor (t) of a type with 14 parametersnBMapping to the 1st type parameter (a) of a type with 14 parametersoBMapping to the 2nd type parameter (b) of a type with 14 parameterspBMapping to the 3rd type parameter (c) of a type with 14 parametersqBMapping to the 4th type parameter (d) of a type with 14 parametersrBMapping to the 5th type parameter (e) of a type with 14 parameterssBMapping to the 6th type parameter (f) of a type with 14 parameterstBMapping to the 7th type parameter (g) of a type with 14 parametersuBMapping to the 8th type parameter (h) of a type with 14 parametersvBMapping to the 9th type parameter (i) of a type with 14 parameterswCMapping to the 10th type parameter (j) of a type with 14 parametersxCMapping to the 11th type parameter (k) of a type with 14 parametersyCMapping to the 12th type parameter (l) of a type with 14 parameterszCMapping to the 13th type parameter (m) of a type with 14 parameters{CMapping to the 14th type parameter (n) of a type with 14 parameters|@Mapping to the type constructor (t) of a type with 15 parameters}BMapping to the 1st type parameter (a) of a type with 15 parameters~BMapping to the 2nd type parameter (b) of a type with 15 parametersBMapping to the 3rd type parameter (c) of a type with 15 parametersBMapping to the 4th type parameter (d) of a type with 15 parametersBMapping to the 5th type parameter (e) of a type with 15 parametersBMapping to the 6th type parameter (f) of a type with 15 parametersBMapping to the 7th type parameter (g) of a type with 15 parametersBMapping to the 8th type parameter (h) of a type with 15 parametersBMapping to the 9th type parameter (i) of a type with 15 parametersCMapping to the 10th type parameter (j) of a type with 15 parametersCMapping to the 11th type parameter (k) of a type with 15 parametersCMapping to the 12th type parameter (l) of a type with 15 parametersCMapping to the 13th type parameter (m) of a type with 15 parametersCMapping to the 14th type parameter (n) of a type with 15 parametersCMapping to the 15th type parameter (o) of a type with 15 parameters@Mapping to the type constructor (t) of a type with 16 parametersBMapping to the 1st type parameter (a) of a type with 16 parametersBMapping to the 2nd type parameter (b) of a type with 16 parametersBMapping to the 3rd type parameter (c) of a type with 16 parametersBMapping to the 4th type parameter (d) of a type with 16 parametersBMapping to the 5th type parameter (e) of a type with 16 parametersBMapping to the 6th type parameter (f) of a type with 16 parametersBMapping to the 7th type parameter (g) of a type with 16 parametersBMapping to the 8th type parameter (h) of a type with 16 parametersBMapping to the 9th type parameter (i) of a type with 16 parametersCMapping to the 10th type parameter (j) of a type with 16 parametersCMapping to the 11th type parameter (k) of a type with 16 parametersCMapping to the 12th type parameter (l) of a type with 16 parametersCMapping to the 13th type parameter (m) of a type with 16 parametersCMapping to the 14th type parameter (n) of a type with 16 parametersCMapping to the 15th type parameter (o) of a type with 16 parametersCMapping to the 16th type parameter (p) of a type with 16 parameters  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~  !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUVWXYZ[\]^_`abcdefghijklmnopqrstuvwxyz{|}~,proxy-mapping-0.1.0.1-53CxeXotTIfJz0en0QbzR1Data.Proxy.Mapping proxyHead proxyTail proxyApply proxySucc proxyPred proxy0of1 proxy1of1 proxy0of2 proxy1of2 proxy2of2 proxy0of3 proxy1of3 proxy2of3 proxy3of3 proxy0of4 proxy1of4 proxy2of4 proxy3of4 proxy4of4 proxy0of5 proxy1of5 proxy2of5 proxy3of5 proxy4of5 proxy5of5 proxy0of6 proxy1of6 proxy2of6 proxy3of6 proxy4of6 proxy5of6 proxy6of6 proxy0of7 proxy1of7 proxy2of7 proxy3of7 proxy4of7 proxy5of7 proxy6of7 proxy7of7 proxy0of8 proxy1of8 proxy2of8 proxy3of8 proxy4of8 proxy5of8 proxy6of8 proxy7of8 proxy8of8 proxy0of9 proxy1of9 proxy2of9 proxy3of9 proxy4of9 proxy5of9 proxy6of9 proxy7of9 proxy8of9 proxy9of9 proxy0of10 proxy1of10 proxy2of10 proxy3of10 proxy4of10 proxy5of10 proxy6of10 proxy7of10 proxy8of10 proxy9of10 proxy10of10 proxy0of11 proxy1of11 proxy2of11 proxy3of11 proxy4of11 proxy5of11 proxy6of11 proxy7of11 proxy8of11 proxy9of11 proxy10of11 proxy11of11 proxy0of12 proxy1of12 proxy2of12 proxy3of12 proxy4of12 proxy5of12 proxy6of12 proxy7of12 proxy8of12 proxy9of12 proxy10of12 proxy11of12 proxy12of12 proxy0of13 proxy1of13 proxy2of13 proxy3of13 proxy4of13 proxy5of13 proxy6of13 proxy7of13 proxy8of13 proxy9of13 proxy10of13 proxy11of13 proxy12of13 proxy13of13 proxy0of14 proxy1of14 proxy2of14 proxy3of14 proxy4of14 proxy5of14 proxy6of14 proxy7of14 proxy8of14 proxy9of14 proxy10of14 proxy11of14 proxy12of14 proxy13of14 proxy14of14 proxy0of15 proxy1of15 proxy2of15 proxy3of15 proxy4of15 proxy5of15 proxy6of15 proxy7of15 proxy8of15 proxy9of15 proxy10of15 proxy11of15 proxy12of15 proxy13of15 proxy14of15 proxy15of15 proxy0of16 proxy1of16 proxy2of16 proxy3of16 proxy4of16 proxy5of16 proxy6of16 proxy7of16 proxy8of16 proxy9of16 proxy10of16 proxy11of16 proxy12of16 proxy13of16 proxy14of16 proxy15of16 proxy16of16ghc-prim GHC.TypesNat