{-# language FlexibleContexts #-}
{-# language FlexibleInstances #-}
{-# language MultiParamTypeClasses #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
-- |
-- Module       : Data.Tuple.Strict.Lens.Field
-- Copyright    : (c) 2020-2021 Emily Pillmore
-- License      : BSD-style
--
-- Maintainer   : Emily Pillmore <emilypi@cohomolo.gy>
-- Stability    : Experimental
-- Portability  : FlexibleContexts, MPTC
--
-- This module exports 'Control.Lens.Field.Field1' through
-- 'Control.Lens.Field.Field19' instances for 'T1' through
-- 'T19'.
--
module Data.Tuple.Strict.Lens.Field
( Field1(..)
, Field2(..)
, Field3(..)
, Field4(..)
, Field5(..)
, Field6(..)
, Field7(..)
, Field8(..)
, Field9(..)
, Field10(..)
, Field11(..)
, Field12(..)
, Field13(..)
, Field14(..)
, Field15(..)
, Field16(..)
, Field17(..)
, Field18(..)
, Field19(..)
) where


import Control.Lens

import Data.Tuple.Strict

-- ---------------------------------------------------------------- --
-- Field1 optics

instance Field1 (T1 a) (T1 a') a a' where
  _1 :: (a -> f a') -> T1 a -> f (T1 a')
_1 a -> f a'
k ~(T1 a
a) = a' -> T1 a'
forall a. a -> T1 a
T1 (a' -> T1 a') -> f a' -> f (T1 a')
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> a -> f a'
k a
a

instance Field1 (T2 a b) (T2 a' b) a a' where
  _1 :: (a -> f a') -> T2 a b -> f (T2 a' b)
_1 a -> f a'
k ~(T2 a
a b
b) = a -> f a'
k a
a f a' -> (a' -> T2 a' b) -> f (T2 a' b)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a' -> b -> T2 a' b
forall a b. a -> b -> T2 a b
T2 a'
a' b
b)
  {-# inline _1 #-}

instance Field1 (T3 a b c) (T3 a' b c) a a' where
  _1 :: (a -> f a') -> T3 a b c -> f (T3 a' b c)
_1 a -> f a'
k ~(T3 a
a b
b c
c) = a -> f a'
k a
a f a' -> (a' -> T3 a' b c) -> f (T3 a' b c)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a' -> b -> c -> T3 a' b c
forall a b c. a -> b -> c -> T3 a b c
T3 a'
a' b
b c
c)
  {-# inline _1 #-}

instance Field1 (T4 a b c d) (T4 a' b c d) a a' where
  _1 :: (a -> f a') -> T4 a b c d -> f (T4 a' b c d)
_1 a -> f a'
k ~(T4 a
a b
b c
c d
d) = a -> f a'
k a
a f a' -> (a' -> T4 a' b c d) -> f (T4 a' b c d)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a' -> b -> c -> d -> T4 a' b c d
forall a b c d. a -> b -> c -> d -> T4 a b c d
T4 a'
a' b
b c
c d
d)
  {-# inline _1 #-}

instance Field1 (T5 a b c d e) (T5 a' b c d e) a a' where
  _1 :: (a -> f a') -> T5 a b c d e -> f (T5 a' b c d e)
_1 a -> f a'
k ~(T5 a
a b
b c
c d
d e
e) = a -> f a'
k a
a f a' -> (a' -> T5 a' b c d e) -> f (T5 a' b c d e)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a' -> b -> c -> d -> e -> T5 a' b c d e
forall a b c d e. a -> b -> c -> d -> e -> T5 a b c d e
T5 a'
a' b
b c
c d
d e
e)
  {-# inline _1 #-}

instance Field1 (T6 a b c d e f) (T6 a' b c d e f) a a' where
  _1 :: (a -> f a') -> T6 a b c d e f -> f (T6 a' b c d e f)
_1 a -> f a'
k ~(T6 a
a b
b c
c d
d e
e f
f) = a -> f a'
k a
a f a' -> (a' -> T6 a' b c d e f) -> f (T6 a' b c d e f)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a' -> b -> c -> d -> e -> f -> T6 a' b c d e f
forall a b c d e f. a -> b -> c -> d -> e -> f -> T6 a b c d e f
T6 a'
a' b
b c
c d
d e
e f
f)
  {-# inline _1 #-}

instance Field1 (T7 a b c d e f g) (T7 a' b c d e f g) a a' where
  _1 :: (a -> f a') -> T7 a b c d e f g -> f (T7 a' b c d e f g)
_1 a -> f a'
k ~(T7 a
a b
b c
c d
d e
e f
f g
g) = a -> f a'
k a
a f a' -> (a' -> T7 a' b c d e f g) -> f (T7 a' b c d e f g)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a' -> b -> c -> d -> e -> f -> g -> T7 a' b c d e f g
forall a b c d e f g.
a -> b -> c -> d -> e -> f -> g -> T7 a b c d e f g
T7 a'
a' b
b c
c d
d e
e f
f g
g)
  {-# inline _1 #-}

instance Field1 (T8 a b c d e f g h) (T8 a' b c d e f g h) a a' where
  _1 :: (a -> f a') -> T8 a b c d e f g h -> f (T8 a' b c d e f g h)
_1 a -> f a'
k ~(T8 a
a b
b c
c d
d e
e f
f g
g h
h) = a -> f a'
k a
a f a' -> (a' -> T8 a' b c d e f g h) -> f (T8 a' b c d e f g h)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a' -> b -> c -> d -> e -> f -> g -> h -> T8 a' b c d e f g h
forall a b c d e f g h.
a -> b -> c -> d -> e -> f -> g -> h -> T8 a b c d e f g h
T8 a'
a' b
b c
c d
d e
e f
f g
g h
h)
  {-# inline _1 #-}

instance Field1 (T9 a b c d e f g h i) (T9 a' b c d e f g h i) a a' where
  _1 :: (a -> f a') -> T9 a b c d e f g h i -> f (T9 a' b c d e f g h i)
_1 a -> f a'
k ~(T9 a
a b
b c
c d
d e
e f
f g
g h
h i
i) = a -> f a'
k a
a f a' -> (a' -> T9 a' b c d e f g h i) -> f (T9 a' b c d e f g h i)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a' -> b -> c -> d -> e -> f -> g -> h -> i -> T9 a' b c d e f g h i
forall a b c d e f g h i.
a -> b -> c -> d -> e -> f -> g -> h -> i -> T9 a b c d e f g h i
T9 a'
a' b
b c
c d
d e
e f
f g
g h
h i
i)
  {-# inline _1 #-}

instance Field1 (T10 a b c d e f g h i j) (T10 a' b c d e f g h i j) a a' where
  _1 :: (a -> f a')
-> T10 a b c d e f g h i j -> f (T10 a' b c d e f g h i j)
_1 a -> f a'
k ~(T10 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j) = a -> f a'
k a
a f a'
-> (a' -> T10 a' b c d e f g h i j) -> f (T10 a' b c d e f g h i j)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a'
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> T10 a' b c d e f g h i j
forall a b c d e f g h i j.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> T10 a b c d e f g h i j
T10 a'
a' b
b c
c d
d e
e f
f g
g h
h i
i j
j)
  {-# inline _1 #-}

instance Field1 (T11 a b c d e f g h i j kk) (T11 a' b c d e f g h i j kk) a a' where
  _1 :: (a -> f a')
-> T11 a b c d e f g h i j kk -> f (T11 a' b c d e f g h i j kk)
_1 a -> f a'
k ~(T11 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk) = a -> f a'
k a
a f a'
-> (a' -> T11 a' b c d e f g h i j kk)
-> f (T11 a' b c d e f g h i j kk)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a'
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> T11 a' b c d e f g h i j kk
forall a b c d e f g h i j k.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> T11 a b c d e f g h i j k
T11 a'
a' b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk)
  {-# inline _1 #-}

instance Field1 (T12 a b c d e f g h i j kk l) (T12 a' b c d e f g h i j kk l) a a' where
  _1 :: (a -> f a')
-> T12 a b c d e f g h i j kk l
-> f (T12 a' b c d e f g h i j kk l)
_1 a -> f a'
k ~(T12 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l) = a -> f a'
k a
a f a'
-> (a' -> T12 a' b c d e f g h i j kk l)
-> f (T12 a' b c d e f g h i j kk l)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a'
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> T12 a' b c d e f g h i j kk l
forall a b c d e f g h i j k l.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> T12 a b c d e f g h i j k l
T12 a'
a' b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l)
  {-# inline _1 #-}

instance Field1 (T13 a b c d e f g h i j kk l m) (T13 a' b c d e f g h i j kk l m) a a' where
  _1 :: (a -> f a')
-> T13 a b c d e f g h i j kk l m
-> f (T13 a' b c d e f g h i j kk l m)
_1 a -> f a'
k ~(T13 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m) = a -> f a'
k a
a f a'
-> (a' -> T13 a' b c d e f g h i j kk l m)
-> f (T13 a' b c d e f g h i j kk l m)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a'
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> T13 a' b c d e f g h i j kk l m
forall a b c d e f g h i j k l m.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> T13 a b c d e f g h i j k l m
T13 a'
a' b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m)
  {-# inline _1 #-}

instance Field1 (T14 a b c d e f g h i j kk l m n) (T14 a' b c d e f g h i j kk l m n) a a' where
  _1 :: (a -> f a')
-> T14 a b c d e f g h i j kk l m n
-> f (T14 a' b c d e f g h i j kk l m n)
_1 a -> f a'
k ~(T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n) = a -> f a'
k a
a f a'
-> (a' -> T14 a' b c d e f g h i j kk l m n)
-> f (T14 a' b c d e f g h i j kk l m n)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a'
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> T14 a' b c d e f g h i j kk l m n
forall a b c d e f g h i j k l m n.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> T14 a b c d e f g h i j k l m n
T14 a'
a' b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n)
  {-# inline _1 #-}

instance Field1 (T15 a b c d e f g h i j kk l m n o) (T15 a' b c d e f g h i j kk l m n o) a a' where
  _1 :: (a -> f a')
-> T15 a b c d e f g h i j kk l m n o
-> f (T15 a' b c d e f g h i j kk l m n o)
_1 a -> f a'
k ~(T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o) = a -> f a'
k a
a f a'
-> (a' -> T15 a' b c d e f g h i j kk l m n o)
-> f (T15 a' b c d e f g h i j kk l m n o)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a'
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> T15 a' b c d e f g h i j kk l m n o
forall a b c d e f g h i j k l m n o.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i j k l m n o
T15 a'
a' b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o)
  {-# inline _1 #-}

instance Field1 (T16 a b c d e f g h i j kk l m n o p) (T16 a' b c d e f g h i j kk l m n o p) a a' where
  _1 :: (a -> f a')
-> T16 a b c d e f g h i j kk l m n o p
-> f (T16 a' b c d e f g h i j kk l m n o p)
_1 a -> f a'
k ~(T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p) = a -> f a'
k a
a f a'
-> (a' -> T16 a' b c d e f g h i j kk l m n o p)
-> f (T16 a' b c d e f g h i j kk l m n o p)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a'
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> T16 a' b c d e f g h i j kk l m n o p
forall a b c d e f g h i j k l m n o p.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j k l m n o p
T16 a'
a' b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p)
  {-# inline _1 #-}

instance Field1 (T17 a b c d e f g h i j kk l m n o p q) (T17 a' b c d e f g h i j kk l m n o p q) a a' where
  _1 :: (a -> f a')
-> T17 a b c d e f g h i j kk l m n o p q
-> f (T17 a' b c d e f g h i j kk l m n o p q)
_1 a -> f a'
k ~(T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q) = a -> f a'
k a
a f a'
-> (a' -> T17 a' b c d e f g h i j kk l m n o p q)
-> f (T17 a' b c d e f g h i j kk l m n o p q)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a'
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a' b c d e f g h i j kk l m n o p q
forall a b c d e f g h i j k l m n o p q.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j k l m n o p q
T17 a'
a' b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q)
  {-# inline _1 #-}

instance Field1 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a' b c d e f g h i j kk l m n o p q r) a a' where
  _1 :: (a -> f a')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a' b c d e f g h i j kk l m n o p q r)
_1 a -> f a'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = a -> f a'
k a
a f a'
-> (a' -> T18 a' b c d e f g h i j kk l m n o p q r)
-> f (T18 a' b c d e f g h i j kk l m n o p q r)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a'
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a' b c d e f g h i j kk l m n o p q r
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a'
a' b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r)
  {-# inline _1 #-}

instance Field1 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a' b c d e f g h i j kk l m n o p q r s) a a' where
  _1 :: (a -> f a')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a' b c d e f g h i j kk l m n o p q r s)
_1 a -> f a'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = a -> f a'
k a
a f a'
-> (a' -> T19 a' b c d e f g h i j kk l m n o p q r s)
-> f (T19 a' b c d e f g h i j kk l m n o p q r s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \a'
a' -> (a'
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a' b c d e f g h i j kk l m n o p q r s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a'
a' b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s)
  {-# inline _1 #-}

-- ---------------------------------------------------------------- --
-- Field2 optics

instance Field2 (T2 a b) (T2 a b') b b' where
  _2 :: (b -> f b') -> T2 a b -> f (T2 a b')
_2 b -> f b'
k ~(T2 a
a b
b) = b -> f b'
k b
b f b' -> (b' -> T2 a b') -> f (T2 a b')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a -> b' -> T2 a b'
forall a b. a -> b -> T2 a b
T2 a
a b'
b')
  {-# inline _2 #-}

instance Field2 (T3 a b c) (T3 a b' c) b b' where
  _2 :: (b -> f b') -> T3 a b c -> f (T3 a b' c)
_2 b -> f b'
k ~(T3 a
a b
b c
c) = b -> f b'
k b
b f b' -> (b' -> T3 a b' c) -> f (T3 a b' c)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a -> b' -> c -> T3 a b' c
forall a b c. a -> b -> c -> T3 a b c
T3 a
a b'
b' c
c)
  {-# inline _2 #-}

instance Field2 (T4 a b c d) (T4 a b' c d) b b' where
  _2 :: (b -> f b') -> T4 a b c d -> f (T4 a b' c d)
_2 b -> f b'
k ~(T4 a
a b
b c
c d
d) = b -> f b'
k b
b f b' -> (b' -> T4 a b' c d) -> f (T4 a b' c d)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a -> b' -> c -> d -> T4 a b' c d
forall a b c d. a -> b -> c -> d -> T4 a b c d
T4 a
a b'
b' c
c d
d)
  {-# inline _2 #-}

instance Field2 (T5 a b c d e) (T5 a b' c d e) b b' where
  _2 :: (b -> f b') -> T5 a b c d e -> f (T5 a b' c d e)
_2 b -> f b'
k ~(T5 a
a b
b c
c d
d e
e) = b -> f b'
k b
b f b' -> (b' -> T5 a b' c d e) -> f (T5 a b' c d e)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a -> b' -> c -> d -> e -> T5 a b' c d e
forall a b c d e. a -> b -> c -> d -> e -> T5 a b c d e
T5 a
a b'
b' c
c d
d e
e)
  {-# inline _2 #-}

instance Field2 (T6 a b c d e f) (T6 a b' c d e f) b b' where
  _2 :: (b -> f b') -> T6 a b c d e f -> f (T6 a b' c d e f)
_2 b -> f b'
k ~(T6 a
a b
b c
c d
d e
e f
f) = b -> f b'
k b
b f b' -> (b' -> T6 a b' c d e f) -> f (T6 a b' c d e f)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a -> b' -> c -> d -> e -> f -> T6 a b' c d e f
forall a b c d e f. a -> b -> c -> d -> e -> f -> T6 a b c d e f
T6 a
a b'
b' c
c d
d e
e f
f)
  {-# inline _2 #-}

instance Field2 (T7 a b c d e f g) (T7 a b' c d e f g) b b' where
  _2 :: (b -> f b') -> T7 a b c d e f g -> f (T7 a b' c d e f g)
_2 b -> f b'
k ~(T7 a
a b
b c
c d
d e
e f
f g
g) = b -> f b'
k b
b f b' -> (b' -> T7 a b' c d e f g) -> f (T7 a b' c d e f g)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a -> b' -> c -> d -> e -> f -> g -> T7 a b' c d e f g
forall a b c d e f g.
a -> b -> c -> d -> e -> f -> g -> T7 a b c d e f g
T7 a
a b'
b' c
c d
d e
e f
f g
g)
  {-# inline _2 #-}

instance Field2 (T8 a b c d e f g h) (T8 a b' c d e f g h) b b' where
  _2 :: (b -> f b') -> T8 a b c d e f g h -> f (T8 a b' c d e f g h)
_2 b -> f b'
k ~(T8 a
a b
b c
c d
d e
e f
f g
g h
h) = b -> f b'
k b
b f b' -> (b' -> T8 a b' c d e f g h) -> f (T8 a b' c d e f g h)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a -> b' -> c -> d -> e -> f -> g -> h -> T8 a b' c d e f g h
forall a b c d e f g h.
a -> b -> c -> d -> e -> f -> g -> h -> T8 a b c d e f g h
T8 a
a b'
b' c
c d
d e
e f
f g
g h
h)
  {-# inline _2 #-}

instance Field2 (T9 a b c d e f g h i) (T9 a b' c d e f g h i) b b' where
  _2 :: (b -> f b') -> T9 a b c d e f g h i -> f (T9 a b' c d e f g h i)
_2 b -> f b'
k ~(T9 a
a b
b c
c d
d e
e f
f g
g h
h i
i) = b -> f b'
k b
b f b' -> (b' -> T9 a b' c d e f g h i) -> f (T9 a b' c d e f g h i)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a -> b' -> c -> d -> e -> f -> g -> h -> i -> T9 a b' c d e f g h i
forall a b c d e f g h i.
a -> b -> c -> d -> e -> f -> g -> h -> i -> T9 a b c d e f g h i
T9 a
a b'
b' c
c d
d e
e f
f g
g h
h i
i)
  {-# inline _2 #-}

instance Field2 (T10 a b c d e f g h i j) (T10 a b' c d e f g h i j) b b' where
  _2 :: (b -> f b')
-> T10 a b c d e f g h i j -> f (T10 a b' c d e f g h i j)
_2 b -> f b'
k ~(T10 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j) = b -> f b'
k b
b f b'
-> (b' -> T10 a b' c d e f g h i j) -> f (T10 a b' c d e f g h i j)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a
-> b'
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> T10 a b' c d e f g h i j
forall a b c d e f g h i j.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> T10 a b c d e f g h i j
T10 a
a b'
b' c
c d
d e
e f
f g
g h
h i
i j
j)
  {-# inline _2 #-}

instance Field2 (T11 a b c d e f g h i j kk) (T11 a b' c d e f g h i j kk) b b' where
  _2 :: (b -> f b')
-> T11 a b c d e f g h i j kk -> f (T11 a b' c d e f g h i j kk)
_2 b -> f b'
k ~(T11 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk) = b -> f b'
k b
b f b'
-> (b' -> T11 a b' c d e f g h i j kk)
-> f (T11 a b' c d e f g h i j kk)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a
-> b'
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> T11 a b' c d e f g h i j kk
forall a b c d e f g h i j k.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> T11 a b c d e f g h i j k
T11 a
a b'
b' c
c d
d e
e f
f g
g h
h i
i j
j kk
kk)
  {-# inline _2 #-}

instance Field2 (T12 a b c d e f g h i j kk l) (T12 a b' c d e f g h i j kk l) b b' where
  _2 :: (b -> f b')
-> T12 a b c d e f g h i j kk l
-> f (T12 a b' c d e f g h i j kk l)
_2 b -> f b'
k ~(T12 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l) = b -> f b'
k b
b f b'
-> (b' -> T12 a b' c d e f g h i j kk l)
-> f (T12 a b' c d e f g h i j kk l)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a
-> b'
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> T12 a b' c d e f g h i j kk l
forall a b c d e f g h i j k l.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> T12 a b c d e f g h i j k l
T12 a
a b'
b' c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l)
  {-# inline _2 #-}

instance Field2 (T13 a b c d e f g h i j kk l m) (T13 a b' c d e f g h i j kk l m) b b' where
  _2 :: (b -> f b')
-> T13 a b c d e f g h i j kk l m
-> f (T13 a b' c d e f g h i j kk l m)
_2 b -> f b'
k ~(T13 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m) = b -> f b'
k b
b f b'
-> (b' -> T13 a b' c d e f g h i j kk l m)
-> f (T13 a b' c d e f g h i j kk l m)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a
-> b'
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> T13 a b' c d e f g h i j kk l m
forall a b c d e f g h i j k l m.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> T13 a b c d e f g h i j k l m
T13 a
a b'
b' c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m)
  {-# inline _2 #-}

instance Field2 (T14 a b c d e f g h i j kk l m n) (T14 a b' c d e f g h i j kk l m n) b b' where
  _2 :: (b -> f b')
-> T14 a b c d e f g h i j kk l m n
-> f (T14 a b' c d e f g h i j kk l m n)
_2 b -> f b'
k ~(T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n) = b -> f b'
k b
b f b'
-> (b' -> T14 a b' c d e f g h i j kk l m n)
-> f (T14 a b' c d e f g h i j kk l m n)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a
-> b'
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> T14 a b' c d e f g h i j kk l m n
forall a b c d e f g h i j k l m n.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> T14 a b c d e f g h i j k l m n
T14 a
a b'
b' c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n)
  {-# inline _2 #-}

instance Field2 (T15 a b c d e f g h i j kk l m n o) (T15 a b' c d e f g h i j kk l m n o) b b' where
  _2 :: (b -> f b')
-> T15 a b c d e f g h i j kk l m n o
-> f (T15 a b' c d e f g h i j kk l m n o)
_2 b -> f b'
k ~(T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o) = b -> f b'
k b
b f b'
-> (b' -> T15 a b' c d e f g h i j kk l m n o)
-> f (T15 a b' c d e f g h i j kk l m n o)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a
-> b'
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> T15 a b' c d e f g h i j kk l m n o
forall a b c d e f g h i j k l m n o.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i j k l m n o
T15 a
a b'
b' c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o)
  {-# inline _2 #-}

instance Field2 (T16 a b c d e f g h i j kk l m n o p) (T16 a b' c d e f g h i j kk l m n o p) b b' where
  _2 :: (b -> f b')
-> T16 a b c d e f g h i j kk l m n o p
-> f (T16 a b' c d e f g h i j kk l m n o p)
_2 b -> f b'
k ~(T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p) = b -> f b'
k b
b f b'
-> (b' -> T16 a b' c d e f g h i j kk l m n o p)
-> f (T16 a b' c d e f g h i j kk l m n o p)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a
-> b'
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> T16 a b' c d e f g h i j kk l m n o p
forall a b c d e f g h i j k l m n o p.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j k l m n o p
T16 a
a b'
b' c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p)
  {-# inline _2 #-}

instance Field2 (T17 a b c d e f g h i j kk l m n o p q) (T17 a b' c d e f g h i j kk l m n o p q) b b' where
  _2 :: (b -> f b')
-> T17 a b c d e f g h i j kk l m n o p q
-> f (T17 a b' c d e f g h i j kk l m n o p q)
_2 b -> f b'
k ~(T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q) = b -> f b'
k b
b f b'
-> (b' -> T17 a b' c d e f g h i j kk l m n o p q)
-> f (T17 a b' c d e f g h i j kk l m n o p q)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a
-> b'
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b' c d e f g h i j kk l m n o p q
forall a b c d e f g h i j k l m n o p q.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j k l m n o p q
T17 a
a b'
b' c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q)
  {-# inline _2 #-}

instance Field2 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a b' c d e f g h i j kk l m n o p q r) b b' where
  _2 :: (b -> f b')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a b' c d e f g h i j kk l m n o p q r)
_2 b -> f b'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = b -> f b'
k b
b f b'
-> (b' -> T18 a b' c d e f g h i j kk l m n o p q r)
-> f (T18 a b' c d e f g h i j kk l m n o p q r)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a
-> b'
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b' c d e f g h i j kk l m n o p q r
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a
a b'
b' c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r)
  {-# inline _2 #-}

instance Field2 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b' c d e f g h i j kk l m n o p q r s) b b' where
  _2 :: (b -> f b')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b' c d e f g h i j kk l m n o p q r s)
_2 b -> f b'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = b -> f b'
k b
b f b'
-> (b' -> T19 a b' c d e f g h i j kk l m n o p q r s)
-> f (T19 a b' c d e f g h i j kk l m n o p q r s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \b'
b' -> (a
-> b'
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b' c d e f g h i j kk l m n o p q r s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b'
b' c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s)
  {-# inline _2 #-}

-- ---------------------------------------------------------------- --
-- Field3 optics

instance Field3 (T3 a b c) (T3 a b c') c c' where
  _3 :: (c -> f c') -> T3 a b c -> f (T3 a b c')
_3 c -> f c'
k ~(T3 a
a b
b c
c) = c -> f c'
k c
c f c' -> (c' -> T3 a b c') -> f (T3 a b c')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \c'
c' -> (a -> b -> c' -> T3 a b c'
forall a b c. a -> b -> c -> T3 a b c
T3 a
a b
b c'
c')
  {-# inline _3 #-}

instance Field3 (T4 a b c d) (T4 a b c' d) c c' where
  _3 :: (c -> f c') -> T4 a b c d -> f (T4 a b c' d)
_3 c -> f c'
k ~(T4 a
a b
b c
c d
d) = c -> f c'
k c
c f c' -> (c' -> T4 a b c' d) -> f (T4 a b c' d)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \c'
c' -> (a -> b -> c' -> d -> T4 a b c' d
forall a b c d. a -> b -> c -> d -> T4 a b c d
T4 a
a b
b c'
c' d
d)
  {-# inline _3 #-}

instance Field3 (T5 a b c d e) (T5 a b c' d e) c c' where
  _3 :: (c -> f c') -> T5 a b c d e -> f (T5 a b c' d e)
_3 c -> f c'
k ~(T5 a
a b
b c
c d
d e
e) = c -> f c'
k c
c f c' -> (c' -> T5 a b c' d e) -> f (T5 a b c' d e)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \c'
c' -> (a -> b -> c' -> d -> e -> T5 a b c' d e
forall a b c d e. a -> b -> c -> d -> e -> T5 a b c d e
T5 a
a b
b c'
c' d
d e
e)
  {-# inline _3 #-}

instance Field3 (T6 a b c d e f) (T6 a b c' d e f) c c' where
  _3 :: (c -> f c') -> T6 a b c d e f -> f (T6 a b c' d e f)
_3 c -> f c'
k ~(T6 a
a b
b c
c d
d e
e f
f) = c -> f c'
k c
c f c' -> (c' -> T6 a b c' d e f) -> f (T6 a b c' d e f)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \c'
c' -> (a -> b -> c' -> d -> e -> f -> T6 a b c' d e f
forall a b c d e f. a -> b -> c -> d -> e -> f -> T6 a b c d e f
T6 a
a b
b c'
c' d
d e
e f
f)
  {-# inline _3 #-}

instance Field3 (T7 a b c d e f g) (T7 a b c' d e f g) c c' where
  _3 :: (c -> f c') -> T7 a b c d e f g -> f (T7 a b c' d e f g)
_3 c -> f c'
k ~(T7 a
a b
b c
c d
d e
e f
f g
g) = c -> f c'
k c
c f c' -> (c' -> T7 a b c' d e f g) -> f (T7 a b c' d e f g)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \c'
c' -> (a -> b -> c' -> d -> e -> f -> g -> T7 a b c' d e f g
forall a b c d e f g.
a -> b -> c -> d -> e -> f -> g -> T7 a b c d e f g
T7 a
a b
b c'
c' d
d e
e f
f g
g)
  {-# inline _3 #-}

instance Field3 (T8 a b c d e f g h) (T8 a b c' d e f g h) c c' where
  _3 :: (c -> f c') -> T8 a b c d e f g h -> f (T8 a b c' d e f g h)
_3 c -> f c'
k ~(T8 a
a b
b c
c d
d e
e f
f g
g h
h) = c -> f c'
k c
c f c' -> (c' -> T8 a b c' d e f g h) -> f (T8 a b c' d e f g h)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \c'
c' -> (a -> b -> c' -> d -> e -> f -> g -> h -> T8 a b c' d e f g h
forall a b c d e f g h.
a -> b -> c -> d -> e -> f -> g -> h -> T8 a b c d e f g h
T8 a
a b
b c'
c' d
d e
e f
f g
g h
h)
  {-# inline _3 #-}

instance Field3 (T9 a b c d e f g h i) (T9 a b c' d e f g h i) c c' where
  _3 :: (c -> f c') -> T9 a b c d e f g h i -> f (T9 a b c' d e f g h i)
_3 c -> f c'
k ~(T9 a
a b
b c
c d
d e
e f
f g
g h
h i
i) = c -> f c'
k c
c f c' -> (c' -> T9 a b c' d e f g h i) -> f (T9 a b c' d e f g h i)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \c'
c' -> (a -> b -> c' -> d -> e -> f -> g -> h -> i -> T9 a b c' d e f g h i
forall a b c d e f g h i.
a -> b -> c -> d -> e -> f -> g -> h -> i -> T9 a b c d e f g h i
T9 a
a b
b c'
c' d
d e
e f
f g
g h
h i
i)
  {-# inline _3 #-}

instance Field3 (T10 a b c d e f g h i j) (T10 a b c' d e f g h i j) c c' where
  _3 :: (c -> f c')
-> T10 a b c d e f g h i j -> f (T10 a b c' d e f g h i j)
_3 c -> f c'
k ~(T10 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j) = c -> f c'
k c
c f c'
-> (c' -> T10 a b c' d e f g h i j) -> f (T10 a b c' d e f g h i j)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \c'
c' -> (a
-> b
-> c'
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> T10 a b c' d e f g h i j
forall a b c d e f g h i j.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> T10 a b c d e f g h i j
T10 a
a b
b c'
c' d
d e
e f
f g
g h
h i
i j
j)
  {-# inline _3 #-}

instance Field3 (T11 a b c d e f g h i j kk) (T11 a b c' d e f g h i j kk) c c' where
  _3 :: (c -> f c')
-> T11 a b c d e f g h i j kk -> f (T11 a b c' d e f g h i j kk)
_3 c -> f c'
k ~(T11 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk) = c -> f c'
k c
c f c'
-> (c' -> T11 a b c' d e f g h i j kk)
-> f (T11 a b c' d e f g h i j kk)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \c'
c' -> (a
-> b
-> c'
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> T11 a b c' d e f g h i j kk
forall a b c d e f g h i j k.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> T11 a b c d e f g h i j k
T11 a
a b
b c'
c' d
d e
e f
f g
g h
h i
i j
j kk
kk)
  {-# inline _3 #-}

instance Field3 (T12 a b c d e f g h i j kk l) (T12 a b c' d e f g h i j kk l) c c' where
  _3 :: (c -> f c')
-> T12 a b c d e f g h i j kk l
-> f (T12 a b c' d e f g h i j kk l)
_3 c -> f c'
k ~(T12 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l) = c -> f c'
k c
c f c'
-> (c' -> T12 a b c' d e f g h i j kk l)
-> f (T12 a b c' d e f g h i j kk l)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \c'
c' -> (a
-> b
-> c'
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> T12 a b c' d e f g h i j kk l
forall a b c d e f g h i j k l.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> T12 a b c d e f g h i j k l
T12 a
a b
b c'
c' d
d e
e f
f g
g h
h i
i j
j kk
kk l
l)
  {-# inline _3 #-}

instance Field3 (T13 a b c d e f g h i j kk l m) (T13 a b c' d e f g h i j kk l m) c c' where
  _3 :: (c -> f c')
-> T13 a b c d e f g h i j kk l m
-> f (T13 a b c' d e f g h i j kk l m)
_3 c -> f c'
k ~(T13 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m) = c -> f c'
k c
c f c'
-> (c' -> T13 a b c' d e f g h i j kk l m)
-> f (T13 a b c' d e f g h i j kk l m)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \c'
c' -> (a
-> b
-> c'
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> T13 a b c' d e f g h i j kk l m
forall a b c d e f g h i j k l m.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> T13 a b c d e f g h i j k l m
T13 a
a b
b c'
c' d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m)
  {-# inline _3 #-}

instance Field3 (T14 a b c d e f g h i j kk l m n) (T14 a b c' d e f g h i j kk l m n) c c' where
  _3 :: (c -> f c')
-> T14 a b c d e f g h i j kk l m n
-> f (T14 a b c' d e f g h i j kk l m n)
_3 c -> f c'
k ~(T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n) = c -> f c'
k c
c f c'
-> (c' -> T14 a b c' d e f g h i j kk l m n)
-> f (T14 a b c' d e f g h i j kk l m n)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \c'
c' -> (a
-> b
-> c'
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> T14 a b c' d e f g h i j kk l m n
forall a b c d e f g h i j k l m n.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> T14 a b c d e f g h i j k l m n
T14 a
a b
b c'
c' d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n)
  {-# inline _3 #-}

instance Field3 (T15 a b c d e f g h i j kk l m n o) (T15 a b c' d e f g h i j kk l m n o) c c' where
  _3 :: (c -> f c')
-> T15 a b c d e f g h i j kk l m n o
-> f (T15 a b c' d e f g h i j kk l m n o)
_3 c -> f c'
k ~(T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o) = c -> f c'
k c
c f c'
-> (c' -> T15 a b c' d e f g h i j kk l m n o)
-> f (T15 a b c' d e f g h i j kk l m n o)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \c'
c' -> (a
-> b
-> c'
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> T15 a b c' d e f g h i j kk l m n o
forall a b c d e f g h i j k l m n o.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i j k l m n o
T15 a
a b
b c'
c' d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o)
  {-# inline _3 #-}

instance Field3 (T16 a b c d e f g h i j kk l m n o p) (T16 a b c' d e f g h i j kk l m n o p) c c' where
  _3 :: (c -> f c')
-> T16 a b c d e f g h i j kk l m n o p
-> f (T16 a b c' d e f g h i j kk l m n o p)
_3 c -> f c'
k ~(T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p) = c -> f c'
k c
c f c'
-> (c' -> T16 a b c' d e f g h i j kk l m n o p)
-> f (T16 a b c' d e f g h i j kk l m n o p)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \c'
c' -> (a
-> b
-> c'
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> T16 a b c' d e f g h i j kk l m n o p
forall a b c d e f g h i j k l m n o p.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j k l m n o p
T16 a
a b
b c'
c' d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p)
  {-# inline _3 #-}

instance Field3 (T17 a b c d e f g h i j kk l m n o p q) (T17 a b c' d e f g h i j kk l m n o p q) c c' where
  _3 :: (c -> f c')
-> T17 a b c d e f g h i j kk l m n o p q
-> f (T17 a b c' d e f g h i j kk l m n o p q)
_3 c -> f c'
k ~(T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q) = c -> f c'
k c
c f c'
-> (c' -> T17 a b c' d e f g h i j kk l m n o p q)
-> f (T17 a b c' d e f g h i j kk l m n o p q)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \c'
c' -> (a
-> b
-> c'
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c' d e f g h i j kk l m n o p q
forall a b c d e f g h i j k l m n o p q.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j k l m n o p q
T17 a
a b
b c'
c' d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q)
  {-# inline _3 #-}

instance Field3 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a b c' d e f g h i j kk l m n o p q r) c c' where
  _3 :: (c -> f c')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a b c' d e f g h i j kk l m n o p q r)
_3 c -> f c'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = c -> f c'
k c
c f c'
-> (c' -> T18 a b c' d e f g h i j kk l m n o p q r)
-> f (T18 a b c' d e f g h i j kk l m n o p q r)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \c'
c' -> (a
-> b
-> c'
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c' d e f g h i j kk l m n o p q r
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a
a b
b c'
c' d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r)
  {-# inline _3 #-}

instance Field3 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b c' d e f g h i j kk l m n o p q r s) c c' where
  _3 :: (c -> f c')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b c' d e f g h i j kk l m n o p q r s)
_3 c -> f c'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = c -> f c'
k c
c f c'
-> (c' -> T19 a b c' d e f g h i j kk l m n o p q r s)
-> f (T19 a b c' d e f g h i j kk l m n o p q r s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \c'
c' -> (a
-> b
-> c'
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c' d e f g h i j kk l m n o p q r s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b
b c'
c' d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s)
  {-# inline _3 #-}

-- ---------------------------------------------------------------- --
-- Field4 optics

instance Field4 (T4 a b c d) (T4 a b c d') d d' where
  _4 :: (d -> f d') -> T4 a b c d -> f (T4 a b c d')
_4 d -> f d'
k ~(T4 a
a b
b c
c d
d) = d -> f d'
k d
d f d' -> (d' -> T4 a b c d') -> f (T4 a b c d')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \d'
d' -> (a -> b -> c -> d' -> T4 a b c d'
forall a b c d. a -> b -> c -> d -> T4 a b c d
T4 a
a b
b c
c d'
d')
  {-# inline _4 #-}

instance Field4 (T5 a b c d e) (T5 a b c d' e) d d' where
  _4 :: (d -> f d') -> T5 a b c d e -> f (T5 a b c d' e)
_4 d -> f d'
k ~(T5 a
a b
b c
c d
d e
e) = d -> f d'
k d
d f d' -> (d' -> T5 a b c d' e) -> f (T5 a b c d' e)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \d'
d' -> (a -> b -> c -> d' -> e -> T5 a b c d' e
forall a b c d e. a -> b -> c -> d -> e -> T5 a b c d e
T5 a
a b
b c
c d'
d' e
e)
  {-# inline _4 #-}

instance Field4 (T6 a b c d e f) (T6 a b c d' e f) d d' where
  _4 :: (d -> f d') -> T6 a b c d e f -> f (T6 a b c d' e f)
_4 d -> f d'
k ~(T6 a
a b
b c
c d
d e
e f
f) = d -> f d'
k d
d f d' -> (d' -> T6 a b c d' e f) -> f (T6 a b c d' e f)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \d'
d' -> (a -> b -> c -> d' -> e -> f -> T6 a b c d' e f
forall a b c d e f. a -> b -> c -> d -> e -> f -> T6 a b c d e f
T6 a
a b
b c
c d'
d' e
e f
f)
  {-# inline _4 #-}

instance Field4 (T7 a b c d e f g) (T7 a b c d' e f g) d d' where
  _4 :: (d -> f d') -> T7 a b c d e f g -> f (T7 a b c d' e f g)
_4 d -> f d'
k ~(T7 a
a b
b c
c d
d e
e f
f g
g) = d -> f d'
k d
d f d' -> (d' -> T7 a b c d' e f g) -> f (T7 a b c d' e f g)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \d'
d' -> (a -> b -> c -> d' -> e -> f -> g -> T7 a b c d' e f g
forall a b c d e f g.
a -> b -> c -> d -> e -> f -> g -> T7 a b c d e f g
T7 a
a b
b c
c d'
d' e
e f
f g
g)
  {-# inline _4 #-}

instance Field4 (T8 a b c d e f g h) (T8 a b c d' e f g h) d d' where
  _4 :: (d -> f d') -> T8 a b c d e f g h -> f (T8 a b c d' e f g h)
_4 d -> f d'
k ~(T8 a
a b
b c
c d
d e
e f
f g
g h
h) = d -> f d'
k d
d f d' -> (d' -> T8 a b c d' e f g h) -> f (T8 a b c d' e f g h)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \d'
d' -> (a -> b -> c -> d' -> e -> f -> g -> h -> T8 a b c d' e f g h
forall a b c d e f g h.
a -> b -> c -> d -> e -> f -> g -> h -> T8 a b c d e f g h
T8 a
a b
b c
c d'
d' e
e f
f g
g h
h)
  {-# inline _4 #-}

instance Field4 (T9 a b c d e f g h i) (T9 a b c d' e f g h i) d d' where
  _4 :: (d -> f d') -> T9 a b c d e f g h i -> f (T9 a b c d' e f g h i)
_4 d -> f d'
k ~(T9 a
a b
b c
c d
d e
e f
f g
g h
h i
i) = d -> f d'
k d
d f d' -> (d' -> T9 a b c d' e f g h i) -> f (T9 a b c d' e f g h i)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \d'
d' -> (a -> b -> c -> d' -> e -> f -> g -> h -> i -> T9 a b c d' e f g h i
forall a b c d e f g h i.
a -> b -> c -> d -> e -> f -> g -> h -> i -> T9 a b c d e f g h i
T9 a
a b
b c
c d'
d' e
e f
f g
g h
h i
i)
  {-# inline _4 #-}

instance Field4 (T10 a b c d e f g h i j) (T10 a b c d' e f g h i j) d d' where
  _4 :: (d -> f d')
-> T10 a b c d e f g h i j -> f (T10 a b c d' e f g h i j)
_4 d -> f d'
k ~(T10 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j) = d -> f d'
k d
d f d'
-> (d' -> T10 a b c d' e f g h i j) -> f (T10 a b c d' e f g h i j)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \d'
d' -> (a
-> b
-> c
-> d'
-> e
-> f
-> g
-> h
-> i
-> j
-> T10 a b c d' e f g h i j
forall a b c d e f g h i j.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> T10 a b c d e f g h i j
T10 a
a b
b c
c d'
d' e
e f
f g
g h
h i
i j
j)
  {-# inline _4 #-}

instance Field4 (T11 a b c d e f g h i j kk) (T11 a b c d' e f g h i j kk) d d' where
  _4 :: (d -> f d')
-> T11 a b c d e f g h i j kk -> f (T11 a b c d' e f g h i j kk)
_4 d -> f d'
k ~(T11 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk) = d -> f d'
k d
d f d'
-> (d' -> T11 a b c d' e f g h i j kk)
-> f (T11 a b c d' e f g h i j kk)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \d'
d' -> (a
-> b
-> c
-> d'
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> T11 a b c d' e f g h i j kk
forall a b c d e f g h i j k.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> T11 a b c d e f g h i j k
T11 a
a b
b c
c d'
d' e
e f
f g
g h
h i
i j
j kk
kk)
  {-# inline _4 #-}

instance Field4 (T12 a b c d e f g h i j kk l) (T12 a b c d' e f g h i j kk l) d d' where
  _4 :: (d -> f d')
-> T12 a b c d e f g h i j kk l
-> f (T12 a b c d' e f g h i j kk l)
_4 d -> f d'
k ~(T12 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l) = d -> f d'
k d
d f d'
-> (d' -> T12 a b c d' e f g h i j kk l)
-> f (T12 a b c d' e f g h i j kk l)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \d'
d' -> (a
-> b
-> c
-> d'
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> T12 a b c d' e f g h i j kk l
forall a b c d e f g h i j k l.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> T12 a b c d e f g h i j k l
T12 a
a b
b c
c d'
d' e
e f
f g
g h
h i
i j
j kk
kk l
l)
  {-# inline _4 #-}

instance Field4 (T13 a b c d e f g h i j kk l m) (T13 a b c d' e f g h i j kk l m) d d' where
  _4 :: (d -> f d')
-> T13 a b c d e f g h i j kk l m
-> f (T13 a b c d' e f g h i j kk l m)
_4 d -> f d'
k ~(T13 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m) = d -> f d'
k d
d f d'
-> (d' -> T13 a b c d' e f g h i j kk l m)
-> f (T13 a b c d' e f g h i j kk l m)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \d'
d' -> (a
-> b
-> c
-> d'
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> T13 a b c d' e f g h i j kk l m
forall a b c d e f g h i j k l m.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> T13 a b c d e f g h i j k l m
T13 a
a b
b c
c d'
d' e
e f
f g
g h
h i
i j
j kk
kk l
l m
m)
  {-# inline _4 #-}

instance Field4 (T14 a b c d e f g h i j kk l m n) (T14 a b c d' e f g h i j kk l m n) d d' where
  _4 :: (d -> f d')
-> T14 a b c d e f g h i j kk l m n
-> f (T14 a b c d' e f g h i j kk l m n)
_4 d -> f d'
k ~(T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n) = d -> f d'
k d
d f d'
-> (d' -> T14 a b c d' e f g h i j kk l m n)
-> f (T14 a b c d' e f g h i j kk l m n)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \d'
d' -> (a
-> b
-> c
-> d'
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> T14 a b c d' e f g h i j kk l m n
forall a b c d e f g h i j k l m n.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> T14 a b c d e f g h i j k l m n
T14 a
a b
b c
c d'
d' e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n)
  {-# inline _4 #-}

instance Field4 (T15 a b c d e f g h i j kk l m n o) (T15 a b c d' e f g h i j kk l m n o) d d' where
  _4 :: (d -> f d')
-> T15 a b c d e f g h i j kk l m n o
-> f (T15 a b c d' e f g h i j kk l m n o)
_4 d -> f d'
k ~(T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o) = d -> f d'
k d
d f d'
-> (d' -> T15 a b c d' e f g h i j kk l m n o)
-> f (T15 a b c d' e f g h i j kk l m n o)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \d'
d' -> (a
-> b
-> c
-> d'
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> T15 a b c d' e f g h i j kk l m n o
forall a b c d e f g h i j k l m n o.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i j k l m n o
T15 a
a b
b c
c d'
d' e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o)
  {-# inline _4 #-}

instance Field4 (T16 a b c d e f g h i j kk l m n o p) (T16 a b c d' e f g h i j kk l m n o p) d d' where
  _4 :: (d -> f d')
-> T16 a b c d e f g h i j kk l m n o p
-> f (T16 a b c d' e f g h i j kk l m n o p)
_4 d -> f d'
k ~(T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p) = d -> f d'
k d
d f d'
-> (d' -> T16 a b c d' e f g h i j kk l m n o p)
-> f (T16 a b c d' e f g h i j kk l m n o p)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \d'
d' -> (a
-> b
-> c
-> d'
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d' e f g h i j kk l m n o p
forall a b c d e f g h i j k l m n o p.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j k l m n o p
T16 a
a b
b c
c d'
d' e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p)
  {-# inline _4 #-}

instance Field4 (T17 a b c d e f g h i j kk l m n o p q) (T17 a b c d' e f g h i j kk l m n o p q) d d' where
  _4 :: (d -> f d')
-> T17 a b c d e f g h i j kk l m n o p q
-> f (T17 a b c d' e f g h i j kk l m n o p q)
_4 d -> f d'
k ~(T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q) = d -> f d'
k d
d f d'
-> (d' -> T17 a b c d' e f g h i j kk l m n o p q)
-> f (T17 a b c d' e f g h i j kk l m n o p q)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \d'
d' -> (a
-> b
-> c
-> d'
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d' e f g h i j kk l m n o p q
forall a b c d e f g h i j k l m n o p q.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j k l m n o p q
T17 a
a b
b c
c d'
d' e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q)
  {-# inline _4 #-}

instance Field4 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a b c d' e f g h i j kk l m n o p q r) d d' where
  _4 :: (d -> f d')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a b c d' e f g h i j kk l m n o p q r)
_4 d -> f d'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = d -> f d'
k d
d f d'
-> (d' -> T18 a b c d' e f g h i j kk l m n o p q r)
-> f (T18 a b c d' e f g h i j kk l m n o p q r)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \d'
d' -> (a
-> b
-> c
-> d'
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d' e f g h i j kk l m n o p q r
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a
a b
b c
c d'
d' e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r)
  {-# inline _4 #-}

instance Field4 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b c d' e f g h i j kk l m n o p q r s) d d' where
  _4 :: (d -> f d')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b c d' e f g h i j kk l m n o p q r s)
_4 d -> f d'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = d -> f d'
k d
d f d'
-> (d' -> T19 a b c d' e f g h i j kk l m n o p q r s)
-> f (T19 a b c d' e f g h i j kk l m n o p q r s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \d'
d' -> (a
-> b
-> c
-> d'
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d' e f g h i j kk l m n o p q r s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b
b c
c d'
d' e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s)
  {-# inline _4 #-}

-- ---------------------------------------------------------------- --
-- Field5 optics

instance Field5 (T5 a b c d e) (T5 a b c d e') e e' where
  _5 :: (e -> f e') -> T5 a b c d e -> f (T5 a b c d e')
_5 e -> f e'
k ~(T5 a
a b
b c
c d
d e
e) = e -> f e'
k e
e f e' -> (e' -> T5 a b c d e') -> f (T5 a b c d e')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \e'
e' -> (a -> b -> c -> d -> e' -> T5 a b c d e'
forall a b c d e. a -> b -> c -> d -> e -> T5 a b c d e
T5 a
a b
b c
c d
d e'
e')
  {-# inline _5 #-}

instance Field5 (T6 a b c d e f) (T6 a b c d e' f) e e' where
  _5 :: (e -> f e') -> T6 a b c d e f -> f (T6 a b c d e' f)
_5 e -> f e'
k ~(T6 a
a b
b c
c d
d e
e f
f) = e -> f e'
k e
e f e' -> (e' -> T6 a b c d e' f) -> f (T6 a b c d e' f)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \e'
e' -> (a -> b -> c -> d -> e' -> f -> T6 a b c d e' f
forall a b c d e f. a -> b -> c -> d -> e -> f -> T6 a b c d e f
T6 a
a b
b c
c d
d e'
e' f
f)
  {-# inline _5 #-}

instance Field5 (T7 a b c d e f g) (T7 a b c d e' f g) e e' where
  _5 :: (e -> f e') -> T7 a b c d e f g -> f (T7 a b c d e' f g)
_5 e -> f e'
k ~(T7 a
a b
b c
c d
d e
e f
f g
g) = e -> f e'
k e
e f e' -> (e' -> T7 a b c d e' f g) -> f (T7 a b c d e' f g)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \e'
e' -> (a -> b -> c -> d -> e' -> f -> g -> T7 a b c d e' f g
forall a b c d e f g.
a -> b -> c -> d -> e -> f -> g -> T7 a b c d e f g
T7 a
a b
b c
c d
d e'
e' f
f g
g)
  {-# inline _5 #-}

instance Field5 (T8 a b c d e f g h) (T8 a b c d e' f g h) e e' where
  _5 :: (e -> f e') -> T8 a b c d e f g h -> f (T8 a b c d e' f g h)
_5 e -> f e'
k ~(T8 a
a b
b c
c d
d e
e f
f g
g h
h) = e -> f e'
k e
e f e' -> (e' -> T8 a b c d e' f g h) -> f (T8 a b c d e' f g h)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \e'
e' -> (a -> b -> c -> d -> e' -> f -> g -> h -> T8 a b c d e' f g h
forall a b c d e f g h.
a -> b -> c -> d -> e -> f -> g -> h -> T8 a b c d e f g h
T8 a
a b
b c
c d
d e'
e' f
f g
g h
h)
  {-# inline _5 #-}

instance Field5 (T9 a b c d e f g h i) (T9 a b c d e' f g h i) e e' where
  _5 :: (e -> f e') -> T9 a b c d e f g h i -> f (T9 a b c d e' f g h i)
_5 e -> f e'
k ~(T9 a
a b
b c
c d
d e
e f
f g
g h
h i
i) = e -> f e'
k e
e f e' -> (e' -> T9 a b c d e' f g h i) -> f (T9 a b c d e' f g h i)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \e'
e' -> (a -> b -> c -> d -> e' -> f -> g -> h -> i -> T9 a b c d e' f g h i
forall a b c d e f g h i.
a -> b -> c -> d -> e -> f -> g -> h -> i -> T9 a b c d e f g h i
T9 a
a b
b c
c d
d e'
e' f
f g
g h
h i
i)
  {-# inline _5 #-}

instance Field5 (T10 a b c d e f g h i j) (T10 a b c d e' f g h i j) e e' where
  _5 :: (e -> f e')
-> T10 a b c d e f g h i j -> f (T10 a b c d e' f g h i j)
_5 e -> f e'
k ~(T10 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j) = e -> f e'
k e
e f e'
-> (e' -> T10 a b c d e' f g h i j) -> f (T10 a b c d e' f g h i j)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \e'
e' -> (a
-> b
-> c
-> d
-> e'
-> f
-> g
-> h
-> i
-> j
-> T10 a b c d e' f g h i j
forall a b c d e f g h i j.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> T10 a b c d e f g h i j
T10 a
a b
b c
c d
d e'
e' f
f g
g h
h i
i j
j)
  {-# inline _5 #-}

instance Field5 (T11 a b c d e f g h i j kk) (T11 a b c d e' f g h i j kk) e e' where
  _5 :: (e -> f e')
-> T11 a b c d e f g h i j kk -> f (T11 a b c d e' f g h i j kk)
_5 e -> f e'
k ~(T11 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk) = e -> f e'
k e
e f e'
-> (e' -> T11 a b c d e' f g h i j kk)
-> f (T11 a b c d e' f g h i j kk)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \e'
e' -> (a
-> b
-> c
-> d
-> e'
-> f
-> g
-> h
-> i
-> j
-> kk
-> T11 a b c d e' f g h i j kk
forall a b c d e f g h i j k.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> T11 a b c d e f g h i j k
T11 a
a b
b c
c d
d e'
e' f
f g
g h
h i
i j
j kk
kk)
  {-# inline _5 #-}

instance Field5 (T12 a b c d e f g h i j kk l) (T12 a b c d e' f g h i j kk l) e e' where
  _5 :: (e -> f e')
-> T12 a b c d e f g h i j kk l
-> f (T12 a b c d e' f g h i j kk l)
_5 e -> f e'
k ~(T12 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l) = e -> f e'
k e
e f e'
-> (e' -> T12 a b c d e' f g h i j kk l)
-> f (T12 a b c d e' f g h i j kk l)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \e'
e' -> (a
-> b
-> c
-> d
-> e'
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> T12 a b c d e' f g h i j kk l
forall a b c d e f g h i j k l.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> T12 a b c d e f g h i j k l
T12 a
a b
b c
c d
d e'
e' f
f g
g h
h i
i j
j kk
kk l
l)
  {-# inline _5 #-}

instance Field5 (T13 a b c d e f g h i j kk l m) (T13 a b c d e' f g h i j kk l m) e e' where
  _5 :: (e -> f e')
-> T13 a b c d e f g h i j kk l m
-> f (T13 a b c d e' f g h i j kk l m)
_5 e -> f e'
k ~(T13 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m) = e -> f e'
k e
e f e'
-> (e' -> T13 a b c d e' f g h i j kk l m)
-> f (T13 a b c d e' f g h i j kk l m)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \e'
e' -> (a
-> b
-> c
-> d
-> e'
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> T13 a b c d e' f g h i j kk l m
forall a b c d e f g h i j k l m.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> T13 a b c d e f g h i j k l m
T13 a
a b
b c
c d
d e'
e' f
f g
g h
h i
i j
j kk
kk l
l m
m)
  {-# inline _5 #-}

instance Field5 (T14 a b c d e f g h i j kk l m n) (T14 a b c d e' f g h i j kk l m n) e e' where
  _5 :: (e -> f e')
-> T14 a b c d e f g h i j kk l m n
-> f (T14 a b c d e' f g h i j kk l m n)
_5 e -> f e'
k ~(T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n) = e -> f e'
k e
e f e'
-> (e' -> T14 a b c d e' f g h i j kk l m n)
-> f (T14 a b c d e' f g h i j kk l m n)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \e'
e' -> (a
-> b
-> c
-> d
-> e'
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> T14 a b c d e' f g h i j kk l m n
forall a b c d e f g h i j k l m n.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> T14 a b c d e f g h i j k l m n
T14 a
a b
b c
c d
d e'
e' f
f g
g h
h i
i j
j kk
kk l
l m
m n
n)
  {-# inline _5 #-}

instance Field5 (T15 a b c d e f g h i j kk l m n o) (T15 a b c d e' f g h i j kk l m n o) e e' where
  _5 :: (e -> f e')
-> T15 a b c d e f g h i j kk l m n o
-> f (T15 a b c d e' f g h i j kk l m n o)
_5 e -> f e'
k ~(T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o) = e -> f e'
k e
e f e'
-> (e' -> T15 a b c d e' f g h i j kk l m n o)
-> f (T15 a b c d e' f g h i j kk l m n o)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \e'
e' -> (a
-> b
-> c
-> d
-> e'
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> T15 a b c d e' f g h i j kk l m n o
forall a b c d e f g h i j k l m n o.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i j k l m n o
T15 a
a b
b c
c d
d e'
e' f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o)
  {-# inline _5 #-}

instance Field5 (T16 a b c d e f g h i j kk l m n o p) (T16 a b c d e' f g h i j kk l m n o p) e e' where
  _5 :: (e -> f e')
-> T16 a b c d e f g h i j kk l m n o p
-> f (T16 a b c d e' f g h i j kk l m n o p)
_5 e -> f e'
k ~(T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p) = e -> f e'
k e
e f e'
-> (e' -> T16 a b c d e' f g h i j kk l m n o p)
-> f (T16 a b c d e' f g h i j kk l m n o p)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \e'
e' -> (a
-> b
-> c
-> d
-> e'
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e' f g h i j kk l m n o p
forall a b c d e f g h i j k l m n o p.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j k l m n o p
T16 a
a b
b c
c d
d e'
e' f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p)
  {-# inline _5 #-}

instance Field5 (T17 a b c d e f g h i j kk l m n o p q) (T17 a b c d e' f g h i j kk l m n o p q) e e' where
  _5 :: (e -> f e')
-> T17 a b c d e f g h i j kk l m n o p q
-> f (T17 a b c d e' f g h i j kk l m n o p q)
_5 e -> f e'
k ~(T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q) = e -> f e'
k e
e f e'
-> (e' -> T17 a b c d e' f g h i j kk l m n o p q)
-> f (T17 a b c d e' f g h i j kk l m n o p q)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \e'
e' -> (a
-> b
-> c
-> d
-> e'
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e' f g h i j kk l m n o p q
forall a b c d e f g h i j k l m n o p q.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j k l m n o p q
T17 a
a b
b c
c d
d e'
e' f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q)
  {-# inline _5 #-}

instance Field5 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a b c d e' f g h i j kk l m n o p q r) e e' where
  _5 :: (e -> f e')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a b c d e' f g h i j kk l m n o p q r)
_5 e -> f e'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = e -> f e'
k e
e f e'
-> (e' -> T18 a b c d e' f g h i j kk l m n o p q r)
-> f (T18 a b c d e' f g h i j kk l m n o p q r)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \e'
e' -> (a
-> b
-> c
-> d
-> e'
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e' f g h i j kk l m n o p q r
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a
a b
b c
c d
d e'
e' f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r)
  {-# inline _5 #-}

instance Field5 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b c d e' f g h i j kk l m n o p q r s) e e' where
  _5 :: (e -> f e')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b c d e' f g h i j kk l m n o p q r s)
_5 e -> f e'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = e -> f e'
k e
e f e'
-> (e' -> T19 a b c d e' f g h i j kk l m n o p q r s)
-> f (T19 a b c d e' f g h i j kk l m n o p q r s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \e'
e' -> (a
-> b
-> c
-> d
-> e'
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e' f g h i j kk l m n o p q r s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b
b c
c d
d e'
e' f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s)
  {-# inline _5 #-}

-- ---------------------------------------------------------------- --
-- Field6 optics

instance Field6 (T6 a b c d e f) (T6 a b c d e f') f f' where
  _6 :: (f -> f f') -> T6 a b c d e f -> f (T6 a b c d e f')
_6 f -> f f'
k ~(T6 a
a b
b c
c d
d e
e f
f) = f -> f f'
k f
f f f' -> (f' -> T6 a b c d e f') -> f (T6 a b c d e f')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \f'
f' -> (a -> b -> c -> d -> e -> f' -> T6 a b c d e f'
forall a b c d e f. a -> b -> c -> d -> e -> f -> T6 a b c d e f
T6 a
a b
b c
c d
d e
e f'
f')
  {-# inline _6 #-}

instance Field6 (T7 a b c d e f g) (T7 a b c d e f' g) f f' where
  _6 :: (f -> f f') -> T7 a b c d e f g -> f (T7 a b c d e f' g)
_6 f -> f f'
k ~(T7 a
a b
b c
c d
d e
e f
f g
g) = f -> f f'
k f
f f f' -> (f' -> T7 a b c d e f' g) -> f (T7 a b c d e f' g)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \f'
f' -> (a -> b -> c -> d -> e -> f' -> g -> T7 a b c d e f' g
forall a b c d e f g.
a -> b -> c -> d -> e -> f -> g -> T7 a b c d e f g
T7 a
a b
b c
c d
d e
e f'
f' g
g)
  {-# inline _6 #-}

instance Field6 (T8 a b c d e f g h) (T8 a b c d e f' g h) f f' where
  _6 :: (f -> f f') -> T8 a b c d e f g h -> f (T8 a b c d e f' g h)
_6 f -> f f'
k ~(T8 a
a b
b c
c d
d e
e f
f g
g h
h) = f -> f f'
k f
f f f' -> (f' -> T8 a b c d e f' g h) -> f (T8 a b c d e f' g h)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \f'
f' -> (a -> b -> c -> d -> e -> f' -> g -> h -> T8 a b c d e f' g h
forall a b c d e f g h.
a -> b -> c -> d -> e -> f -> g -> h -> T8 a b c d e f g h
T8 a
a b
b c
c d
d e
e f'
f' g
g h
h)
  {-# inline _6 #-}

instance Field6 (T9 a b c d e f g h i) (T9 a b c d e f' g h i) f f' where
  _6 :: (f -> f f') -> T9 a b c d e f g h i -> f (T9 a b c d e f' g h i)
_6 f -> f f'
k ~(T9 a
a b
b c
c d
d e
e f
f g
g h
h i
i) = f -> f f'
k f
f f f' -> (f' -> T9 a b c d e f' g h i) -> f (T9 a b c d e f' g h i)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \f'
f' -> (a -> b -> c -> d -> e -> f' -> g -> h -> i -> T9 a b c d e f' g h i
forall a b c d e f g h i.
a -> b -> c -> d -> e -> f -> g -> h -> i -> T9 a b c d e f g h i
T9 a
a b
b c
c d
d e
e f'
f' g
g h
h i
i)
  {-# inline _6 #-}

instance Field6 (T10 a b c d e f g h i j) (T10 a b c d e f' g h i j) f f' where
  _6 :: (f -> f f')
-> T10 a b c d e f g h i j -> f (T10 a b c d e f' g h i j)
_6 f -> f f'
k ~(T10 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j) = f -> f f'
k f
f f f'
-> (f' -> T10 a b c d e f' g h i j) -> f (T10 a b c d e f' g h i j)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \f'
f' -> (a
-> b
-> c
-> d
-> e
-> f'
-> g
-> h
-> i
-> j
-> T10 a b c d e f' g h i j
forall a b c d e f g h i j.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> T10 a b c d e f g h i j
T10 a
a b
b c
c d
d e
e f'
f' g
g h
h i
i j
j)
  {-# inline _6 #-}

instance Field6 (T11 a b c d e f g h i j kk) (T11 a b c d e f' g h i j kk) f f' where
  _6 :: (f -> f f')
-> T11 a b c d e f g h i j kk -> f (T11 a b c d e f' g h i j kk)
_6 f -> f f'
k ~(T11 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk) = f -> f f'
k f
f f f'
-> (f' -> T11 a b c d e f' g h i j kk)
-> f (T11 a b c d e f' g h i j kk)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \f'
f' -> (a
-> b
-> c
-> d
-> e
-> f'
-> g
-> h
-> i
-> j
-> kk
-> T11 a b c d e f' g h i j kk
forall a b c d e f g h i j k.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> T11 a b c d e f g h i j k
T11 a
a b
b c
c d
d e
e f'
f' g
g h
h i
i j
j kk
kk)
  {-# inline _6 #-}

instance Field6 (T12 a b c d e f g h i j kk l) (T12 a b c d e f' g h i j kk l) f f' where
  _6 :: (f -> f f')
-> T12 a b c d e f g h i j kk l
-> f (T12 a b c d e f' g h i j kk l)
_6 f -> f f'
k ~(T12 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l) = f -> f f'
k f
f f f'
-> (f' -> T12 a b c d e f' g h i j kk l)
-> f (T12 a b c d e f' g h i j kk l)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \f'
f' -> (a
-> b
-> c
-> d
-> e
-> f'
-> g
-> h
-> i
-> j
-> kk
-> l
-> T12 a b c d e f' g h i j kk l
forall a b c d e f g h i j k l.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> T12 a b c d e f g h i j k l
T12 a
a b
b c
c d
d e
e f'
f' g
g h
h i
i j
j kk
kk l
l)
  {-# inline _6 #-}

instance Field6 (T13 a b c d e f g h i j kk l m) (T13 a b c d e f' g h i j kk l m) f f' where
  _6 :: (f -> f f')
-> T13 a b c d e f g h i j kk l m
-> f (T13 a b c d e f' g h i j kk l m)
_6 f -> f f'
k ~(T13 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m) = f -> f f'
k f
f f f'
-> (f' -> T13 a b c d e f' g h i j kk l m)
-> f (T13 a b c d e f' g h i j kk l m)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \f'
f' -> (a
-> b
-> c
-> d
-> e
-> f'
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> T13 a b c d e f' g h i j kk l m
forall a b c d e f g h i j k l m.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> T13 a b c d e f g h i j k l m
T13 a
a b
b c
c d
d e
e f'
f' g
g h
h i
i j
j kk
kk l
l m
m)
  {-# inline _6 #-}

instance Field6 (T14 a b c d e f g h i j kk l m n) (T14 a b c d e f' g h i j kk l m n) f f' where
  _6 :: (f -> f f')
-> T14 a b c d e f g h i j kk l m n
-> f (T14 a b c d e f' g h i j kk l m n)
_6 f -> f f'
k ~(T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n) = f -> f f'
k f
f f f'
-> (f' -> T14 a b c d e f' g h i j kk l m n)
-> f (T14 a b c d e f' g h i j kk l m n)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \f'
f' -> (a
-> b
-> c
-> d
-> e
-> f'
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> T14 a b c d e f' g h i j kk l m n
forall a b c d e f g h i j k l m n.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> T14 a b c d e f g h i j k l m n
T14 a
a b
b c
c d
d e
e f'
f' g
g h
h i
i j
j kk
kk l
l m
m n
n)
  {-# inline _6 #-}

instance Field6 (T15 a b c d e f g h i j kk l m n o) (T15 a b c d e f' g h i j kk l m n o) f f' where
  _6 :: (f -> f f')
-> T15 a b c d e f g h i j kk l m n o
-> f (T15 a b c d e f' g h i j kk l m n o)
_6 f -> f f'
k ~(T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o) = f -> f f'
k f
f f f'
-> (f' -> T15 a b c d e f' g h i j kk l m n o)
-> f (T15 a b c d e f' g h i j kk l m n o)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \f'
f' -> (a
-> b
-> c
-> d
-> e
-> f'
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> T15 a b c d e f' g h i j kk l m n o
forall a b c d e f g h i j k l m n o.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i j k l m n o
T15 a
a b
b c
c d
d e
e f'
f' g
g h
h i
i j
j kk
kk l
l m
m n
n o
o)
  {-# inline _6 #-}

instance Field6 (T16 a b c d e f g h i j kk l m n o p) (T16 a b c d e f' g h i j kk l m n o p) f f' where
  _6 :: (f -> f f')
-> T16 a b c d e f g h i j kk l m n o p
-> f (T16 a b c d e f' g h i j kk l m n o p)
_6 f -> f f'
k ~(T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p) = f -> f f'
k f
f f f'
-> (f' -> T16 a b c d e f' g h i j kk l m n o p)
-> f (T16 a b c d e f' g h i j kk l m n o p)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \f'
f' -> (a
-> b
-> c
-> d
-> e
-> f'
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f' g h i j kk l m n o p
forall a b c d e f g h i j k l m n o p.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j k l m n o p
T16 a
a b
b c
c d
d e
e f'
f' g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p)
  {-# inline _6 #-}

instance Field6 (T17 a b c d e f g h i j kk l m n o p q) (T17 a b c d e f' g h i j kk l m n o p q) f f' where
  _6 :: (f -> f f')
-> T17 a b c d e f g h i j kk l m n o p q
-> f (T17 a b c d e f' g h i j kk l m n o p q)
_6 f -> f f'
k ~(T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q) = f -> f f'
k f
f f f'
-> (f' -> T17 a b c d e f' g h i j kk l m n o p q)
-> f (T17 a b c d e f' g h i j kk l m n o p q)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \f'
f' -> (a
-> b
-> c
-> d
-> e
-> f'
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f' g h i j kk l m n o p q
forall a b c d e f g h i j k l m n o p q.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j k l m n o p q
T17 a
a b
b c
c d
d e
e f'
f' g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q)
  {-# inline _6 #-}

instance Field6 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a b c d e f' g h i j kk l m n o p q r) f f' where
  _6 :: (f -> f f')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a b c d e f' g h i j kk l m n o p q r)
_6 f -> f f'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = f -> f f'
k f
f f f'
-> (f' -> T18 a b c d e f' g h i j kk l m n o p q r)
-> f (T18 a b c d e f' g h i j kk l m n o p q r)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \f'
f' -> (a
-> b
-> c
-> d
-> e
-> f'
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f' g h i j kk l m n o p q r
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a
a b
b c
c d
d e
e f'
f' g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r)
  {-# inline _6 #-}

instance Field6 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b c d e f' g h i j kk l m n o p q r s) f f' where
  _6 :: (f -> f f')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b c d e f' g h i j kk l m n o p q r s)
_6 f -> f f'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = f -> f f'
k f
f f f'
-> (f' -> T19 a b c d e f' g h i j kk l m n o p q r s)
-> f (T19 a b c d e f' g h i j kk l m n o p q r s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \f'
f' -> (a
-> b
-> c
-> d
-> e
-> f'
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f' g h i j kk l m n o p q r s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b
b c
c d
d e
e f'
f' g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s)
  {-# inline _6 #-}

-- ---------------------------------------------------------------- --
-- Field7 optics

instance Field7 (T7 a b c d e f g) (T7 a b c d e f g') g g' where
  _7 :: (g -> f g') -> T7 a b c d e f g -> f (T7 a b c d e f g')
_7 g -> f g'
k ~(T7 a
a b
b c
c d
d e
e f
f g
g) = g -> f g'
k g
g f g' -> (g' -> T7 a b c d e f g') -> f (T7 a b c d e f g')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \g'
g' -> (a -> b -> c -> d -> e -> f -> g' -> T7 a b c d e f g'
forall a b c d e f g.
a -> b -> c -> d -> e -> f -> g -> T7 a b c d e f g
T7 a
a b
b c
c d
d e
e f
f g'
g')
  {-# inline _7 #-}

instance Field7 (T8 a b c d e f g h) (T8 a b c d e f g' h) g g' where
  _7 :: (g -> f g') -> T8 a b c d e f g h -> f (T8 a b c d e f g' h)
_7 g -> f g'
k ~(T8 a
a b
b c
c d
d e
e f
f g
g h
h) = g -> f g'
k g
g f g' -> (g' -> T8 a b c d e f g' h) -> f (T8 a b c d e f g' h)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \g'
g' -> (a -> b -> c -> d -> e -> f -> g' -> h -> T8 a b c d e f g' h
forall a b c d e f g h.
a -> b -> c -> d -> e -> f -> g -> h -> T8 a b c d e f g h
T8 a
a b
b c
c d
d e
e f
f g'
g' h
h)
  {-# inline _7 #-}

instance Field7 (T9 a b c d e f g h i) (T9 a b c d e f g' h i) g g' where
  _7 :: (g -> f g') -> T9 a b c d e f g h i -> f (T9 a b c d e f g' h i)
_7 g -> f g'
k ~(T9 a
a b
b c
c d
d e
e f
f g
g h
h i
i) = g -> f g'
k g
g f g' -> (g' -> T9 a b c d e f g' h i) -> f (T9 a b c d e f g' h i)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \g'
g' -> (a -> b -> c -> d -> e -> f -> g' -> h -> i -> T9 a b c d e f g' h i
forall a b c d e f g h i.
a -> b -> c -> d -> e -> f -> g -> h -> i -> T9 a b c d e f g h i
T9 a
a b
b c
c d
d e
e f
f g'
g' h
h i
i)
  {-# inline _7 #-}

instance Field7 (T10 a b c d e f g h i j) (T10 a b c d e f g' h i j) g g' where
  _7 :: (g -> f g')
-> T10 a b c d e f g h i j -> f (T10 a b c d e f g' h i j)
_7 g -> f g'
k ~(T10 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j) = g -> f g'
k g
g f g'
-> (g' -> T10 a b c d e f g' h i j) -> f (T10 a b c d e f g' h i j)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \g'
g' -> (a
-> b
-> c
-> d
-> e
-> f
-> g'
-> h
-> i
-> j
-> T10 a b c d e f g' h i j
forall a b c d e f g h i j.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> T10 a b c d e f g h i j
T10 a
a b
b c
c d
d e
e f
f g'
g' h
h i
i j
j)
  {-# inline _7 #-}

instance Field7 (T11 a b c d e f g h i j kk) (T11 a b c d e f g' h i j kk) g g' where
  _7 :: (g -> f g')
-> T11 a b c d e f g h i j kk -> f (T11 a b c d e f g' h i j kk)
_7 g -> f g'
k ~(T11 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk) = g -> f g'
k g
g f g'
-> (g' -> T11 a b c d e f g' h i j kk)
-> f (T11 a b c d e f g' h i j kk)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \g'
g' -> (a
-> b
-> c
-> d
-> e
-> f
-> g'
-> h
-> i
-> j
-> kk
-> T11 a b c d e f g' h i j kk
forall a b c d e f g h i j k.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> T11 a b c d e f g h i j k
T11 a
a b
b c
c d
d e
e f
f g'
g' h
h i
i j
j kk
kk)
  {-# inline _7 #-}

instance Field7 (T12 a b c d e f g h i j kk l) (T12 a b c d e f g' h i j kk l) g g' where
  _7 :: (g -> f g')
-> T12 a b c d e f g h i j kk l
-> f (T12 a b c d e f g' h i j kk l)
_7 g -> f g'
k ~(T12 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l) = g -> f g'
k g
g f g'
-> (g' -> T12 a b c d e f g' h i j kk l)
-> f (T12 a b c d e f g' h i j kk l)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \g'
g' -> (a
-> b
-> c
-> d
-> e
-> f
-> g'
-> h
-> i
-> j
-> kk
-> l
-> T12 a b c d e f g' h i j kk l
forall a b c d e f g h i j k l.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> T12 a b c d e f g h i j k l
T12 a
a b
b c
c d
d e
e f
f g'
g' h
h i
i j
j kk
kk l
l)
  {-# inline _7 #-}

instance Field7 (T13 a b c d e f g h i j kk l m) (T13 a b c d e f g' h i j kk l m) g g' where
  _7 :: (g -> f g')
-> T13 a b c d e f g h i j kk l m
-> f (T13 a b c d e f g' h i j kk l m)
_7 g -> f g'
k ~(T13 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m) = g -> f g'
k g
g f g'
-> (g' -> T13 a b c d e f g' h i j kk l m)
-> f (T13 a b c d e f g' h i j kk l m)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \g'
g' -> (a
-> b
-> c
-> d
-> e
-> f
-> g'
-> h
-> i
-> j
-> kk
-> l
-> m
-> T13 a b c d e f g' h i j kk l m
forall a b c d e f g h i j k l m.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> T13 a b c d e f g h i j k l m
T13 a
a b
b c
c d
d e
e f
f g'
g' h
h i
i j
j kk
kk l
l m
m)
  {-# inline _7 #-}

instance Field7 (T14 a b c d e f g h i j kk l m n) (T14 a b c d e f g' h i j kk l m n) g g' where
  _7 :: (g -> f g')
-> T14 a b c d e f g h i j kk l m n
-> f (T14 a b c d e f g' h i j kk l m n)
_7 g -> f g'
k ~(T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n) = g -> f g'
k g
g f g'
-> (g' -> T14 a b c d e f g' h i j kk l m n)
-> f (T14 a b c d e f g' h i j kk l m n)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \g'
g' -> (a
-> b
-> c
-> d
-> e
-> f
-> g'
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> T14 a b c d e f g' h i j kk l m n
forall a b c d e f g h i j k l m n.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> T14 a b c d e f g h i j k l m n
T14 a
a b
b c
c d
d e
e f
f g'
g' h
h i
i j
j kk
kk l
l m
m n
n)
  {-# inline _7 #-}

instance Field7 (T15 a b c d e f g h i j kk l m n o) (T15 a b c d e f g' h i j kk l m n o) g g' where
  _7 :: (g -> f g')
-> T15 a b c d e f g h i j kk l m n o
-> f (T15 a b c d e f g' h i j kk l m n o)
_7 g -> f g'
k ~(T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o) = g -> f g'
k g
g f g'
-> (g' -> T15 a b c d e f g' h i j kk l m n o)
-> f (T15 a b c d e f g' h i j kk l m n o)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \g'
g' -> (a
-> b
-> c
-> d
-> e
-> f
-> g'
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> T15 a b c d e f g' h i j kk l m n o
forall a b c d e f g h i j k l m n o.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i j k l m n o
T15 a
a b
b c
c d
d e
e f
f g'
g' h
h i
i j
j kk
kk l
l m
m n
n o
o)
  {-# inline _7 #-}

instance Field7 (T16 a b c d e f g h i j kk l m n o p) (T16 a b c d e f g' h i j kk l m n o p) g g' where
  _7 :: (g -> f g')
-> T16 a b c d e f g h i j kk l m n o p
-> f (T16 a b c d e f g' h i j kk l m n o p)
_7 g -> f g'
k ~(T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p) = g -> f g'
k g
g f g'
-> (g' -> T16 a b c d e f g' h i j kk l m n o p)
-> f (T16 a b c d e f g' h i j kk l m n o p)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \g'
g' -> (a
-> b
-> c
-> d
-> e
-> f
-> g'
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g' h i j kk l m n o p
forall a b c d e f g h i j k l m n o p.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j k l m n o p
T16 a
a b
b c
c d
d e
e f
f g'
g' h
h i
i j
j kk
kk l
l m
m n
n o
o p
p)
  {-# inline _7 #-}

instance Field7 (T17 a b c d e f g h i j kk l m n o p q) (T17 a b c d e f g' h i j kk l m n o p q) g g' where
  _7 :: (g -> f g')
-> T17 a b c d e f g h i j kk l m n o p q
-> f (T17 a b c d e f g' h i j kk l m n o p q)
_7 g -> f g'
k ~(T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q) = g -> f g'
k g
g f g'
-> (g' -> T17 a b c d e f g' h i j kk l m n o p q)
-> f (T17 a b c d e f g' h i j kk l m n o p q)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \g'
g' -> (a
-> b
-> c
-> d
-> e
-> f
-> g'
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g' h i j kk l m n o p q
forall a b c d e f g h i j k l m n o p q.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j k l m n o p q
T17 a
a b
b c
c d
d e
e f
f g'
g' h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q)
  {-# inline _7 #-}

instance Field7 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a b c d e f g' h i j kk l m n o p q r) g g' where
  _7 :: (g -> f g')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a b c d e f g' h i j kk l m n o p q r)
_7 g -> f g'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = g -> f g'
k g
g f g'
-> (g' -> T18 a b c d e f g' h i j kk l m n o p q r)
-> f (T18 a b c d e f g' h i j kk l m n o p q r)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \g'
g' -> (a
-> b
-> c
-> d
-> e
-> f
-> g'
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g' h i j kk l m n o p q r
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a
a b
b c
c d
d e
e f
f g'
g' h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r)
  {-# inline _7 #-}

instance Field7 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b c d e f g' h i j kk l m n o p q r s) g g' where
  _7 :: (g -> f g')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b c d e f g' h i j kk l m n o p q r s)
_7 g -> f g'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = g -> f g'
k g
g f g'
-> (g' -> T19 a b c d e f g' h i j kk l m n o p q r s)
-> f (T19 a b c d e f g' h i j kk l m n o p q r s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \g'
g' -> (a
-> b
-> c
-> d
-> e
-> f
-> g'
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g' h i j kk l m n o p q r s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b
b c
c d
d e
e f
f g'
g' h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s)
  {-# inline _7 #-}

-- ---------------------------------------------------------------- --
-- Field8 optics

instance Field8 (T8 a b c d e f g h) (T8 a b c d e f g h') h h' where
  _8 :: (h -> f h') -> T8 a b c d e f g h -> f (T8 a b c d e f g h')
_8 h -> f h'
k ~(T8 a
a b
b c
c d
d e
e f
f g
g h
h) = h -> f h'
k h
h f h' -> (h' -> T8 a b c d e f g h') -> f (T8 a b c d e f g h')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \h'
h' -> (a -> b -> c -> d -> e -> f -> g -> h' -> T8 a b c d e f g h'
forall a b c d e f g h.
a -> b -> c -> d -> e -> f -> g -> h -> T8 a b c d e f g h
T8 a
a b
b c
c d
d e
e f
f g
g h'
h')
  {-# inline _8 #-}

instance Field8 (T9 a b c d e f g h i) (T9 a b c d e f g h' i) h h' where
  _8 :: (h -> f h') -> T9 a b c d e f g h i -> f (T9 a b c d e f g h' i)
_8 h -> f h'
k ~(T9 a
a b
b c
c d
d e
e f
f g
g h
h i
i) = h -> f h'
k h
h f h' -> (h' -> T9 a b c d e f g h' i) -> f (T9 a b c d e f g h' i)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \h'
h' -> (a -> b -> c -> d -> e -> f -> g -> h' -> i -> T9 a b c d e f g h' i
forall a b c d e f g h i.
a -> b -> c -> d -> e -> f -> g -> h -> i -> T9 a b c d e f g h i
T9 a
a b
b c
c d
d e
e f
f g
g h'
h' i
i)
  {-# inline _8 #-}

instance Field8 (T10 a b c d e f g h i j) (T10 a b c d e f g h' i j) h h' where
  _8 :: (h -> f h')
-> T10 a b c d e f g h i j -> f (T10 a b c d e f g h' i j)
_8 h -> f h'
k ~(T10 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j) = h -> f h'
k h
h f h'
-> (h' -> T10 a b c d e f g h' i j) -> f (T10 a b c d e f g h' i j)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \h'
h' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h'
-> i
-> j
-> T10 a b c d e f g h' i j
forall a b c d e f g h i j.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> T10 a b c d e f g h i j
T10 a
a b
b c
c d
d e
e f
f g
g h'
h' i
i j
j)
  {-# inline _8 #-}

instance Field8 (T11 a b c d e f g h i j kk) (T11 a b c d e f g h' i j kk) h h' where
  _8 :: (h -> f h')
-> T11 a b c d e f g h i j kk -> f (T11 a b c d e f g h' i j kk)
_8 h -> f h'
k ~(T11 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk) = h -> f h'
k h
h f h'
-> (h' -> T11 a b c d e f g h' i j kk)
-> f (T11 a b c d e f g h' i j kk)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \h'
h' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h'
-> i
-> j
-> kk
-> T11 a b c d e f g h' i j kk
forall a b c d e f g h i j k.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> T11 a b c d e f g h i j k
T11 a
a b
b c
c d
d e
e f
f g
g h'
h' i
i j
j kk
kk)
  {-# inline _8 #-}

instance Field8 (T12 a b c d e f g h i j kk l) (T12 a b c d e f g h' i j kk l) h h' where
  _8 :: (h -> f h')
-> T12 a b c d e f g h i j kk l
-> f (T12 a b c d e f g h' i j kk l)
_8 h -> f h'
k ~(T12 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l) = h -> f h'
k h
h f h'
-> (h' -> T12 a b c d e f g h' i j kk l)
-> f (T12 a b c d e f g h' i j kk l)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \h'
h' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h'
-> i
-> j
-> kk
-> l
-> T12 a b c d e f g h' i j kk l
forall a b c d e f g h i j k l.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> T12 a b c d e f g h i j k l
T12 a
a b
b c
c d
d e
e f
f g
g h'
h' i
i j
j kk
kk l
l)
  {-# inline _8 #-}

instance Field8 (T13 a b c d e f g h i j kk l m) (T13 a b c d e f g h' i j kk l m) h h' where
  _8 :: (h -> f h')
-> T13 a b c d e f g h i j kk l m
-> f (T13 a b c d e f g h' i j kk l m)
_8 h -> f h'
k ~(T13 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m) = h -> f h'
k h
h f h'
-> (h' -> T13 a b c d e f g h' i j kk l m)
-> f (T13 a b c d e f g h' i j kk l m)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \h'
h' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h'
-> i
-> j
-> kk
-> l
-> m
-> T13 a b c d e f g h' i j kk l m
forall a b c d e f g h i j k l m.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> T13 a b c d e f g h i j k l m
T13 a
a b
b c
c d
d e
e f
f g
g h'
h' i
i j
j kk
kk l
l m
m)
  {-# inline _8 #-}

instance Field8 (T14 a b c d e f g h i j kk l m n) (T14 a b c d e f g h' i j kk l m n) h h' where
  _8 :: (h -> f h')
-> T14 a b c d e f g h i j kk l m n
-> f (T14 a b c d e f g h' i j kk l m n)
_8 h -> f h'
k ~(T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n) = h -> f h'
k h
h f h'
-> (h' -> T14 a b c d e f g h' i j kk l m n)
-> f (T14 a b c d e f g h' i j kk l m n)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \h'
h' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h'
-> i
-> j
-> kk
-> l
-> m
-> n
-> T14 a b c d e f g h' i j kk l m n
forall a b c d e f g h i j k l m n.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> T14 a b c d e f g h i j k l m n
T14 a
a b
b c
c d
d e
e f
f g
g h'
h' i
i j
j kk
kk l
l m
m n
n)
  {-# inline _8 #-}

instance Field8 (T15 a b c d e f g h i j kk l m n o) (T15 a b c d e f g h' i j kk l m n o) h h' where
  _8 :: (h -> f h')
-> T15 a b c d e f g h i j kk l m n o
-> f (T15 a b c d e f g h' i j kk l m n o)
_8 h -> f h'
k ~(T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o) = h -> f h'
k h
h f h'
-> (h' -> T15 a b c d e f g h' i j kk l m n o)
-> f (T15 a b c d e f g h' i j kk l m n o)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \h'
h' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h'
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h' i j kk l m n o
forall a b c d e f g h i j k l m n o.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i j k l m n o
T15 a
a b
b c
c d
d e
e f
f g
g h'
h' i
i j
j kk
kk l
l m
m n
n o
o)
  {-# inline _8 #-}

instance Field8 (T16 a b c d e f g h i j kk l m n o p) (T16 a b c d e f g h' i j kk l m n o p) h h' where
  _8 :: (h -> f h')
-> T16 a b c d e f g h i j kk l m n o p
-> f (T16 a b c d e f g h' i j kk l m n o p)
_8 h -> f h'
k ~(T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p) = h -> f h'
k h
h f h'
-> (h' -> T16 a b c d e f g h' i j kk l m n o p)
-> f (T16 a b c d e f g h' i j kk l m n o p)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \h'
h' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h'
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h' i j kk l m n o p
forall a b c d e f g h i j k l m n o p.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j k l m n o p
T16 a
a b
b c
c d
d e
e f
f g
g h'
h' i
i j
j kk
kk l
l m
m n
n o
o p
p)
  {-# inline _8 #-}

instance Field8 (T17 a b c d e f g h i j kk l m n o p q) (T17 a b c d e f g h' i j kk l m n o p q) h h' where
  _8 :: (h -> f h')
-> T17 a b c d e f g h i j kk l m n o p q
-> f (T17 a b c d e f g h' i j kk l m n o p q)
_8 h -> f h'
k ~(T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q) = h -> f h'
k h
h f h'
-> (h' -> T17 a b c d e f g h' i j kk l m n o p q)
-> f (T17 a b c d e f g h' i j kk l m n o p q)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \h'
h' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h'
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h' i j kk l m n o p q
forall a b c d e f g h i j k l m n o p q.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j k l m n o p q
T17 a
a b
b c
c d
d e
e f
f g
g h'
h' i
i j
j kk
kk l
l m
m n
n o
o p
p q
q)
  {-# inline _8 #-}

instance Field8 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a b c d e f g h' i j kk l m n o p q r) h h' where
  _8 :: (h -> f h')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a b c d e f g h' i j kk l m n o p q r)
_8 h -> f h'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = h -> f h'
k h
h f h'
-> (h' -> T18 a b c d e f g h' i j kk l m n o p q r)
-> f (T18 a b c d e f g h' i j kk l m n o p q r)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \h'
h' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h'
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h' i j kk l m n o p q r
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a
a b
b c
c d
d e
e f
f g
g h'
h' i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r)
  {-# inline _8 #-}

instance Field8 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b c d e f g h' i j kk l m n o p q r s) h h' where
  _8 :: (h -> f h')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b c d e f g h' i j kk l m n o p q r s)
_8 h -> f h'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = h -> f h'
k h
h f h'
-> (h' -> T19 a b c d e f g h' i j kk l m n o p q r s)
-> f (T19 a b c d e f g h' i j kk l m n o p q r s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \h'
h' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h'
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h' i j kk l m n o p q r s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b
b c
c d
d e
e f
f g
g h'
h' i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s)
  {-# inline _8 #-}

-- ---------------------------------------------------------------- --
-- Field9 optics

instance Field9 (T9 a b c d e f g h i) (T9 a b c d e f g h i') i i' where
  _9 :: (i -> f i') -> T9 a b c d e f g h i -> f (T9 a b c d e f g h i')
_9 i -> f i'
k ~(T9 a
a b
b c
c d
d e
e f
f g
g h
h i
i) = i -> f i'
k i
i f i' -> (i' -> T9 a b c d e f g h i') -> f (T9 a b c d e f g h i')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \i'
i' -> (a -> b -> c -> d -> e -> f -> g -> h -> i' -> T9 a b c d e f g h i'
forall a b c d e f g h i.
a -> b -> c -> d -> e -> f -> g -> h -> i -> T9 a b c d e f g h i
T9 a
a b
b c
c d
d e
e f
f g
g h
h i'
i')
  {-# inline _9 #-}

instance Field9 (T10 a b c d e f g h i j) (T10 a b c d e f g h i' j) i i' where
  _9 :: (i -> f i')
-> T10 a b c d e f g h i j -> f (T10 a b c d e f g h i' j)
_9 i -> f i'
k ~(T10 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j) = i -> f i'
k i
i f i'
-> (i' -> T10 a b c d e f g h i' j) -> f (T10 a b c d e f g h i' j)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \i'
i' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i'
-> j
-> T10 a b c d e f g h i' j
forall a b c d e f g h i j.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> T10 a b c d e f g h i j
T10 a
a b
b c
c d
d e
e f
f g
g h
h i'
i' j
j)
  {-# inline _9 #-}

instance Field9 (T11 a b c d e f g h i j kk) (T11 a b c d e f g h i' j kk) i i' where
  _9 :: (i -> f i')
-> T11 a b c d e f g h i j kk -> f (T11 a b c d e f g h i' j kk)
_9 i -> f i'
k ~(T11 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk) = i -> f i'
k i
i f i'
-> (i' -> T11 a b c d e f g h i' j kk)
-> f (T11 a b c d e f g h i' j kk)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \i'
i' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i'
-> j
-> kk
-> T11 a b c d e f g h i' j kk
forall a b c d e f g h i j k.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> T11 a b c d e f g h i j k
T11 a
a b
b c
c d
d e
e f
f g
g h
h i'
i' j
j kk
kk)
  {-# inline _9 #-}

instance Field9 (T12 a b c d e f g h i j kk l) (T12 a b c d e f g h i' j kk l) i i' where
  _9 :: (i -> f i')
-> T12 a b c d e f g h i j kk l
-> f (T12 a b c d e f g h i' j kk l)
_9 i -> f i'
k ~(T12 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l) = i -> f i'
k i
i f i'
-> (i' -> T12 a b c d e f g h i' j kk l)
-> f (T12 a b c d e f g h i' j kk l)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \i'
i' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i'
-> j
-> kk
-> l
-> T12 a b c d e f g h i' j kk l
forall a b c d e f g h i j k l.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> T12 a b c d e f g h i j k l
T12 a
a b
b c
c d
d e
e f
f g
g h
h i'
i' j
j kk
kk l
l)
  {-# inline _9 #-}

instance Field9 (T13 a b c d e f g h i j kk l m) (T13 a b c d e f g h i' j kk l m) i i' where
  _9 :: (i -> f i')
-> T13 a b c d e f g h i j kk l m
-> f (T13 a b c d e f g h i' j kk l m)
_9 i -> f i'
k ~(T13 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m) = i -> f i'
k i
i f i'
-> (i' -> T13 a b c d e f g h i' j kk l m)
-> f (T13 a b c d e f g h i' j kk l m)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \i'
i' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i'
-> j
-> kk
-> l
-> m
-> T13 a b c d e f g h i' j kk l m
forall a b c d e f g h i j k l m.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> T13 a b c d e f g h i j k l m
T13 a
a b
b c
c d
d e
e f
f g
g h
h i'
i' j
j kk
kk l
l m
m)
  {-# inline _9 #-}

instance Field9 (T14 a b c d e f g h i j kk l m n) (T14 a b c d e f g h i' j kk l m n) i i' where
  _9 :: (i -> f i')
-> T14 a b c d e f g h i j kk l m n
-> f (T14 a b c d e f g h i' j kk l m n)
_9 i -> f i'
k ~(T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n) = i -> f i'
k i
i f i'
-> (i' -> T14 a b c d e f g h i' j kk l m n)
-> f (T14 a b c d e f g h i' j kk l m n)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \i'
i' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i'
-> j
-> kk
-> l
-> m
-> n
-> T14 a b c d e f g h i' j kk l m n
forall a b c d e f g h i j k l m n.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> T14 a b c d e f g h i j k l m n
T14 a
a b
b c
c d
d e
e f
f g
g h
h i'
i' j
j kk
kk l
l m
m n
n)
  {-# inline _9 #-}

instance Field9 (T15 a b c d e f g h i j kk l m n o) (T15 a b c d e f g h i' j kk l m n o) i i' where
  _9 :: (i -> f i')
-> T15 a b c d e f g h i j kk l m n o
-> f (T15 a b c d e f g h i' j kk l m n o)
_9 i -> f i'
k ~(T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o) = i -> f i'
k i
i f i'
-> (i' -> T15 a b c d e f g h i' j kk l m n o)
-> f (T15 a b c d e f g h i' j kk l m n o)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \i'
i' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i'
-> j
-> kk
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i' j kk l m n o
forall a b c d e f g h i j k l m n o.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i j k l m n o
T15 a
a b
b c
c d
d e
e f
f g
g h
h i'
i' j
j kk
kk l
l m
m n
n o
o)
  {-# inline _9 #-}

instance Field9 (T16 a b c d e f g h i j kk l m n o p) (T16 a b c d e f g h i' j kk l m n o p) i i' where
  _9 :: (i -> f i')
-> T16 a b c d e f g h i j kk l m n o p
-> f (T16 a b c d e f g h i' j kk l m n o p)
_9 i -> f i'
k ~(T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p) = i -> f i'
k i
i f i'
-> (i' -> T16 a b c d e f g h i' j kk l m n o p)
-> f (T16 a b c d e f g h i' j kk l m n o p)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \i'
i' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i'
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i' j kk l m n o p
forall a b c d e f g h i j k l m n o p.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j k l m n o p
T16 a
a b
b c
c d
d e
e f
f g
g h
h i'
i' j
j kk
kk l
l m
m n
n o
o p
p)
  {-# inline _9 #-}

instance Field9 (T17 a b c d e f g h i j kk l m n o p q) (T17 a b c d e f g h i' j kk l m n o p q) i i' where
  _9 :: (i -> f i')
-> T17 a b c d e f g h i j kk l m n o p q
-> f (T17 a b c d e f g h i' j kk l m n o p q)
_9 i -> f i'
k ~(T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q) = i -> f i'
k i
i f i'
-> (i' -> T17 a b c d e f g h i' j kk l m n o p q)
-> f (T17 a b c d e f g h i' j kk l m n o p q)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \i'
i' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i'
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i' j kk l m n o p q
forall a b c d e f g h i j k l m n o p q.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j k l m n o p q
T17 a
a b
b c
c d
d e
e f
f g
g h
h i'
i' j
j kk
kk l
l m
m n
n o
o p
p q
q)
  {-# inline _9 #-}

instance Field9 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a b c d e f g h i' j kk l m n o p q r) i i' where
  _9 :: (i -> f i')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a b c d e f g h i' j kk l m n o p q r)
_9 i -> f i'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = i -> f i'
k i
i f i'
-> (i' -> T18 a b c d e f g h i' j kk l m n o p q r)
-> f (T18 a b c d e f g h i' j kk l m n o p q r)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \i'
i' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i'
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i' j kk l m n o p q r
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a
a b
b c
c d
d e
e f
f g
g h
h i'
i' j
j kk
kk l
l m
m n
n o
o p
p q
q r
r)
  {-# inline _9 #-}

instance Field9 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b c d e f g h i' j kk l m n o p q r s) i i' where
  _9 :: (i -> f i')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b c d e f g h i' j kk l m n o p q r s)
_9 i -> f i'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = i -> f i'
k i
i f i'
-> (i' -> T19 a b c d e f g h i' j kk l m n o p q r s)
-> f (T19 a b c d e f g h i' j kk l m n o p q r s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \i'
i' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i'
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i' j kk l m n o p q r s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b
b c
c d
d e
e f
f g
g h
h i'
i' j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s)
  {-# inline _9 #-}

-- ---------------------------------------------------------------- --
-- Field10 optics

instance Field10 (T10 a b c d e f g h i j) (T10 a b c d e f g h i j') j j' where
  _10 :: (j -> f j')
-> T10 a b c d e f g h i j -> f (T10 a b c d e f g h i j')
_10 j -> f j'
k ~(T10 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j) = j -> f j'
k j
j f j'
-> (j' -> T10 a b c d e f g h i j') -> f (T10 a b c d e f g h i j')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \j'
j' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j'
-> T10 a b c d e f g h i j'
forall a b c d e f g h i j.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> T10 a b c d e f g h i j
T10 a
a b
b c
c d
d e
e f
f g
g h
h i
i j'
j')
  {-# inline _10 #-}

instance Field10 (T11 a b c d e f g h i j kk) (T11 a b c d e f g h i j' kk) j j' where
  _10 :: (j -> f j')
-> T11 a b c d e f g h i j kk -> f (T11 a b c d e f g h i j' kk)
_10 j -> f j'
k ~(T11 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk) = j -> f j'
k j
j f j'
-> (j' -> T11 a b c d e f g h i j' kk)
-> f (T11 a b c d e f g h i j' kk)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \j'
j' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j'
-> kk
-> T11 a b c d e f g h i j' kk
forall a b c d e f g h i j k.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> T11 a b c d e f g h i j k
T11 a
a b
b c
c d
d e
e f
f g
g h
h i
i j'
j' kk
kk)
  {-# inline _10 #-}

instance Field10 (T12 a b c d e f g h i j kk l) (T12 a b c d e f g h i j' kk l) j j' where
  _10 :: (j -> f j')
-> T12 a b c d e f g h i j kk l
-> f (T12 a b c d e f g h i j' kk l)
_10 j -> f j'
k ~(T12 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l) = j -> f j'
k j
j f j'
-> (j' -> T12 a b c d e f g h i j' kk l)
-> f (T12 a b c d e f g h i j' kk l)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \j'
j' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j'
-> kk
-> l
-> T12 a b c d e f g h i j' kk l
forall a b c d e f g h i j k l.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> T12 a b c d e f g h i j k l
T12 a
a b
b c
c d
d e
e f
f g
g h
h i
i j'
j' kk
kk l
l)
  {-# inline _10 #-}

instance Field10 (T13 a b c d e f g h i j kk l m) (T13 a b c d e f g h i j' kk l m) j j' where
  _10 :: (j -> f j')
-> T13 a b c d e f g h i j kk l m
-> f (T13 a b c d e f g h i j' kk l m)
_10 j -> f j'
k ~(T13 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m) = j -> f j'
k j
j f j'
-> (j' -> T13 a b c d e f g h i j' kk l m)
-> f (T13 a b c d e f g h i j' kk l m)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \j'
j' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j'
-> kk
-> l
-> m
-> T13 a b c d e f g h i j' kk l m
forall a b c d e f g h i j k l m.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> T13 a b c d e f g h i j k l m
T13 a
a b
b c
c d
d e
e f
f g
g h
h i
i j'
j' kk
kk l
l m
m)
  {-# inline _10 #-}

instance Field10 (T14 a b c d e f g h i j kk l m n) (T14 a b c d e f g h i j' kk l m n) j j' where
  _10 :: (j -> f j')
-> T14 a b c d e f g h i j kk l m n
-> f (T14 a b c d e f g h i j' kk l m n)
_10 j -> f j'
k ~(T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n) = j -> f j'
k j
j f j'
-> (j' -> T14 a b c d e f g h i j' kk l m n)
-> f (T14 a b c d e f g h i j' kk l m n)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \j'
j' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j'
-> kk
-> l
-> m
-> n
-> T14 a b c d e f g h i j' kk l m n
forall a b c d e f g h i j k l m n.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> T14 a b c d e f g h i j k l m n
T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j'
j' kk
kk l
l m
m n
n)
  {-# inline _10 #-}

instance Field10 (T15 a b c d e f g h i j kk l m n o) (T15 a b c d e f g h i j' kk l m n o) j j' where
  _10 :: (j -> f j')
-> T15 a b c d e f g h i j kk l m n o
-> f (T15 a b c d e f g h i j' kk l m n o)
_10 j -> f j'
k ~(T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o) = j -> f j'
k j
j f j'
-> (j' -> T15 a b c d e f g h i j' kk l m n o)
-> f (T15 a b c d e f g h i j' kk l m n o)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \j'
j' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j'
-> kk
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i j' kk l m n o
forall a b c d e f g h i j k l m n o.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i j k l m n o
T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j'
j' kk
kk l
l m
m n
n o
o)
  {-# inline _10 #-}

instance Field10 (T16 a b c d e f g h i j kk l m n o p) (T16 a b c d e f g h i j' kk l m n o p) j j' where
  _10 :: (j -> f j')
-> T16 a b c d e f g h i j kk l m n o p
-> f (T16 a b c d e f g h i j' kk l m n o p)
_10 j -> f j'
k ~(T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p) = j -> f j'
k j
j f j'
-> (j' -> T16 a b c d e f g h i j' kk l m n o p)
-> f (T16 a b c d e f g h i j' kk l m n o p)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \j'
j' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j'
-> kk
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j' kk l m n o p
forall a b c d e f g h i j k l m n o p.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j k l m n o p
T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j'
j' kk
kk l
l m
m n
n o
o p
p)
  {-# inline _10 #-}

instance Field10 (T17 a b c d e f g h i j kk l m n o p q) (T17 a b c d e f g h i j' kk l m n o p q) j j' where
  _10 :: (j -> f j')
-> T17 a b c d e f g h i j kk l m n o p q
-> f (T17 a b c d e f g h i j' kk l m n o p q)
_10 j -> f j'
k ~(T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q) = j -> f j'
k j
j f j'
-> (j' -> T17 a b c d e f g h i j' kk l m n o p q)
-> f (T17 a b c d e f g h i j' kk l m n o p q)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \j'
j' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j'
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j' kk l m n o p q
forall a b c d e f g h i j k l m n o p q.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j k l m n o p q
T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j'
j' kk
kk l
l m
m n
n o
o p
p q
q)
  {-# inline _10 #-}

instance Field10 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a b c d e f g h i j' kk l m n o p q r) j j' where
  _10 :: (j -> f j')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a b c d e f g h i j' kk l m n o p q r)
_10 j -> f j'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = j -> f j'
k j
j f j'
-> (j' -> T18 a b c d e f g h i j' kk l m n o p q r)
-> f (T18 a b c d e f g h i j' kk l m n o p q r)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \j'
j' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j'
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j' kk l m n o p q r
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j'
j' kk
kk l
l m
m n
n o
o p
p q
q r
r)
  {-# inline _10 #-}

instance Field10 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b c d e f g h i j' kk l m n o p q r s) j j' where
  _10 :: (j -> f j')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b c d e f g h i j' kk l m n o p q r s)
_10 j -> f j'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = j -> f j'
k j
j f j'
-> (j' -> T19 a b c d e f g h i j' kk l m n o p q r s)
-> f (T19 a b c d e f g h i j' kk l m n o p q r s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \j'
j' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j'
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j' kk l m n o p q r s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j'
j' kk
kk l
l m
m n
n o
o p
p q
q r
r s
s)
  {-# inline _10 #-}

-- ---------------------------------------------------------------- --
-- Field11 optics

instance Field11 (T11 a b c d e f g h i j kk) (T11 a b c d e f g h i j kk') kk kk' where
  _11 :: (kk -> f kk')
-> T11 a b c d e f g h i j kk -> f (T11 a b c d e f g h i j kk')
_11 kk -> f kk'
k ~(T11 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk) = kk -> f kk'
k kk
kk f kk'
-> (kk' -> T11 a b c d e f g h i j kk')
-> f (T11 a b c d e f g h i j kk')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \kk'
kk' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk'
-> T11 a b c d e f g h i j kk'
forall a b c d e f g h i j k.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> T11 a b c d e f g h i j k
T11 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk'
kk')
  {-# inline _11 #-}

instance Field11 (T12 a b c d e f g h i j kk l) (T12 a b c d e f g h i j kk' l) kk kk' where
  _11 :: (kk -> f kk')
-> T12 a b c d e f g h i j kk l
-> f (T12 a b c d e f g h i j kk' l)
_11 kk -> f kk'
k ~(T12 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l) = kk -> f kk'
k kk
kk f kk'
-> (kk' -> T12 a b c d e f g h i j kk' l)
-> f (T12 a b c d e f g h i j kk' l)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \kk'
kk' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk'
-> l
-> T12 a b c d e f g h i j kk' l
forall a b c d e f g h i j k l.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> T12 a b c d e f g h i j k l
T12 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk'
kk' l
l)
  {-# inline _11 #-}

instance Field11 (T13 a b c d e f g h i j kk l m) (T13 a b c d e f g h i j kk' l m) kk kk' where
  _11 :: (kk -> f kk')
-> T13 a b c d e f g h i j kk l m
-> f (T13 a b c d e f g h i j kk' l m)
_11 kk -> f kk'
k ~(T13 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m) = kk -> f kk'
k kk
kk f kk'
-> (kk' -> T13 a b c d e f g h i j kk' l m)
-> f (T13 a b c d e f g h i j kk' l m)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \kk'
kk' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk'
-> l
-> m
-> T13 a b c d e f g h i j kk' l m
forall a b c d e f g h i j k l m.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> T13 a b c d e f g h i j k l m
T13 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk'
kk' l
l m
m)
  {-# inline _11 #-}

instance Field11 (T14 a b c d e f g h i j kk l m n) (T14 a b c d e f g h i j kk' l m n) kk kk' where
  _11 :: (kk -> f kk')
-> T14 a b c d e f g h i j kk l m n
-> f (T14 a b c d e f g h i j kk' l m n)
_11 kk -> f kk'
k ~(T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n) = kk -> f kk'
k kk
kk f kk'
-> (kk' -> T14 a b c d e f g h i j kk' l m n)
-> f (T14 a b c d e f g h i j kk' l m n)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \kk'
kk' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk'
-> l
-> m
-> n
-> T14 a b c d e f g h i j kk' l m n
forall a b c d e f g h i j k l m n.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> T14 a b c d e f g h i j k l m n
T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk'
kk' l
l m
m n
n)
  {-# inline _11 #-}

instance Field11 (T15 a b c d e f g h i j kk l m n o) (T15 a b c d e f g h i j kk' l m n o) kk kk' where
  _11 :: (kk -> f kk')
-> T15 a b c d e f g h i j kk l m n o
-> f (T15 a b c d e f g h i j kk' l m n o)
_11 kk -> f kk'
k ~(T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o) = kk -> f kk'
k kk
kk f kk'
-> (kk' -> T15 a b c d e f g h i j kk' l m n o)
-> f (T15 a b c d e f g h i j kk' l m n o)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \kk'
kk' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk'
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i j kk' l m n o
forall a b c d e f g h i j k l m n o.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i j k l m n o
T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk'
kk' l
l m
m n
n o
o)
  {-# inline _11 #-}

instance Field11 (T16 a b c d e f g h i j kk l m n o p) (T16 a b c d e f g h i j kk' l m n o p) kk kk' where
  _11 :: (kk -> f kk')
-> T16 a b c d e f g h i j kk l m n o p
-> f (T16 a b c d e f g h i j kk' l m n o p)
_11 kk -> f kk'
k ~(T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p) = kk -> f kk'
k kk
kk f kk'
-> (kk' -> T16 a b c d e f g h i j kk' l m n o p)
-> f (T16 a b c d e f g h i j kk' l m n o p)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \kk'
kk' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk'
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j kk' l m n o p
forall a b c d e f g h i j k l m n o p.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j k l m n o p
T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk'
kk' l
l m
m n
n o
o p
p)
  {-# inline _11 #-}

instance Field11 (T17 a b c d e f g h i j kk l m n o p q) (T17 a b c d e f g h i j kk' l m n o p q) kk kk' where
  _11 :: (kk -> f kk')
-> T17 a b c d e f g h i j kk l m n o p q
-> f (T17 a b c d e f g h i j kk' l m n o p q)
_11 kk -> f kk'
k ~(T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q) = kk -> f kk'
k kk
kk f kk'
-> (kk' -> T17 a b c d e f g h i j kk' l m n o p q)
-> f (T17 a b c d e f g h i j kk' l m n o p q)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \kk'
kk' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk'
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j kk' l m n o p q
forall a b c d e f g h i j k l m n o p q.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j k l m n o p q
T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk'
kk' l
l m
m n
n o
o p
p q
q)
  {-# inline _11 #-}

instance Field11 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a b c d e f g h i j kk' l m n o p q r) kk kk' where
  _11 :: (kk -> f kk')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a b c d e f g h i j kk' l m n o p q r)
_11 kk -> f kk'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = kk -> f kk'
k kk
kk f kk'
-> (kk' -> T18 a b c d e f g h i j kk' l m n o p q r)
-> f (T18 a b c d e f g h i j kk' l m n o p q r)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \kk'
kk' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk'
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j kk' l m n o p q r
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk'
kk' l
l m
m n
n o
o p
p q
q r
r)
  {-# inline _11 #-}

instance Field11 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b c d e f g h i j kk' l m n o p q r s) kk kk' where
  _11 :: (kk -> f kk')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b c d e f g h i j kk' l m n o p q r s)
_11 kk -> f kk'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = kk -> f kk'
k kk
kk f kk'
-> (kk' -> T19 a b c d e f g h i j kk' l m n o p q r s)
-> f (T19 a b c d e f g h i j kk' l m n o p q r s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \kk'
kk' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk'
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j kk' l m n o p q r s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk'
kk' l
l m
m n
n o
o p
p q
q r
r s
s)
  {-# inline _11 #-}

-- ---------------------------------------------------------------- --
-- Field12 optics

instance Field12 (T12 a b c d e f g h i j kk l) (T12 a b c d e f g h i j kk l') l l' where
  _12 :: (l -> f l')
-> T12 a b c d e f g h i j kk l
-> f (T12 a b c d e f g h i j kk l')
_12 l -> f l'
k ~(T12 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l) = l -> f l'
k l
l f l'
-> (l' -> T12 a b c d e f g h i j kk l')
-> f (T12 a b c d e f g h i j kk l')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \l'
l' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l'
-> T12 a b c d e f g h i j kk l'
forall a b c d e f g h i j k l.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> T12 a b c d e f g h i j k l
T12 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l'
l')
  {-# inline _12 #-}

instance Field12 (T13 a b c d e f g h i j kk l m) (T13 a b c d e f g h i j kk l' m) l l' where
  _12 :: (l -> f l')
-> T13 a b c d e f g h i j kk l m
-> f (T13 a b c d e f g h i j kk l' m)
_12 l -> f l'
k ~(T13 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m) = l -> f l'
k l
l f l'
-> (l' -> T13 a b c d e f g h i j kk l' m)
-> f (T13 a b c d e f g h i j kk l' m)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \l'
l' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l'
-> m
-> T13 a b c d e f g h i j kk l' m
forall a b c d e f g h i j k l m.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> T13 a b c d e f g h i j k l m
T13 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l'
l' m
m)
  {-# inline _12 #-}

instance Field12 (T14 a b c d e f g h i j kk l m n) (T14 a b c d e f g h i j kk l' m n) l l' where
  _12 :: (l -> f l')
-> T14 a b c d e f g h i j kk l m n
-> f (T14 a b c d e f g h i j kk l' m n)
_12 l -> f l'
k ~(T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n) = l -> f l'
k l
l f l'
-> (l' -> T14 a b c d e f g h i j kk l' m n)
-> f (T14 a b c d e f g h i j kk l' m n)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \l'
l' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l'
-> m
-> n
-> T14 a b c d e f g h i j kk l' m n
forall a b c d e f g h i j k l m n.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> T14 a b c d e f g h i j k l m n
T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l'
l' m
m n
n)
  {-# inline _12 #-}

instance Field12 (T15 a b c d e f g h i j kk l m n o) (T15 a b c d e f g h i j kk l' m n o) l l' where
  _12 :: (l -> f l')
-> T15 a b c d e f g h i j kk l m n o
-> f (T15 a b c d e f g h i j kk l' m n o)
_12 l -> f l'
k ~(T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o) = l -> f l'
k l
l f l'
-> (l' -> T15 a b c d e f g h i j kk l' m n o)
-> f (T15 a b c d e f g h i j kk l' m n o)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \l'
l' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l'
-> m
-> n
-> o
-> T15 a b c d e f g h i j kk l' m n o
forall a b c d e f g h i j k l m n o.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i j k l m n o
T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l'
l' m
m n
n o
o)
  {-# inline _12 #-}

instance Field12 (T16 a b c d e f g h i j kk l m n o p) (T16 a b c d e f g h i j kk l' m n o p) l l' where
  _12 :: (l -> f l')
-> T16 a b c d e f g h i j kk l m n o p
-> f (T16 a b c d e f g h i j kk l' m n o p)
_12 l -> f l'
k ~(T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p) = l -> f l'
k l
l f l'
-> (l' -> T16 a b c d e f g h i j kk l' m n o p)
-> f (T16 a b c d e f g h i j kk l' m n o p)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \l'
l' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l'
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j kk l' m n o p
forall a b c d e f g h i j k l m n o p.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j k l m n o p
T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l'
l' m
m n
n o
o p
p)
  {-# inline _12 #-}

instance Field12 (T17 a b c d e f g h i j kk l m n o p q) (T17 a b c d e f g h i j kk l' m n o p q) l l' where
  _12 :: (l -> f l')
-> T17 a b c d e f g h i j kk l m n o p q
-> f (T17 a b c d e f g h i j kk l' m n o p q)
_12 l -> f l'
k ~(T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q) = l -> f l'
k l
l f l'
-> (l' -> T17 a b c d e f g h i j kk l' m n o p q)
-> f (T17 a b c d e f g h i j kk l' m n o p q)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \l'
l' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l'
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j kk l' m n o p q
forall a b c d e f g h i j k l m n o p q.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j k l m n o p q
T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l'
l' m
m n
n o
o p
p q
q)
  {-# inline _12 #-}

instance Field12 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a b c d e f g h i j kk l' m n o p q r) l l' where
  _12 :: (l -> f l')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a b c d e f g h i j kk l' m n o p q r)
_12 l -> f l'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = l -> f l'
k l
l f l'
-> (l' -> T18 a b c d e f g h i j kk l' m n o p q r)
-> f (T18 a b c d e f g h i j kk l' m n o p q r)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \l'
l' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l'
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j kk l' m n o p q r
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l'
l' m
m n
n o
o p
p q
q r
r)
  {-# inline _12 #-}

instance Field12 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b c d e f g h i j kk l' m n o p q r s) l l' where
  _12 :: (l -> f l')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b c d e f g h i j kk l' m n o p q r s)
_12 l -> f l'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = l -> f l'
k l
l f l'
-> (l' -> T19 a b c d e f g h i j kk l' m n o p q r s)
-> f (T19 a b c d e f g h i j kk l' m n o p q r s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \l'
l' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l'
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j kk l' m n o p q r s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l'
l' m
m n
n o
o p
p q
q r
r s
s)
  {-# inline _12 #-}

-- ---------------------------------------------------------------- --
-- Field13 optics

instance Field13 (T13 a b c d e f g h i j kk l m) (T13 a b c d e f g h i j kk l m') m m' where
  _13 :: (m -> f m')
-> T13 a b c d e f g h i j kk l m
-> f (T13 a b c d e f g h i j kk l m')
_13 m -> f m'
k ~(T13 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m) = m -> f m'
k m
m f m'
-> (m' -> T13 a b c d e f g h i j kk l m')
-> f (T13 a b c d e f g h i j kk l m')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \m'
m' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m'
-> T13 a b c d e f g h i j kk l m'
forall a b c d e f g h i j k l m.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> T13 a b c d e f g h i j k l m
T13 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m'
m')
  {-# inline _13 #-}

instance Field13 (T14 a b c d e f g h i j kk l m n) (T14 a b c d e f g h i j kk l m' n) m m' where
  _13 :: (m -> f m')
-> T14 a b c d e f g h i j kk l m n
-> f (T14 a b c d e f g h i j kk l m' n)
_13 m -> f m'
k ~(T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n) = m -> f m'
k m
m f m'
-> (m' -> T14 a b c d e f g h i j kk l m' n)
-> f (T14 a b c d e f g h i j kk l m' n)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \m'
m' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m'
-> n
-> T14 a b c d e f g h i j kk l m' n
forall a b c d e f g h i j k l m n.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> T14 a b c d e f g h i j k l m n
T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m'
m' n
n)
  {-# inline _13 #-}

instance Field13 (T15 a b c d e f g h i j kk l m n o) (T15 a b c d e f g h i j kk l m' n o) m m' where
  _13 :: (m -> f m')
-> T15 a b c d e f g h i j kk l m n o
-> f (T15 a b c d e f g h i j kk l m' n o)
_13 m -> f m'
k ~(T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o) = m -> f m'
k m
m f m'
-> (m' -> T15 a b c d e f g h i j kk l m' n o)
-> f (T15 a b c d e f g h i j kk l m' n o)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \m'
m' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m'
-> n
-> o
-> T15 a b c d e f g h i j kk l m' n o
forall a b c d e f g h i j k l m n o.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i j k l m n o
T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m'
m' n
n o
o)
  {-# inline _13 #-}

instance Field13 (T16 a b c d e f g h i j kk l m n o p) (T16 a b c d e f g h i j kk l m' n o p) m m' where
  _13 :: (m -> f m')
-> T16 a b c d e f g h i j kk l m n o p
-> f (T16 a b c d e f g h i j kk l m' n o p)
_13 m -> f m'
k ~(T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p) = m -> f m'
k m
m f m'
-> (m' -> T16 a b c d e f g h i j kk l m' n o p)
-> f (T16 a b c d e f g h i j kk l m' n o p)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \m'
m' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m'
-> n
-> o
-> p
-> T16 a b c d e f g h i j kk l m' n o p
forall a b c d e f g h i j k l m n o p.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j k l m n o p
T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m'
m' n
n o
o p
p)
  {-# inline _13 #-}

instance Field13 (T17 a b c d e f g h i j kk l m n o p q) (T17 a b c d e f g h i j kk l m' n o p q) m m' where
  _13 :: (m -> f m')
-> T17 a b c d e f g h i j kk l m n o p q
-> f (T17 a b c d e f g h i j kk l m' n o p q)
_13 m -> f m'
k ~(T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q) = m -> f m'
k m
m f m'
-> (m' -> T17 a b c d e f g h i j kk l m' n o p q)
-> f (T17 a b c d e f g h i j kk l m' n o p q)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \m'
m' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m'
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j kk l m' n o p q
forall a b c d e f g h i j k l m n o p q.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j k l m n o p q
T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m'
m' n
n o
o p
p q
q)
  {-# inline _13 #-}

instance Field13 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a b c d e f g h i j kk l m' n o p q r) m m' where
  _13 :: (m -> f m')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a b c d e f g h i j kk l m' n o p q r)
_13 m -> f m'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = m -> f m'
k m
m f m'
-> (m' -> T18 a b c d e f g h i j kk l m' n o p q r)
-> f (T18 a b c d e f g h i j kk l m' n o p q r)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \m'
m' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m'
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j kk l m' n o p q r
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m'
m' n
n o
o p
p q
q r
r)
  {-# inline _13 #-}

instance Field13 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b c d e f g h i j kk l m' n o p q r s) m m' where
  _13 :: (m -> f m')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b c d e f g h i j kk l m' n o p q r s)
_13 m -> f m'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = m -> f m'
k m
m f m'
-> (m' -> T19 a b c d e f g h i j kk l m' n o p q r s)
-> f (T19 a b c d e f g h i j kk l m' n o p q r s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \m'
m' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m'
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j kk l m' n o p q r s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m'
m' n
n o
o p
p q
q r
r s
s)
  {-# inline _13 #-}

-- ---------------------------------------------------------------- --
-- Field14 optics

instance Field14 (T14 a b c d e f g h i j kk l m n) (T14 a b c d e f g h i j kk l m n') n n' where
  _14 :: (n -> f n')
-> T14 a b c d e f g h i j kk l m n
-> f (T14 a b c d e f g h i j kk l m n')
_14 n -> f n'
k ~(T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n) = n -> f n'
k n
n f n'
-> (n' -> T14 a b c d e f g h i j kk l m n')
-> f (T14 a b c d e f g h i j kk l m n')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \n'
n' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n'
-> T14 a b c d e f g h i j kk l m n'
forall a b c d e f g h i j k l m n.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> T14 a b c d e f g h i j k l m n
T14 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n'
n')
  {-# inline _14 #-}

instance Field14 (T15 a b c d e f g h i j kk l m n o) (T15 a b c d e f g h i j kk l m n' o) n n' where
  _14 :: (n -> f n')
-> T15 a b c d e f g h i j kk l m n o
-> f (T15 a b c d e f g h i j kk l m n' o)
_14 n -> f n'
k ~(T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o) = n -> f n'
k n
n f n'
-> (n' -> T15 a b c d e f g h i j kk l m n' o)
-> f (T15 a b c d e f g h i j kk l m n' o)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \n'
n' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n'
-> o
-> T15 a b c d e f g h i j kk l m n' o
forall a b c d e f g h i j k l m n o.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i j k l m n o
T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n'
n' o
o)
  {-# inline _14 #-}

instance Field14 (T16 a b c d e f g h i j kk l m n o p) (T16 a b c d e f g h i j kk l m n' o p) n n' where
  _14 :: (n -> f n')
-> T16 a b c d e f g h i j kk l m n o p
-> f (T16 a b c d e f g h i j kk l m n' o p)
_14 n -> f n'
k ~(T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p) = n -> f n'
k n
n f n'
-> (n' -> T16 a b c d e f g h i j kk l m n' o p)
-> f (T16 a b c d e f g h i j kk l m n' o p)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \n'
n' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n'
-> o
-> p
-> T16 a b c d e f g h i j kk l m n' o p
forall a b c d e f g h i j k l m n o p.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j k l m n o p
T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n'
n' o
o p
p)
  {-# inline _14 #-}

instance Field14 (T17 a b c d e f g h i j kk l m n o p q) (T17 a b c d e f g h i j kk l m n' o p q) n n' where
  _14 :: (n -> f n')
-> T17 a b c d e f g h i j kk l m n o p q
-> f (T17 a b c d e f g h i j kk l m n' o p q)
_14 n -> f n'
k ~(T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q) = n -> f n'
k n
n f n'
-> (n' -> T17 a b c d e f g h i j kk l m n' o p q)
-> f (T17 a b c d e f g h i j kk l m n' o p q)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \n'
n' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n'
-> o
-> p
-> q
-> T17 a b c d e f g h i j kk l m n' o p q
forall a b c d e f g h i j k l m n o p q.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j k l m n o p q
T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n'
n' o
o p
p q
q)
  {-# inline _14 #-}

instance Field14 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a b c d e f g h i j kk l m n' o p q r) n n' where
  _14 :: (n -> f n')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a b c d e f g h i j kk l m n' o p q r)
_14 n -> f n'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = n -> f n'
k n
n f n'
-> (n' -> T18 a b c d e f g h i j kk l m n' o p q r)
-> f (T18 a b c d e f g h i j kk l m n' o p q r)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \n'
n' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n'
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j kk l m n' o p q r
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n'
n' o
o p
p q
q r
r)
  {-# inline _14 #-}

instance Field14 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b c d e f g h i j kk l m n' o p q r s) n n' where
  _14 :: (n -> f n')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b c d e f g h i j kk l m n' o p q r s)
_14 n -> f n'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = n -> f n'
k n
n f n'
-> (n' -> T19 a b c d e f g h i j kk l m n' o p q r s)
-> f (T19 a b c d e f g h i j kk l m n' o p q r s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \n'
n' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n'
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j kk l m n' o p q r s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n'
n' o
o p
p q
q r
r s
s)
  {-# inline _14 #-}

-- ---------------------------------------------------------------- --
-- Field15 optics

instance Field15 (T15 a b c d e f g h i j kk l m n o) (T15 a b c d e f g h i j kk l m n o') o o' where
  _15 :: (o -> f o')
-> T15 a b c d e f g h i j kk l m n o
-> f (T15 a b c d e f g h i j kk l m n o')
_15 o -> f o'
k ~(T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o) = o -> f o'
k o
o f o'
-> (o' -> T15 a b c d e f g h i j kk l m n o')
-> f (T15 a b c d e f g h i j kk l m n o')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \o'
o' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o'
-> T15 a b c d e f g h i j kk l m n o'
forall a b c d e f g h i j k l m n o.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> T15 a b c d e f g h i j k l m n o
T15 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o'
o')
  {-# inline _15 #-}

instance Field15 (T16 a b c d e f g h i j kk l m n o p) (T16 a b c d e f g h i j kk l m n o' p) o o' where
  _15 :: (o -> f o')
-> T16 a b c d e f g h i j kk l m n o p
-> f (T16 a b c d e f g h i j kk l m n o' p)
_15 o -> f o'
k ~(T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p) = o -> f o'
k o
o f o'
-> (o' -> T16 a b c d e f g h i j kk l m n o' p)
-> f (T16 a b c d e f g h i j kk l m n o' p)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \o'
o' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o'
-> p
-> T16 a b c d e f g h i j kk l m n o' p
forall a b c d e f g h i j k l m n o p.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j k l m n o p
T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o'
o' p
p)
  {-# inline _15 #-}

instance Field15 (T17 a b c d e f g h i j kk l m n o p q) (T17 a b c d e f g h i j kk l m n o' p q) o o' where
  _15 :: (o -> f o')
-> T17 a b c d e f g h i j kk l m n o p q
-> f (T17 a b c d e f g h i j kk l m n o' p q)
_15 o -> f o'
k ~(T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q) = o -> f o'
k o
o f o'
-> (o' -> T17 a b c d e f g h i j kk l m n o' p q)
-> f (T17 a b c d e f g h i j kk l m n o' p q)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \o'
o' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o'
-> p
-> q
-> T17 a b c d e f g h i j kk l m n o' p q
forall a b c d e f g h i j k l m n o p q.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j k l m n o p q
T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o'
o' p
p q
q)
  {-# inline _15 #-}

instance Field15 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a b c d e f g h i j kk l m n o' p q r) o o' where
  _15 :: (o -> f o')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a b c d e f g h i j kk l m n o' p q r)
_15 o -> f o'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = o -> f o'
k o
o f o'
-> (o' -> T18 a b c d e f g h i j kk l m n o' p q r)
-> f (T18 a b c d e f g h i j kk l m n o' p q r)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \o'
o' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o'
-> p
-> q
-> r
-> T18 a b c d e f g h i j kk l m n o' p q r
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o'
o' p
p q
q r
r)
  {-# inline _15 #-}

instance Field15 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b c d e f g h i j kk l m n o' p q r s) o o' where
  _15 :: (o -> f o')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b c d e f g h i j kk l m n o' p q r s)
_15 o -> f o'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = o -> f o'
k o
o f o'
-> (o' -> T19 a b c d e f g h i j kk l m n o' p q r s)
-> f (T19 a b c d e f g h i j kk l m n o' p q r s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \o'
o' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o'
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j kk l m n o' p q r s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o'
o' p
p q
q r
r s
s)
  {-# inline _15 #-}

-- ---------------------------------------------------------------- --
-- Field16 optics

instance Field16 (T16 a b c d e f g h i j kk l m n o p) (T16 a b c d e f g h i j kk l m n o p') p p' where
  _16 :: (p -> f p')
-> T16 a b c d e f g h i j kk l m n o p
-> f (T16 a b c d e f g h i j kk l m n o p')
_16 p -> f p'
k ~(T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p) = p -> f p'
k p
p f p'
-> (p' -> T16 a b c d e f g h i j kk l m n o p')
-> f (T16 a b c d e f g h i j kk l m n o p')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \p'
p' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p'
-> T16 a b c d e f g h i j kk l m n o p'
forall a b c d e f g h i j k l m n o p.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> T16 a b c d e f g h i j k l m n o p
T16 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p'
p')
  {-# inline _16 #-}

instance Field16 (T17 a b c d e f g h i j kk l m n o p q) (T17 a b c d e f g h i j kk l m n o p' q) p p' where
  _16 :: (p -> f p')
-> T17 a b c d e f g h i j kk l m n o p q
-> f (T17 a b c d e f g h i j kk l m n o p' q)
_16 p -> f p'
k ~(T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q) = p -> f p'
k p
p f p'
-> (p' -> T17 a b c d e f g h i j kk l m n o p' q)
-> f (T17 a b c d e f g h i j kk l m n o p' q)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \p'
p' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p'
-> q
-> T17 a b c d e f g h i j kk l m n o p' q
forall a b c d e f g h i j k l m n o p q.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j k l m n o p q
T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p'
p' q
q)
  {-# inline _16 #-}

instance Field16 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a b c d e f g h i j kk l m n o p' q r) p p' where
  _16 :: (p -> f p')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a b c d e f g h i j kk l m n o p' q r)
_16 p -> f p'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = p -> f p'
k p
p f p'
-> (p' -> T18 a b c d e f g h i j kk l m n o p' q r)
-> f (T18 a b c d e f g h i j kk l m n o p' q r)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \p'
p' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p'
-> q
-> r
-> T18 a b c d e f g h i j kk l m n o p' q r
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p'
p' q
q r
r)
  {-# inline _16 #-}

instance Field16 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b c d e f g h i j kk l m n o p' q r s) p p' where
  _16 :: (p -> f p')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b c d e f g h i j kk l m n o p' q r s)
_16 p -> f p'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = p -> f p'
k p
p f p'
-> (p' -> T19 a b c d e f g h i j kk l m n o p' q r s)
-> f (T19 a b c d e f g h i j kk l m n o p' q r s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \p'
p' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p'
-> q
-> r
-> s
-> T19 a b c d e f g h i j kk l m n o p' q r s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p'
p' q
q r
r s
s)
  {-# inline _16 #-}

-- ---------------------------------------------------------------- --
-- Field17 optics

instance Field17 (T17 a b c d e f g h i j kk l m n o p q) (T17 a b c d e f g h i j kk l m n o p q') q q' where
  _17 :: (q -> f q')
-> T17 a b c d e f g h i j kk l m n o p q
-> f (T17 a b c d e f g h i j kk l m n o p q')
_17 q -> f q'
k ~(T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q) = q -> f q'
k q
q f q'
-> (q' -> T17 a b c d e f g h i j kk l m n o p q')
-> f (T17 a b c d e f g h i j kk l m n o p q')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \q'
q' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q'
-> T17 a b c d e f g h i j kk l m n o p q'
forall a b c d e f g h i j k l m n o p q.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> T17 a b c d e f g h i j k l m n o p q
T17 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q'
q')
  {-# inline _17 #-}

instance Field17 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a b c d e f g h i j kk l m n o p q' r) q q' where
  _17 :: (q -> f q')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a b c d e f g h i j kk l m n o p q' r)
_17 q -> f q'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = q -> f q'
k q
q f q'
-> (q' -> T18 a b c d e f g h i j kk l m n o p q' r)
-> f (T18 a b c d e f g h i j kk l m n o p q' r)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \q'
q' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q'
-> r
-> T18 a b c d e f g h i j kk l m n o p q' r
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q'
q' r
r)
  {-# inline _17 #-}

instance Field17 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b c d e f g h i j kk l m n o p q' r s) q q' where
  _17 :: (q -> f q')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b c d e f g h i j kk l m n o p q' r s)
_17 q -> f q'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = q -> f q'
k q
q f q'
-> (q' -> T19 a b c d e f g h i j kk l m n o p q' r s)
-> f (T19 a b c d e f g h i j kk l m n o p q' r s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \q'
q' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q'
-> r
-> s
-> T19 a b c d e f g h i j kk l m n o p q' r s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q'
q' r
r s
s)
  {-# inline _17 #-}

-- ---------------------------------------------------------------- --
-- Field18 optics

instance Field18 (T18 a b c d e f g h i j kk l m n o p q r) (T18 a b c d e f g h i j kk l m n o p q r') r r' where
  _18 :: (r -> f r')
-> T18 a b c d e f g h i j kk l m n o p q r
-> f (T18 a b c d e f g h i j kk l m n o p q r')
_18 r -> f r'
k ~(T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r) = r -> f r'
k r
r f r'
-> (r' -> T18 a b c d e f g h i j kk l m n o p q r')
-> f (T18 a b c d e f g h i j kk l m n o p q r')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \r'
r' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r'
-> T18 a b c d e f g h i j kk l m n o p q r'
forall a b c d e f g h i j k l m n o p q r.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> T18 a b c d e f g h i j k l m n o p q r
T18 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r'
r')
  {-# inline _18 #-}

instance Field18 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b c d e f g h i j kk l m n o p q r' s) r r' where
  _18 :: (r -> f r')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b c d e f g h i j kk l m n o p q r' s)
_18 r -> f r'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = r -> f r'
k r
r f r'
-> (r' -> T19 a b c d e f g h i j kk l m n o p q r' s)
-> f (T19 a b c d e f g h i j kk l m n o p q r' s)
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \r'
r' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r'
-> s
-> T19 a b c d e f g h i j kk l m n o p q r' s
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r'
r' s
s)
  {-# inline _18 #-}

-- ---------------------------------------------------------------- --
-- Field19 optics

instance Field19 (T19 a b c d e f g h i j kk l m n o p q r s) (T19 a b c d e f g h i j kk l m n o p q r s') s s' where
  _19 :: (s -> f s')
-> T19 a b c d e f g h i j kk l m n o p q r s
-> f (T19 a b c d e f g h i j kk l m n o p q r s')
_19 s -> f s'
k ~(T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s
s) = s -> f s'
k s
s f s'
-> (s' -> T19 a b c d e f g h i j kk l m n o p q r s')
-> f (T19 a b c d e f g h i j kk l m n o p q r s')
forall (f :: * -> *) a b. Functor f => f a -> (a -> b) -> f b
<&> \s'
s' -> (a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> kk
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s'
-> T19 a b c d e f g h i j kk l m n o p q r s'
forall a b c d e f g h i j k l m n o p q r s.
a
-> b
-> c
-> d
-> e
-> f
-> g
-> h
-> i
-> j
-> k
-> l
-> m
-> n
-> o
-> p
-> q
-> r
-> s
-> T19 a b c d e f g h i j k l m n o p q r s
T19 a
a b
b c
c d
d e
e f
f g
g h
h i
i j
j kk
kk l
l m
m n
n o
o p
p q
q r
r s'
s')
  {-# inline _19 #-}