1219     liftToEncoding2 t _ _ _ (Const x) = t x  function
1259     liftToEncoding2  toA _ _toB _ (Left a) = E.pairs $ E.pair "Left" $ toA a  function
1261     liftToEncoding2 _toA _ toB _ (Right b) = E.pairs $ E.pair "Right" $ toB b  function
2266     liftToEncoding2 _ _ t _ (Tagged x) = t x  function
2314     liftToEncoding2 toA _ toB _ (a, b) = E.list id [toA a, toB b]  function
2338     liftToEncoding2 toB _ toC _ (a, b, c) = E.list id  function
2367     liftToEncoding2 toC _ toD _ (a, b, c, d) = E.list id  function
2398     liftToEncoding2 toD _ toE _ (a, b, c, d, e) = E.list id  function
2431     liftToEncoding2 toE _ toF _ (a, b, c, d, e, f) = E.list id  function
2466     liftToEncoding2 toF _ toG _ (a, b, c, d, e, f, g) = E.list id  function
2503     liftToEncoding2 toG _ toH _ (a, b, c, d, e, f, g, h) = E.list id  function
2542     liftToEncoding2 toH _ toI _ (a, b, c, d, e, f, g, h, i) = E.list id  function
2583     liftToEncoding2 toI _ toJ _ (a, b, c, d, e, f, g, h, i, j) = E.list id  function
2626     liftToEncoding2 toJ _ toK _ (a, b, c, d, e, f, g, h, i, j, k) = E.list id  function
2671     liftToEncoding2 toK _ toL _ (a, b, c, d, e, f, g, h, i, j, k, l) = E.list id  function
2718     liftToEncoding2 toL _ toM _ (a, b, c, d, e, f, g, h, i, j, k, l, m) = E.list id  function
2767     liftToEncoding2 toM _ toN _ (a, b, c, d, e, f, g, h, i, j, k, l, m, n) = E.list id  function
2818     liftToEncoding2 toN _ toO _ (a, b, c, d, e, f, g, h, i, j, k, l, m, n, o) = E.list id  function