/home/victor/repos/mine/generics-mrsop/src/Generics/MRSOP/Examples/GoAST.hs:251:1: error:
    • Could not deduce: Lkup k a1098 ~ GoId
      from the context: (ix ~ 'S n, n ~ 'S n1, n1 ~ 'S n2, n2 ~ 'S n3,
                         n3 ~ 'S n4, n4 ~ 'S n5, n5 ~ 'S n6, n6 ~ 'S n7, n7 ~ 'S n8,
                         n8 ~ 'S n9, n9 ~ 'S n10, n10 ~ 'S n11, n11 ~ 'S n12, n12 ~ 'S n13,
                         n13 ~ 'S n14, n14 ~ 'S n15, n15 ~ 'S n16, n16 ~ 'S n17,
                         n17 ~ 'S n18, n18 ~ 'S n19, n19 ~ 'S n20, n20 ~ 'S n21,
                         n21 ~ 'S n22, n22 ~ 'S n23, n23 ~ 'S n24, n24 ~ 'S n25,
                         n25 ~ 'S n26, n26 ~ 'S n27, n27 ~ 'S n28, n28 ~ 'S n29,
                         n29 ~ 'S n30, n30 ~ 'S n31, n31 ~ 'S n32, n32 ~ 'S n33,
                         n33 ~ 'S n34, n34 ~ 'S n35, n35 ~ 'S n36, n36 ~ 'S n37,
                         n37 ~ 'S n38, n38 ~ 'S n39, n39 ~ 'S n40, n40 ~ 'S n41,
                         n41 ~ 'S n42, n42 ~ 'S n43, n43 ~ 'S n44, n44 ~ 'S n45,
                         n45 ~ 'S n46, n46 ~ 'S n47, n47 ~ 'S n48, n48 ~ 'S n49,
                         n49 ~ 'S n50, n50 ~ 'S n51, n51 ~ 'S n52, n52 ~ 'S n53,
                         n53 ~ 'S n54, n54 ~ 'S n55, n55 ~ 'S n56, n56 ~ 'S n57, n57 ~ 'Z)
        bound by a pattern with pattern synonym:
                   IdxGoTypeSpec :: forall (a :: Nat).
                                    () =>
                                    forall (n :: Nat) (n1 :: Nat) (n2 :: Nat) (n3 :: Nat) (n4 :: Nat) (n5 :: Nat) (n6 :: Nat) (n7 :: Nat) (n8 :: Nat) (n9 :: Nat) (n10 :: Nat) (n11 :: Nat) (n12 :: Nat) (n13 :: Nat) (n14 :: Nat) (n15 :: Nat) (n16 :: Nat) (n17 :: Nat) (n18 :: Nat) (n19 :: Nat) (n20 :: Nat) (n21 :: Nat) (n22 :: Nat) (n23 :: Nat) (n24 :: Nat) (n25 :: Nat) (n26 :: Nat) (n27 :: Nat) (n28 :: Nat) (n29 :: Nat) (n30 :: Nat) (n31 :: Nat) (n32 :: Nat) (n33 :: Nat) (n34 :: Nat) (n35 :: Nat) (n36 :: Nat) (n37 :: Nat) (n38 :: Nat) (n39 :: Nat) (n40 :: Nat) (n41 :: Nat) (n42 :: Nat) (n43 :: Nat) (n44 :: Nat) (n45 :: Nat) (n46 :: Nat) (n47 :: Nat) (n48 :: Nat) (n49 :: Nat) (n50 :: Nat) (n51 :: Nat) (n52 :: Nat) (n53 :: Nat) (n54 :: Nat) (n55 :: Nat) (n56 :: Nat) (n57 :: Nat).
                                    (a ~ 'S n, n ~ 'S n1, n1 ~ 'S n2, n2 ~ 'S n3, n3 ~ 'S n4,
                                     n4 ~ 'S n5, n5 ~ 'S n6, n6 ~ 'S n7, n7 ~ 'S n8, n8 ~ 'S n9,
                                     n9 ~ 'S n10, n10 ~ 'S n11, n11 ~ 'S n12, n12 ~ 'S n13,
                                     n13 ~ 'S n14, n14 ~ 'S n15, n15 ~ 'S n16, n16 ~ 'S n17,
                                     n17 ~ 'S n18, n18 ~ 'S n19, n19 ~ 'S n20, n20 ~ 'S n21,
                                     n21 ~ 'S n22, n22 ~ 'S n23, n23 ~ 'S n24, n24 ~ 'S n25,
                                     n25 ~ 'S n26, n26 ~ 'S n27, n27 ~ 'S n28, n28 ~ 'S n29,
                                     n29 ~ 'S n30, n30 ~ 'S n31, n31 ~ 'S n32, n32 ~ 'S n33,
                                     n33 ~ 'S n34, n34 ~ 'S n35, n35 ~ 'S n36, n36 ~ 'S n37,
                                     n37 ~ 'S n38, n38 ~ 'S n39, n39 ~ 'S n40, n40 ~ 'S n41,
                                     n41 ~ 'S n42, n42 ~ 'S n43, n43 ~ 'S n44, n44 ~ 'S n45,
                                     n45 ~ 'S n46, n46 ~ 'S n47, n47 ~ 'S n48, n48 ~ 'S n49,
                                     n49 ~ 'S n50, n50 ~ 'S n51, n51 ~ 'S n52, n52 ~ 'S n53,
                                     n53 ~ 'S n54, n54 ~ 'S n55, n55 ~ 'S n56, n56 ~ 'S n57,
                                     n57 ~ 'Z) =>
                                    SNat a,
                 in a case alternative
        at src/Generics/MRSOP/Examples/GoAST.hs:251:1-28
      or from: b514 ~ (x : xs)
        bound by a pattern with pattern synonym:
                   HT58_0_ :: forall (a :: * -> *) (b :: [*]).
                              () =>
                              forall x (xs :: [*]). (b ~ (x : xs)) => a x -> NS a b,
                 in a case alternative
        at src/Generics/MRSOP/Examples/GoAST.hs:251:1-28
      or from: b513 ~ (x488 : xs152)
        bound by a pattern with constructor:
                   :* :: forall k (a :: k -> *) (x :: k) (xs :: [k]).
                         a x -> NP a xs -> NP a (x : xs),
                 in a case alternative
        at src/Generics/MRSOP/Examples/GoAST.hs:251:1-28
      or from: (c203 ~ 'I k, IsNat k)
        bound by a pattern with constructor:
                   NA_I :: forall kon (k :: Nat) (b :: Nat -> *) (a :: kon -> *).
                           IsNat k =>
                           b k -> NA a b ('I k),
                 in a case alternative
        at src/Generics/MRSOP/Examples/GoAST.hs:251:1-28
      or from: xs152 ~ (x489 : xs153)
        bound by a pattern with constructor:
                   :* :: forall k (a :: k -> *) (x :: k) (xs :: [k]).
                         a x -> NP a xs -> NP a (x : xs),
                 in a case alternative
        at src/Generics/MRSOP/Examples/GoAST.hs:251:1-28
      or from: (c202 ~ 'I k369, IsNat k369)
        bound by a pattern with constructor:
                   NA_I :: forall kon (k :: Nat) (b :: Nat -> *) (a :: kon -> *).
                           IsNat k =>
                           b k -> NA a b ('I k),
                 in a case alternative
        at src/Generics/MRSOP/Examples/GoAST.hs:251:1-28
      or from: xs153 ~ '[]
        bound by a pattern with constructor:
                   NP0 :: forall k (a :: k -> *). NP a '[],
                 in a case alternative
        at src/Generics/MRSOP/Examples/GoAST.hs:251:1-28
      The type variable ‘a1098’ is ambiguous
    • In the first argument of ‘GoTypeSpec’, namely ‘y_aGRs’
      In the first argument of ‘El’, namely
        ‘((GoTypeSpec y_aGRs) y_aGRt)’
      In the expression: El ((GoTypeSpec y_aGRs) y_aGRt)
    |
251 | deriveFamily [t| GoSource |]
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^