{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE EmptyCase #-}
{-# LANGUAGE EmptyDataDecls #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}

{-# OPTIONS_GHC -Wno-overlapping-patterns #-}

module MAlonzo.Code.Type.Equality where

import MAlonzo.RTE (coe, erased, AgdaAny, addInt, subInt, mulInt,
                    quotInt, remInt, geqInt, ltInt, eqInt, add64, sub64, mul64, quot64,
                    rem64, lt64, eq64, word64FromNat, word64ToNat)
import qualified MAlonzo.RTE
import qualified Data.Text
import qualified MAlonzo.Code.Agda.Builtin.Equality
import qualified MAlonzo.Code.Data.Vec.Base
import qualified MAlonzo.Code.Type
import qualified MAlonzo.Code.Type.RenamingSubstitution
import qualified MAlonzo.Code.Utils

-- Type.Equality._[≡]β_
d__'91''8801''93'β__4 :: p -> p -> p -> ()
d__'91''8801''93'β__4 p
a0 p
a1 p
a2 = ()
data T__'91''8801''93'β__4
  = C_nil'91''8801''93'β_50 |
    C_cons'91''8801''93'β_60 T__'8801'β__10 T__'91''8801''93'β__4
-- Type.Equality._⟨[≡]⟩β_
d__'10216''91''8801''93''10217'β__8 :: p -> p -> p -> p -> ()
d__'10216''91''8801''93''10217'β__8 p
a0 p
a1 p
a2 p
a3 = ()
data T__'10216''91''8801''93''10217'β__8
  = C_nil'10216''91''8801''93''10217'β_62 |
    C_cons'10216''91''8801''93''10217'β_74 T__'91''8801''93'β__4
                                           T__'10216''91''8801''93''10217'β__8
-- Type.Equality._≡β_
d__'8801'β__10 :: p -> p -> p -> p -> ()
d__'8801'β__10 p
a0 p
a1 p
a2 p
a3 = ()
data T__'8801'β__10
  = C_refl'8801'β_14 | C_sym'8801'β_16 T__'8801'β__10 |
    C_trans'8801'β_18 MAlonzo.Code.Type.T__'8866''8902'__20
                      T__'8801'β__10 T__'8801'β__10 |
    C_'8658''8801'β_20 T__'8801'β__10 T__'8801'β__10 |
    C_Π'8801'β_22 T__'8801'β__10 | C_ƛ'8801'β_24 T__'8801'β__10 |
    C_'183''8801'β_26 T__'8801'β__10 T__'8801'β__10 |
    C_μ'8801'β_28 T__'8801'β__10 T__'8801'β__10 |
    C_con'8801'β_34 T__'8801'β__10 |
    C_SOP'8801'β_42 T__'10216''91''8801''93''10217'β__8 | C_β'8801'β_48
-- Type.Equality.≡2β
d_'8801'2β_76 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Utils.T_Kind_476 ->
  MAlonzo.Code.Type.T__'8866''8902'__20 ->
  MAlonzo.Code.Type.T__'8866''8902'__20 ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 -> T__'8801'β__10
d_'8801'2β_76 :: T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8801'__12
-> T__'8801'β__10
d_'8801'2β_76 ~T_Ctx'8902'_2
v0 ~T_Kind_476
v1 ~T__'8866''8902'__20
v2 ~T__'8866''8902'__20
v3 ~T__'8801'__12
v4 = T__'8801'β__10
du_'8801'2β_76
du_'8801'2β_76 :: T__'8801'β__10
du_'8801'2β_76 :: T__'8801'β__10
du_'8801'2β_76 = T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
C_refl'8801'β_14
-- Type.Equality.ren≡β
d_ren'8801'β_80 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Utils.T_Kind_476 ->
  MAlonzo.Code.Type.T__'8866''8902'__20 ->
  MAlonzo.Code.Type.T__'8866''8902'__20 ->
  (MAlonzo.Code.Utils.T_Kind_476 ->
   MAlonzo.Code.Type.T__'8715''8902'__14 ->
   MAlonzo.Code.Type.T__'8715''8902'__14) ->
  T__'8801'β__10 -> T__'8801'β__10
d_ren'8801'β_80 :: T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'8801'β__10
-> T__'8801'β__10
d_ren'8801'β_80 T_Ctx'8902'_2
v0 T_Ctx'8902'_2
v1 T_Kind_476
v2 T__'8866''8902'__20
v3 T__'8866''8902'__20
v4 T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5 T__'8801'β__10
v6
  = case T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v6 of
      T__'8801'β__10
C_refl'8801'β_14 -> T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
C_refl'8801'β_14
      C_sym'8801'β_16 T__'8801'β__10
v11
        -> (T__'8801'β__10 -> T__'8801'β__10)
-> T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe
             T__'8801'β__10 -> T__'8801'β__10
C_sym'8801'β_16
             (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'8801'β__10
-> T__'8801'β__10
d_ren'8801'β_80
                (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v2) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v11))
      C_trans'8801'β_18 T__'8866''8902'__20
v10 T__'8801'β__10
v12 T__'8801'β__10
v13
        -> (T__'8866''8902'__20
 -> T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10)
-> T__'8866''8902'__20
-> T__'8801'β__10
-> T__'8801'β__10
-> T__'8801'β__10
forall a b. a -> b
coe
             T__'8866''8902'__20
-> T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10
C_trans'8801'β_18
             (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.RenamingSubstitution.d_ren_28
                (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v2) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v10))
             (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'8801'β__10
-> T__'8801'β__10
d_ren'8801'β_80
                (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v2) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v10) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v12))
             (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'8801'β__10
-> T__'8801'β__10
d_ren'8801'β_80
                (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v2) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v10) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v13))
      C_'8658''8801'β_20 T__'8801'β__10
v12 T__'8801'β__10
v13
        -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3 of
             MAlonzo.Code.Type.C__'8658'__26 T__'8866''8902'__20
v15 T__'8866''8902'__20
v16
               -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4 of
                    MAlonzo.Code.Type.C__'8658'__26 T__'8866''8902'__20
v18 T__'8866''8902'__20
v19
                      -> (T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10)
-> T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe
                           T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10
C_'8658''8801'β_20
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'8801'β__10
-> T__'8801'β__10
d_ren'8801'β_80
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v15)
                              (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v18) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v12))
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'8801'β__10
-> T__'8801'β__10
d_ren'8801'β_80
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v16)
                              (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v19) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v13))
                    T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
      C_Π'8801'β_22 T__'8801'β__10
v11
        -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3 of
             MAlonzo.Code.Type.C_Π_24 T_Kind_476
v13 T__'8866''8902'__20
v14
               -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4 of
                    MAlonzo.Code.Type.C_Π_24 T_Kind_476
v16 T__'8866''8902'__20
v17
                      -> (T__'8801'β__10 -> T__'8801'β__10)
-> T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe
                           T__'8801'β__10 -> T__'8801'β__10
C_Π'8801'β_22
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'8801'β__10
-> T__'8801'β__10
d_ren'8801'β_80
                              ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2)
-> Any -> Any -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                              ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2)
-> Any -> Any -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                              (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v14) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v17)
                              (((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
 -> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> Any -> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
forall a b. a -> b
coe (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
MAlonzo.Code.Type.RenamingSubstitution.du_ext_18 ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5))
                              (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v11))
                    T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
      C_ƛ'8801'β_24 T__'8801'β__10
v12
        -> case T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v2 of
             MAlonzo.Code.Utils.C__'8658'__482 T_Kind_476
v13 T_Kind_476
v14
               -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3 of
                    MAlonzo.Code.Type.C_ƛ_28 T__'8866''8902'__20
v18
                      -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4 of
                           MAlonzo.Code.Type.C_ƛ_28 T__'8866''8902'__20
v22
                             -> (T__'8801'β__10 -> T__'8801'β__10)
-> T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe
                                  T__'8801'β__10 -> T__'8801'β__10
C_ƛ'8801'β_24
                                  (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'8801'β__10
-> T__'8801'β__10
d_ren'8801'β_80
                                     ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2)
-> Any -> Any -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                                     ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2)
-> Any -> Any -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                                     (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v14) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v18) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v22)
                                     (((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
 -> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> Any -> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
forall a b. a -> b
coe (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
MAlonzo.Code.Type.RenamingSubstitution.du_ext_18 ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5))
                                     (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v12))
                           T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
                    T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
             T_Kind_476
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
      C_'183''8801'β_26 T__'8801'β__10
v14 T__'8801'β__10
v15
        -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3 of
             MAlonzo.Code.Type.C__'183'__30 T_Kind_476
v17 T__'8866''8902'__20
v19 T__'8866''8902'__20
v20
               -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4 of
                    MAlonzo.Code.Type.C__'183'__30 T_Kind_476
v22 T__'8866''8902'__20
v24 T__'8866''8902'__20
v25
                      -> (T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10)
-> T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe
                           T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10
C_'183''8801'β_26
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'8801'β__10
-> T__'8801'β__10
d_ren'8801'β_80
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1)
                              ((T_Kind_476 -> T_Kind_476 -> T_Kind_476)
-> Any -> Any -> T_Kind_476
forall a b. a -> b
coe T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v17) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v2))
                              (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v19) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v24) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v14))
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'8801'β__10
-> T__'8801'β__10
d_ren'8801'β_80
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v17) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v20) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v25) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v15))
                    T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
      C_μ'8801'β_28 T__'8801'β__10
v13 T__'8801'β__10
v14
        -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3 of
             MAlonzo.Code.Type.C_μ_32 T_Kind_476
v16 T__'8866''8902'__20
v17 T__'8866''8902'__20
v18
               -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4 of
                    MAlonzo.Code.Type.C_μ_32 T_Kind_476
v20 T__'8866''8902'__20
v21 T__'8866''8902'__20
v22
                      -> (T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10)
-> T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe
                           T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10
C_μ'8801'β_28
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'8801'β__10
-> T__'8801'β__10
d_ren'8801'β_80
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1)
                              ((T_Kind_476 -> T_Kind_476 -> T_Kind_476)
-> Any -> Any -> T_Kind_476
forall a b. a -> b
coe
                                 T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482
                                 ((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
                                    T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v16)
                                    (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478))
                                 ((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
                                    T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v16)
                                    (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)))
                              (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v17) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v21) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v13))
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'8801'β__10
-> T__'8801'β__10
d_ren'8801'β_80
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v16) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v18) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v22) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v14))
                    T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
      C_con'8801'β_34 T__'8801'β__10
v10
        -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3 of
             MAlonzo.Code.Type.C_con_36 T__'8866''8902'__20
v12
               -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4 of
                    MAlonzo.Code.Type.C_con_36 T__'8866''8902'__20
v14
                      -> (T__'8801'β__10 -> T__'8801'β__10)
-> T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe
                           T__'8801'β__10 -> T__'8801'β__10
C_con'8801'β_34
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'8801'β__10
-> T__'8801'β__10
d_ren'8801'β_80
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'9839'_480) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v12)
                              (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v14) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v10))
                    T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
      C_SOP'8801'β_42 T__'10216''91''8801''93''10217'β__8
v11
        -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3 of
             MAlonzo.Code.Type.C_SOP_40 Integer
v13 T_Vec_24
v14
               -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4 of
                    MAlonzo.Code.Type.C_SOP_40 Integer
v16 T_Vec_24
v17
                      -> (T__'10216''91''8801''93''10217'β__8 -> T__'8801'β__10)
-> Any -> T__'8801'β__10
forall a b. a -> b
coe
                           T__'10216''91''8801''93''10217'β__8 -> T__'8801'β__10
C_SOP'8801'β_42
                           ((T_Ctx'8902'_2
 -> T_Ctx'8902'_2
 -> T_Vec_24
 -> T_Vec_24
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
 -> T__'10216''91''8801''93''10217'β__8
 -> T__'10216''91''8801''93''10217'β__8)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Vec_24
-> T_Vec_24
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'10216''91''8801''93''10217'β__8
-> T__'10216''91''8801''93''10217'β__8
du_ren'8801'β'45'VecList_98 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Vec_24 -> Any
forall a b. a -> b
coe T_Vec_24
v14) (T_Vec_24 -> Any
forall a b. a -> b
coe T_Vec_24
v17)
                              ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5) (T__'10216''91''8801''93''10217'β__8 -> Any
forall a b. a -> b
coe T__'10216''91''8801''93''10217'β__8
v11))
                    T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
      T__'8801'β__10
C_β'8801'β_48
        -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3 of
             MAlonzo.Code.Type.C__'183'__30 T_Kind_476
v13 T__'8866''8902'__20
v15 T__'8866''8902'__20
v16
               -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v15 of
                    MAlonzo.Code.Type.C_ƛ_28 T__'8866''8902'__20
v20
                      -> (T__'8866''8902'__20
 -> T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10)
-> T__'8866''8902'__20 -> Any -> Any -> T__'8801'β__10
forall a b. a -> b
coe
                           T__'8866''8902'__20
-> T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10
C_trans'8801'β_18
                           (T_Ctx'8902'_2
-> T_Kind_476
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.RenamingSubstitution.d__'91'_'93'_432
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v13) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v2)
                              ((T_Ctx'8902'_2
 -> T_Ctx'8902'_2
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
 -> T_Kind_476
 -> T__'8866''8902'__20
 -> T__'8866''8902'__20)
-> Any -> Any -> Any -> Any -> Any -> T__'8866''8902'__20
forall a b. a -> b
coe
                                 T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.RenamingSubstitution.d_ren_28
                                 ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2) -> Any -> Any -> Any
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                                 ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2) -> Any -> Any -> Any
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                                 (((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
 -> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> Any -> Any
forall a b. a -> b
coe (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
MAlonzo.Code.Type.RenamingSubstitution.du_ext_18 ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5))
                                 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v2) (T__'8866''8902'__20 -> Any
forall a b. a -> b
coe T__'8866''8902'__20
v20))
                              ((T_Ctx'8902'_2
 -> T_Ctx'8902'_2
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
 -> T_Kind_476
 -> T__'8866''8902'__20
 -> T__'8866''8902'__20)
-> Any -> Any -> Any -> Any -> Any -> T__'8866''8902'__20
forall a b. a -> b
coe
                                 T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.RenamingSubstitution.d_ren_28 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1)
                                 ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13) (T__'8866''8902'__20 -> Any
forall a b. a -> b
coe T__'8866''8902'__20
v16)))
                           (T__'8801'β__10 -> Any
forall a b. a -> b
coe T__'8801'β__10
C_β'8801'β_48) (T__'8801'β__10 -> Any
forall a b. a -> b
coe T__'8801'β__10
du_'8801'2β_76)
                    T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
      T__'8801'β__10
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Type.Equality.ren≡β-List
d_ren'8801'β'45'List_88 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  [MAlonzo.Code.Type.T__'8866''8902'__20] ->
  [MAlonzo.Code.Type.T__'8866''8902'__20] ->
  (MAlonzo.Code.Utils.T_Kind_476 ->
   MAlonzo.Code.Type.T__'8715''8902'__14 ->
   MAlonzo.Code.Type.T__'8715''8902'__14) ->
  T__'91''8801''93'β__4 -> T__'91''8801''93'β__4
d_ren'8801'β'45'List_88 :: T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> [T__'8866''8902'__20]
-> [T__'8866''8902'__20]
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'91''8801''93'β__4
-> T__'91''8801''93'β__4
d_ren'8801'β'45'List_88 T_Ctx'8902'_2
v0 T_Ctx'8902'_2
v1 [T__'8866''8902'__20]
v2 [T__'8866''8902'__20]
v3 T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v4 T__'91''8801''93'β__4
v5
  = case T__'91''8801''93'β__4 -> T__'91''8801''93'β__4
forall a b. a -> b
coe T__'91''8801''93'β__4
v5 of
      T__'91''8801''93'β__4
C_nil'91''8801''93'β_50 -> T__'91''8801''93'β__4 -> T__'91''8801''93'β__4
forall a b. a -> b
coe T__'91''8801''93'β__4
C_nil'91''8801''93'β_50
      C_cons'91''8801''93'β_60 T__'8801'β__10
v11 T__'91''8801''93'β__4
v12
        -> case [T__'8866''8902'__20] -> [Any]
forall a b. a -> b
coe [T__'8866''8902'__20]
v2 of
             (:) Any
v13 [Any]
v14
               -> case [T__'8866''8902'__20] -> [Any]
forall a b. a -> b
coe [T__'8866''8902'__20]
v3 of
                    (:) Any
v15 [Any]
v16
                      -> (T__'8801'β__10 -> T__'91''8801''93'β__4 -> T__'91''8801''93'β__4)
-> T__'8801'β__10 -> T__'91''8801''93'β__4 -> T__'91''8801''93'β__4
forall a b. a -> b
coe
                           T__'8801'β__10 -> T__'91''8801''93'β__4 -> T__'91''8801''93'β__4
C_cons'91''8801''93'β_60
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'8801'β__10
-> T__'8801'β__10
d_ren'8801'β_80
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478) (Any -> T__'8866''8902'__20
forall a b. a -> b
coe Any
v13)
                              (Any -> T__'8866''8902'__20
forall a b. a -> b
coe Any
v15) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v4) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v11))
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> [T__'8866''8902'__20]
-> [T__'8866''8902'__20]
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'91''8801''93'β__4
-> T__'91''8801''93'β__4
d_ren'8801'β'45'List_88
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) ([Any] -> [T__'8866''8902'__20]
forall a b. a -> b
coe [Any]
v14) ([Any] -> [T__'8866''8902'__20]
forall a b. a -> b
coe [Any]
v16) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v4) (T__'91''8801''93'β__4 -> T__'91''8801''93'β__4
forall a b. a -> b
coe T__'91''8801''93'β__4
v12))
                    [Any]
_ -> T__'91''8801''93'β__4
forall a. a
MAlonzo.RTE.mazUnreachableError
             [Any]
_ -> T__'91''8801''93'β__4
forall a. a
MAlonzo.RTE.mazUnreachableError
      T__'91''8801''93'β__4
_ -> T__'91''8801''93'β__4
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Type.Equality.ren≡β-VecList
d_ren'8801'β'45'VecList_98 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  Integer ->
  MAlonzo.Code.Data.Vec.Base.T_Vec_24 ->
  MAlonzo.Code.Data.Vec.Base.T_Vec_24 ->
  (MAlonzo.Code.Utils.T_Kind_476 ->
   MAlonzo.Code.Type.T__'8715''8902'__14 ->
   MAlonzo.Code.Type.T__'8715''8902'__14) ->
  T__'10216''91''8801''93''10217'β__8 ->
  T__'10216''91''8801''93''10217'β__8
d_ren'8801'β'45'VecList_98 :: T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> Integer
-> T_Vec_24
-> T_Vec_24
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'10216''91''8801''93''10217'β__8
-> T__'10216''91''8801''93''10217'β__8
d_ren'8801'β'45'VecList_98 T_Ctx'8902'_2
v0 T_Ctx'8902'_2
v1 ~Integer
v2 T_Vec_24
v3 T_Vec_24
v4 T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5 T__'10216''91''8801''93''10217'β__8
v6
  = T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Vec_24
-> T_Vec_24
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'10216''91''8801''93''10217'β__8
-> T__'10216''91''8801''93''10217'β__8
du_ren'8801'β'45'VecList_98 T_Ctx'8902'_2
v0 T_Ctx'8902'_2
v1 T_Vec_24
v3 T_Vec_24
v4 T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v5 T__'10216''91''8801''93''10217'β__8
v6
du_ren'8801'β'45'VecList_98 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Data.Vec.Base.T_Vec_24 ->
  MAlonzo.Code.Data.Vec.Base.T_Vec_24 ->
  (MAlonzo.Code.Utils.T_Kind_476 ->
   MAlonzo.Code.Type.T__'8715''8902'__14 ->
   MAlonzo.Code.Type.T__'8715''8902'__14) ->
  T__'10216''91''8801''93''10217'β__8 ->
  T__'10216''91''8801''93''10217'β__8
du_ren'8801'β'45'VecList_98 :: T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Vec_24
-> T_Vec_24
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'10216''91''8801''93''10217'β__8
-> T__'10216''91''8801''93''10217'β__8
du_ren'8801'β'45'VecList_98 T_Ctx'8902'_2
v0 T_Ctx'8902'_2
v1 T_Vec_24
v2 T_Vec_24
v3 T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v4 T__'10216''91''8801''93''10217'β__8
v5
  = case T__'10216''91''8801''93''10217'β__8
-> T__'10216''91''8801''93''10217'β__8
forall a b. a -> b
coe T__'10216''91''8801''93''10217'β__8
v5 of
      T__'10216''91''8801''93''10217'β__8
C_nil'10216''91''8801''93''10217'β_62
        -> T__'10216''91''8801''93''10217'β__8
-> T__'10216''91''8801''93''10217'β__8
forall a b. a -> b
coe T__'10216''91''8801''93''10217'β__8
C_nil'10216''91''8801''93''10217'β_62
      C_cons'10216''91''8801''93''10217'β_74 T__'91''8801''93'β__4
v12 T__'10216''91''8801''93''10217'β__8
v13
        -> case T_Vec_24 -> T_Vec_24
forall a b. a -> b
coe T_Vec_24
v2 of
             MAlonzo.Code.Data.Vec.Base.C__'8759'__36 Any
v15 T_Vec_24
v16
               -> case T_Vec_24 -> T_Vec_24
forall a b. a -> b
coe T_Vec_24
v3 of
                    MAlonzo.Code.Data.Vec.Base.C__'8759'__36 Any
v18 T_Vec_24
v19
                      -> (T__'91''8801''93'β__4
 -> T__'10216''91''8801''93''10217'β__8
 -> T__'10216''91''8801''93''10217'β__8)
-> T__'91''8801''93'β__4
-> Any
-> T__'10216''91''8801''93''10217'β__8
forall a b. a -> b
coe
                           T__'91''8801''93'β__4
-> T__'10216''91''8801''93''10217'β__8
-> T__'10216''91''8801''93''10217'β__8
C_cons'10216''91''8801''93''10217'β_74
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> [T__'8866''8902'__20]
-> [T__'8866''8902'__20]
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'91''8801''93'β__4
-> T__'91''8801''93'β__4
d_ren'8801'β'45'List_88
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (Any -> [T__'8866''8902'__20]
forall a b. a -> b
coe Any
v15) (Any -> [T__'8866''8902'__20]
forall a b. a -> b
coe Any
v18) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v4) (T__'91''8801''93'β__4 -> T__'91''8801''93'β__4
forall a b. a -> b
coe T__'91''8801''93'β__4
v12))
                           ((T_Ctx'8902'_2
 -> T_Ctx'8902'_2
 -> T_Vec_24
 -> T_Vec_24
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
 -> T__'10216''91''8801''93''10217'β__8
 -> T__'10216''91''8801''93''10217'β__8)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Vec_24
-> T_Vec_24
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14)
-> T__'10216''91''8801''93''10217'β__8
-> T__'10216''91''8801''93''10217'β__8
du_ren'8801'β'45'VecList_98 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Vec_24 -> Any
forall a b. a -> b
coe T_Vec_24
v16) (T_Vec_24 -> Any
forall a b. a -> b
coe T_Vec_24
v19)
                              ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14) -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8715''8902'__14
v4) (T__'10216''91''8801''93''10217'β__8 -> Any
forall a b. a -> b
coe T__'10216''91''8801''93''10217'β__8
v13))
                    T_Vec_24
_ -> T__'10216''91''8801''93''10217'β__8
forall a. a
MAlonzo.RTE.mazUnreachableError
             T_Vec_24
_ -> T__'10216''91''8801''93''10217'β__8
forall a. a
MAlonzo.RTE.mazUnreachableError
      T__'10216''91''8801''93''10217'β__8
_ -> T__'10216''91''8801''93''10217'β__8
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Type.Equality.sub≡β
d_sub'8801'β_172 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Utils.T_Kind_476 ->
  MAlonzo.Code.Type.T__'8866''8902'__20 ->
  MAlonzo.Code.Type.T__'8866''8902'__20 ->
  (MAlonzo.Code.Utils.T_Kind_476 ->
   MAlonzo.Code.Type.T__'8715''8902'__14 ->
   MAlonzo.Code.Type.T__'8866''8902'__20) ->
  T__'8801'β__10 -> T__'8801'β__10
d_sub'8801'β_172 :: T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'8801'β__10
-> T__'8801'β__10
d_sub'8801'β_172 T_Ctx'8902'_2
v0 T_Ctx'8902'_2
v1 T_Kind_476
v2 T__'8866''8902'__20
v3 T__'8866''8902'__20
v4 T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5 T__'8801'β__10
v6
  = case T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v6 of
      T__'8801'β__10
C_refl'8801'β_14 -> T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
C_refl'8801'β_14
      C_sym'8801'β_16 T__'8801'β__10
v11
        -> (T__'8801'β__10 -> T__'8801'β__10)
-> T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe
             T__'8801'β__10 -> T__'8801'β__10
C_sym'8801'β_16
             (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'8801'β__10
-> T__'8801'β__10
d_sub'8801'β_172
                (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v2) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v11))
      C_trans'8801'β_18 T__'8866''8902'__20
v10 T__'8801'β__10
v12 T__'8801'β__10
v13
        -> (T__'8866''8902'__20
 -> T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10)
-> T__'8866''8902'__20
-> T__'8801'β__10
-> T__'8801'β__10
-> T__'8801'β__10
forall a b. a -> b
coe
             T__'8866''8902'__20
-> T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10
C_trans'8801'β_18
             (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.RenamingSubstitution.d_sub_346
                (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v2) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v10))
             (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'8801'β__10
-> T__'8801'β__10
d_sub'8801'β_172
                (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v2) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v10) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v12))
             (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'8801'β__10
-> T__'8801'β__10
d_sub'8801'β_172
                (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v2) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v10) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v13))
      C_'8658''8801'β_20 T__'8801'β__10
v12 T__'8801'β__10
v13
        -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3 of
             MAlonzo.Code.Type.C__'8658'__26 T__'8866''8902'__20
v15 T__'8866''8902'__20
v16
               -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4 of
                    MAlonzo.Code.Type.C__'8658'__26 T__'8866''8902'__20
v18 T__'8866''8902'__20
v19
                      -> (T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10)
-> T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe
                           T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10
C_'8658''8801'β_20
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'8801'β__10
-> T__'8801'β__10
d_sub'8801'β_172
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v15)
                              (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v18) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v12))
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'8801'β__10
-> T__'8801'β__10
d_sub'8801'β_172
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v16)
                              (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v19) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v13))
                    T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
      C_Π'8801'β_22 T__'8801'β__10
v11
        -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3 of
             MAlonzo.Code.Type.C_Π_24 T_Kind_476
v13 T__'8866''8902'__20
v14
               -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4 of
                    MAlonzo.Code.Type.C_Π_24 T_Kind_476
v16 T__'8866''8902'__20
v17
                      -> (T__'8801'β__10 -> T__'8801'β__10)
-> T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe
                           T__'8801'β__10 -> T__'8801'β__10
C_Π'8801'β_22
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'8801'β__10
-> T__'8801'β__10
d_sub'8801'β_172
                              ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2)
-> Any -> Any -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                              ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2)
-> Any -> Any -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                              (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v14) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v17)
                              ((T_Ctx'8902'_2
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
 -> T_Kind_476
 -> T_Kind_476
 -> T__'8715''8902'__14
 -> T__'8866''8902'__20)
-> Any
-> Any
-> Any
-> T_Kind_476
-> T__'8715''8902'__14
-> T__'8866''8902'__20
forall a b. a -> b
coe
                                 T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476
-> T_Kind_476
-> T__'8715''8902'__14
-> T__'8866''8902'__20
MAlonzo.Code.Type.RenamingSubstitution.du_exts_336 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1)
                                 ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                              (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v11))
                    T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
      C_ƛ'8801'β_24 T__'8801'β__10
v12
        -> case T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v2 of
             MAlonzo.Code.Utils.C__'8658'__482 T_Kind_476
v13 T_Kind_476
v14
               -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3 of
                    MAlonzo.Code.Type.C_ƛ_28 T__'8866''8902'__20
v18
                      -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4 of
                           MAlonzo.Code.Type.C_ƛ_28 T__'8866''8902'__20
v22
                             -> (T__'8801'β__10 -> T__'8801'β__10)
-> T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe
                                  T__'8801'β__10 -> T__'8801'β__10
C_ƛ'8801'β_24
                                  (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'8801'β__10
-> T__'8801'β__10
d_sub'8801'β_172
                                     ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2)
-> Any -> Any -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                                     ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2)
-> Any -> Any -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                                     (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v14) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v18) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v22)
                                     ((T_Ctx'8902'_2
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
 -> T_Kind_476
 -> T_Kind_476
 -> T__'8715''8902'__14
 -> T__'8866''8902'__20)
-> Any
-> Any
-> Any
-> T_Kind_476
-> T__'8715''8902'__14
-> T__'8866''8902'__20
forall a b. a -> b
coe
                                        T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476
-> T_Kind_476
-> T__'8715''8902'__14
-> T__'8866''8902'__20
MAlonzo.Code.Type.RenamingSubstitution.du_exts_336 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1)
                                        ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                                     (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v12))
                           T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
                    T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
             T_Kind_476
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
      C_'183''8801'β_26 T__'8801'β__10
v14 T__'8801'β__10
v15
        -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3 of
             MAlonzo.Code.Type.C__'183'__30 T_Kind_476
v17 T__'8866''8902'__20
v19 T__'8866''8902'__20
v20
               -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4 of
                    MAlonzo.Code.Type.C__'183'__30 T_Kind_476
v22 T__'8866''8902'__20
v24 T__'8866''8902'__20
v25
                      -> (T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10)
-> T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe
                           T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10
C_'183''8801'β_26
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'8801'β__10
-> T__'8801'β__10
d_sub'8801'β_172
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1)
                              ((T_Kind_476 -> T_Kind_476 -> T_Kind_476)
-> Any -> Any -> T_Kind_476
forall a b. a -> b
coe T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v17) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v2))
                              (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v19) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v24) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v14))
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'8801'β__10
-> T__'8801'β__10
d_sub'8801'β_172
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v17) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v20) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v25) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v15))
                    T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
      C_μ'8801'β_28 T__'8801'β__10
v13 T__'8801'β__10
v14
        -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3 of
             MAlonzo.Code.Type.C_μ_32 T_Kind_476
v16 T__'8866''8902'__20
v17 T__'8866''8902'__20
v18
               -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4 of
                    MAlonzo.Code.Type.C_μ_32 T_Kind_476
v20 T__'8866''8902'__20
v21 T__'8866''8902'__20
v22
                      -> (T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10)
-> T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe
                           T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10
C_μ'8801'β_28
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'8801'β__10
-> T__'8801'β__10
d_sub'8801'β_172
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1)
                              ((T_Kind_476 -> T_Kind_476 -> T_Kind_476)
-> Any -> Any -> T_Kind_476
forall a b. a -> b
coe
                                 T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482
                                 ((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
                                    T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v16)
                                    (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478))
                                 ((T_Kind_476 -> T_Kind_476 -> T_Kind_476) -> Any -> Any -> Any
forall a b. a -> b
coe
                                    T_Kind_476 -> T_Kind_476 -> T_Kind_476
MAlonzo.Code.Utils.C__'8658'__482 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v16)
                                    (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478)))
                              (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v17) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v21) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v13))
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'8801'β__10
-> T__'8801'β__10
d_sub'8801'β_172
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v16) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v18) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v22) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v14))
                    T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
      C_con'8801'β_34 T__'8801'β__10
v10
        -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3 of
             MAlonzo.Code.Type.C_con_36 T__'8866''8902'__20
v12
               -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4 of
                    MAlonzo.Code.Type.C_con_36 T__'8866''8902'__20
v14
                      -> (T__'8801'β__10 -> T__'8801'β__10)
-> T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe
                           T__'8801'β__10 -> T__'8801'β__10
C_con'8801'β_34
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'8801'β__10
-> T__'8801'β__10
d_sub'8801'β_172
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'9839'_480) (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v12)
                              (T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v14) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v10))
                    T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
      C_SOP'8801'β_42 T__'10216''91''8801''93''10217'β__8
v11
        -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3 of
             MAlonzo.Code.Type.C_SOP_40 Integer
v13 T_Vec_24
v14
               -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v4 of
                    MAlonzo.Code.Type.C_SOP_40 Integer
v16 T_Vec_24
v17
                      -> (T__'10216''91''8801''93''10217'β__8 -> T__'8801'β__10)
-> Any -> T__'8801'β__10
forall a b. a -> b
coe
                           T__'10216''91''8801''93''10217'β__8 -> T__'8801'β__10
C_SOP'8801'β_42
                           ((T_Ctx'8902'_2
 -> T_Ctx'8902'_2
 -> T_Vec_24
 -> T_Vec_24
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
 -> T__'10216''91''8801''93''10217'β__8
 -> T__'10216''91''8801''93''10217'β__8)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Vec_24
-> T_Vec_24
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'10216''91''8801''93''10217'β__8
-> T__'10216''91''8801''93''10217'β__8
du_sub'8801'β'45'VecList_190 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Vec_24 -> Any
forall a b. a -> b
coe T_Vec_24
v14) (T_Vec_24 -> Any
forall a b. a -> b
coe T_Vec_24
v17)
                              ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5) (T__'10216''91''8801''93''10217'β__8 -> Any
forall a b. a -> b
coe T__'10216''91''8801''93''10217'β__8
v11))
                    T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
      T__'8801'β__10
C_β'8801'β_48
        -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v3 of
             MAlonzo.Code.Type.C__'183'__30 T_Kind_476
v13 T__'8866''8902'__20
v15 T__'8866''8902'__20
v16
               -> case T__'8866''8902'__20 -> T__'8866''8902'__20
forall a b. a -> b
coe T__'8866''8902'__20
v15 of
                    MAlonzo.Code.Type.C_ƛ_28 T__'8866''8902'__20
v20
                      -> (T__'8866''8902'__20
 -> T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10)
-> T__'8866''8902'__20 -> Any -> Any -> T__'8801'β__10
forall a b. a -> b
coe
                           T__'8866''8902'__20
-> T__'8801'β__10 -> T__'8801'β__10 -> T__'8801'β__10
C_trans'8801'β_18
                           (T_Ctx'8902'_2
-> T_Kind_476
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.RenamingSubstitution.d__'91'_'93'_432
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v13) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
v2)
                              ((T_Ctx'8902'_2
 -> T_Ctx'8902'_2
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
 -> T_Kind_476
 -> T__'8866''8902'__20
 -> T__'8866''8902'__20)
-> Any -> Any -> Any -> Any -> Any -> T__'8866''8902'__20
forall a b. a -> b
coe
                                 T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.RenamingSubstitution.d_sub_346
                                 ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2) -> Any -> Any -> Any
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                                 ((T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2) -> Any -> Any -> Any
forall a b. a -> b
coe T_Ctx'8902'_2 -> T_Kind_476 -> T_Ctx'8902'_2
MAlonzo.Code.Type.C__'44''8902'__6 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                                 ((T_Ctx'8902'_2
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
 -> T_Kind_476
 -> T_Kind_476
 -> T__'8715''8902'__14
 -> T__'8866''8902'__20)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                                    T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476
-> T_Kind_476
-> T__'8715''8902'__14
-> T__'8866''8902'__20
MAlonzo.Code.Type.RenamingSubstitution.du_exts_336 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1)
                                    ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13))
                                 (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v2) (T__'8866''8902'__20 -> Any
forall a b. a -> b
coe T__'8866''8902'__20
v20))
                              ((T_Ctx'8902'_2
 -> T_Ctx'8902'_2
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
 -> T_Kind_476
 -> T__'8866''8902'__20
 -> T__'8866''8902'__20)
-> Any -> Any -> Any -> Any -> Any -> T__'8866''8902'__20
forall a b. a -> b
coe
                                 T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
MAlonzo.Code.Type.RenamingSubstitution.d_sub_346 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1)
                                 ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5) (T_Kind_476 -> Any
forall a b. a -> b
coe T_Kind_476
v13) (T__'8866''8902'__20 -> Any
forall a b. a -> b
coe T__'8866''8902'__20
v16)))
                           (T__'8801'β__10 -> Any
forall a b. a -> b
coe T__'8801'β__10
C_β'8801'β_48) (T__'8801'β__10 -> Any
forall a b. a -> b
coe T__'8801'β__10
du_'8801'2β_76)
                    T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
             T__'8866''8902'__20
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
      T__'8801'β__10
_ -> T__'8801'β__10
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Type.Equality.sub≡β-List
d_sub'8801'β'45'List_180 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  [MAlonzo.Code.Type.T__'8866''8902'__20] ->
  [MAlonzo.Code.Type.T__'8866''8902'__20] ->
  (MAlonzo.Code.Utils.T_Kind_476 ->
   MAlonzo.Code.Type.T__'8715''8902'__14 ->
   MAlonzo.Code.Type.T__'8866''8902'__20) ->
  T__'91''8801''93'β__4 -> T__'91''8801''93'β__4
d_sub'8801'β'45'List_180 :: T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> [T__'8866''8902'__20]
-> [T__'8866''8902'__20]
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'91''8801''93'β__4
-> T__'91''8801''93'β__4
d_sub'8801'β'45'List_180 T_Ctx'8902'_2
v0 T_Ctx'8902'_2
v1 [T__'8866''8902'__20]
v2 [T__'8866''8902'__20]
v3 T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v4 T__'91''8801''93'β__4
v5
  = case T__'91''8801''93'β__4 -> T__'91''8801''93'β__4
forall a b. a -> b
coe T__'91''8801''93'β__4
v5 of
      T__'91''8801''93'β__4
C_nil'91''8801''93'β_50 -> T__'91''8801''93'β__4 -> T__'91''8801''93'β__4
forall a b. a -> b
coe T__'91''8801''93'β__4
C_nil'91''8801''93'β_50
      C_cons'91''8801''93'β_60 T__'8801'β__10
v11 T__'91''8801''93'β__4
v12
        -> case [T__'8866''8902'__20] -> [Any]
forall a b. a -> b
coe [T__'8866''8902'__20]
v2 of
             (:) Any
v13 [Any]
v14
               -> case [T__'8866''8902'__20] -> [Any]
forall a b. a -> b
coe [T__'8866''8902'__20]
v3 of
                    (:) Any
v15 [Any]
v16
                      -> (T__'8801'β__10 -> T__'91''8801''93'β__4 -> T__'91''8801''93'β__4)
-> T__'8801'β__10 -> T__'91''8801''93'β__4 -> T__'91''8801''93'β__4
forall a b. a -> b
coe
                           T__'8801'β__10 -> T__'91''8801''93'β__4 -> T__'91''8801''93'β__4
C_cons'91''8801''93'β_60
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Kind_476
-> T__'8866''8902'__20
-> T__'8866''8902'__20
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'8801'β__10
-> T__'8801'β__10
d_sub'8801'β_172
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Kind_476 -> T_Kind_476
forall a b. a -> b
coe T_Kind_476
MAlonzo.Code.Utils.C_'42'_478) (Any -> T__'8866''8902'__20
forall a b. a -> b
coe Any
v13)
                              (Any -> T__'8866''8902'__20
forall a b. a -> b
coe Any
v15) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v4) (T__'8801'β__10 -> T__'8801'β__10
forall a b. a -> b
coe T__'8801'β__10
v11))
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> [T__'8866''8902'__20]
-> [T__'8866''8902'__20]
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'91''8801''93'β__4
-> T__'91''8801''93'β__4
d_sub'8801'β'45'List_180
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) ([Any] -> [T__'8866''8902'__20]
forall a b. a -> b
coe [Any]
v14) ([Any] -> [T__'8866''8902'__20]
forall a b. a -> b
coe [Any]
v16) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v4) (T__'91''8801''93'β__4 -> T__'91''8801''93'β__4
forall a b. a -> b
coe T__'91''8801''93'β__4
v12))
                    [Any]
_ -> T__'91''8801''93'β__4
forall a. a
MAlonzo.RTE.mazUnreachableError
             [Any]
_ -> T__'91''8801''93'β__4
forall a. a
MAlonzo.RTE.mazUnreachableError
      T__'91''8801''93'β__4
_ -> T__'91''8801''93'β__4
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Type.Equality.sub≡β-VecList
d_sub'8801'β'45'VecList_190 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  Integer ->
  MAlonzo.Code.Data.Vec.Base.T_Vec_24 ->
  MAlonzo.Code.Data.Vec.Base.T_Vec_24 ->
  (MAlonzo.Code.Utils.T_Kind_476 ->
   MAlonzo.Code.Type.T__'8715''8902'__14 ->
   MAlonzo.Code.Type.T__'8866''8902'__20) ->
  T__'10216''91''8801''93''10217'β__8 ->
  T__'10216''91''8801''93''10217'β__8
d_sub'8801'β'45'VecList_190 :: T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> Integer
-> T_Vec_24
-> T_Vec_24
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'10216''91''8801''93''10217'β__8
-> T__'10216''91''8801''93''10217'β__8
d_sub'8801'β'45'VecList_190 T_Ctx'8902'_2
v0 T_Ctx'8902'_2
v1 ~Integer
v2 T_Vec_24
v3 T_Vec_24
v4 T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5 T__'10216''91''8801''93''10217'β__8
v6
  = T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Vec_24
-> T_Vec_24
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'10216''91''8801''93''10217'β__8
-> T__'10216''91''8801''93''10217'β__8
du_sub'8801'β'45'VecList_190 T_Ctx'8902'_2
v0 T_Ctx'8902'_2
v1 T_Vec_24
v3 T_Vec_24
v4 T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v5 T__'10216''91''8801''93''10217'β__8
v6
du_sub'8801'β'45'VecList_190 ::
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Type.T_Ctx'8902'_2 ->
  MAlonzo.Code.Data.Vec.Base.T_Vec_24 ->
  MAlonzo.Code.Data.Vec.Base.T_Vec_24 ->
  (MAlonzo.Code.Utils.T_Kind_476 ->
   MAlonzo.Code.Type.T__'8715''8902'__14 ->
   MAlonzo.Code.Type.T__'8866''8902'__20) ->
  T__'10216''91''8801''93''10217'β__8 ->
  T__'10216''91''8801''93''10217'β__8
du_sub'8801'β'45'VecList_190 :: T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Vec_24
-> T_Vec_24
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'10216''91''8801''93''10217'β__8
-> T__'10216''91''8801''93''10217'β__8
du_sub'8801'β'45'VecList_190 T_Ctx'8902'_2
v0 T_Ctx'8902'_2
v1 T_Vec_24
v2 T_Vec_24
v3 T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v4 T__'10216''91''8801''93''10217'β__8
v5
  = case T__'10216''91''8801''93''10217'β__8
-> T__'10216''91''8801''93''10217'β__8
forall a b. a -> b
coe T__'10216''91''8801''93''10217'β__8
v5 of
      T__'10216''91''8801''93''10217'β__8
C_nil'10216''91''8801''93''10217'β_62
        -> T__'10216''91''8801''93''10217'β__8
-> T__'10216''91''8801''93''10217'β__8
forall a b. a -> b
coe T__'10216''91''8801''93''10217'β__8
C_nil'10216''91''8801''93''10217'β_62
      C_cons'10216''91''8801''93''10217'β_74 T__'91''8801''93'β__4
v12 T__'10216''91''8801''93''10217'β__8
v13
        -> case T_Vec_24 -> T_Vec_24
forall a b. a -> b
coe T_Vec_24
v2 of
             MAlonzo.Code.Data.Vec.Base.C__'8759'__36 Any
v15 T_Vec_24
v16
               -> case T_Vec_24 -> T_Vec_24
forall a b. a -> b
coe T_Vec_24
v3 of
                    MAlonzo.Code.Data.Vec.Base.C__'8759'__36 Any
v18 T_Vec_24
v19
                      -> (T__'91''8801''93'β__4
 -> T__'10216''91''8801''93''10217'β__8
 -> T__'10216''91''8801''93''10217'β__8)
-> T__'91''8801''93'β__4
-> Any
-> T__'10216''91''8801''93''10217'β__8
forall a b. a -> b
coe
                           T__'91''8801''93'β__4
-> T__'10216''91''8801''93''10217'β__8
-> T__'10216''91''8801''93''10217'β__8
C_cons'10216''91''8801''93''10217'β_74
                           (T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> [T__'8866''8902'__20]
-> [T__'8866''8902'__20]
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'91''8801''93'β__4
-> T__'91''8801''93'β__4
d_sub'8801'β'45'List_180
                              (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> T_Ctx'8902'_2
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (Any -> [T__'8866''8902'__20]
forall a b. a -> b
coe Any
v15) (Any -> [T__'8866''8902'__20]
forall a b. a -> b
coe Any
v18) ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v4) (T__'91''8801''93'β__4 -> T__'91''8801''93'β__4
forall a b. a -> b
coe T__'91''8801''93'β__4
v12))
                           ((T_Ctx'8902'_2
 -> T_Ctx'8902'_2
 -> T_Vec_24
 -> T_Vec_24
 -> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
 -> T__'10216''91''8801''93''10217'β__8
 -> T__'10216''91''8801''93''10217'β__8)
-> Any -> Any -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                              T_Ctx'8902'_2
-> T_Ctx'8902'_2
-> T_Vec_24
-> T_Vec_24
-> (T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20)
-> T__'10216''91''8801''93''10217'β__8
-> T__'10216''91''8801''93''10217'β__8
du_sub'8801'β'45'VecList_190 (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v0) (T_Ctx'8902'_2 -> Any
forall a b. a -> b
coe T_Ctx'8902'_2
v1) (T_Vec_24 -> Any
forall a b. a -> b
coe T_Vec_24
v16) (T_Vec_24 -> Any
forall a b. a -> b
coe T_Vec_24
v19)
                              ((T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20) -> Any
forall a b. a -> b
coe T_Kind_476 -> T__'8715''8902'__14 -> T__'8866''8902'__20
v4) (T__'10216''91''8801''93''10217'β__8 -> Any
forall a b. a -> b
coe T__'10216''91''8801''93''10217'β__8
v13))
                    T_Vec_24
_ -> T__'10216''91''8801''93''10217'β__8
forall a. a
MAlonzo.RTE.mazUnreachableError
             T_Vec_24
_ -> T__'10216''91''8801''93''10217'β__8
forall a. a
MAlonzo.RTE.mazUnreachableError
      T__'10216''91''8801''93''10217'β__8
_ -> T__'10216''91''8801''93''10217'β__8
forall a. a
MAlonzo.RTE.mazUnreachableError