{-# 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.Data.These.Base 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.Primitive
import qualified MAlonzo.Code.Data.Sum.Base

-- Data.These.Base.These
d_These_38 :: p -> p -> p -> p -> ()
d_These_38 p
a0 p
a1 p
a2 p
a3 = ()
data T_These_38
  = C_this_48 AgdaAny | C_that_50 AgdaAny |
    C_these_52 AgdaAny AgdaAny
-- Data.These.Base.fromSum
d_fromSum_54 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> T_These_38
d_fromSum_54 :: () -> () -> () -> () -> T__'8846'__30 -> T_These_38
d_fromSum_54 ~()
v0 ~()
v1 ~()
v2 ~()
v3 = T__'8846'__30 -> T_These_38
du_fromSum_54
du_fromSum_54 ::
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> T_These_38
du_fromSum_54 :: T__'8846'__30 -> T_These_38
du_fromSum_54
  = ((Any -> Any) -> (Any -> Any) -> T__'8846'__30 -> Any)
-> Any -> Any -> T__'8846'__30 -> T_These_38
forall a b. a -> b
coe
      (Any -> Any) -> (Any -> Any) -> T__'8846'__30 -> Any
MAlonzo.Code.Data.Sum.Base.du_'91'_'44'_'93''8242'_66
      ((Any -> T_These_38) -> Any
forall a b. a -> b
coe Any -> T_These_38
C_this_48) ((Any -> T_These_38) -> Any
forall a b. a -> b
coe Any -> T_These_38
C_that_50)
-- Data.These.Base.map
d_map_60 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny) ->
  (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38
d_map_60 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> (Any -> Any)
-> (Any -> Any)
-> T_These_38
-> T_These_38
d_map_60 ~()
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 ~()
v5 ~()
v6 ~()
v7 Any -> Any
v8 Any -> Any
v9 T_These_38
v10
  = (Any -> Any) -> (Any -> Any) -> T_These_38 -> T_These_38
du_map_60 Any -> Any
v8 Any -> Any
v9 T_These_38
v10
du_map_60 ::
  (AgdaAny -> AgdaAny) ->
  (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38
du_map_60 :: (Any -> Any) -> (Any -> Any) -> T_These_38 -> T_These_38
du_map_60 Any -> Any
v0 Any -> Any
v1 T_These_38
v2
  = case T_These_38 -> T_These_38
forall a b. a -> b
coe T_These_38
v2 of
      C_this_48 Any
v3 -> (Any -> T_These_38) -> Any -> T_These_38
forall a b. a -> b
coe Any -> T_These_38
C_this_48 ((Any -> Any) -> Any -> Any
forall a b. a -> b
coe Any -> Any
v0 Any
v3)
      C_that_50 Any
v3 -> (Any -> T_These_38) -> Any -> T_These_38
forall a b. a -> b
coe Any -> T_These_38
C_that_50 ((Any -> Any) -> Any -> Any
forall a b. a -> b
coe Any -> Any
v1 Any
v3)
      C_these_52 Any
v3 Any
v4 -> (Any -> Any -> T_These_38) -> Any -> Any -> T_These_38
forall a b. a -> b
coe Any -> Any -> T_These_38
C_these_52 ((Any -> Any) -> Any -> Any
forall a b. a -> b
coe Any -> Any
v0 Any
v3) ((Any -> Any) -> Any -> Any
forall a b. a -> b
coe Any -> Any
v1 Any
v4)
      T_These_38
_ -> T_These_38
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.These.Base.map₁
d_map'8321'_84 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38
d_map'8321'_84 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> (Any -> Any)
-> T_These_38
-> T_These_38
d_map'8321'_84 ~()
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 ~()
v5 Any -> Any
v6 = (Any -> Any) -> T_These_38 -> T_These_38
du_map'8321'_84 Any -> Any
v6
du_map'8321'_84 :: (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38
du_map'8321'_84 :: (Any -> Any) -> T_These_38 -> T_These_38
du_map'8321'_84 Any -> Any
v0 = ((Any -> Any) -> (Any -> Any) -> T_These_38 -> T_These_38)
-> Any -> Any -> T_These_38 -> T_These_38
forall a b. a -> b
coe (Any -> Any) -> (Any -> Any) -> T_These_38 -> T_These_38
du_map_60 ((Any -> Any) -> Any
forall a b. a -> b
coe Any -> Any
v0) ((Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v1 -> Any
v1))
-- Data.These.Base.map₂
d_map'8322'_90 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38
d_map'8322'_90 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> (Any -> Any)
-> T_These_38
-> T_These_38
d_map'8322'_90 ~()
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 ~()
v5 = (Any -> Any) -> T_These_38 -> T_These_38
du_map'8322'_90
du_map'8322'_90 :: (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38
du_map'8322'_90 :: (Any -> Any) -> T_These_38 -> T_These_38
du_map'8322'_90 = ((Any -> Any) -> (Any -> Any) -> T_These_38 -> T_These_38)
-> Any -> (Any -> Any) -> T_These_38 -> T_These_38
forall a b. a -> b
coe (Any -> Any) -> (Any -> Any) -> T_These_38 -> T_These_38
du_map_60 ((Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v0 -> Any
v0))
-- Data.These.Base.fold
d_fold_92 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny) ->
  (AgdaAny -> AgdaAny) ->
  (AgdaAny -> AgdaAny -> AgdaAny) -> T_These_38 -> AgdaAny
d_fold_92 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> (Any -> Any)
-> (Any -> Any)
-> (Any -> Any -> Any)
-> T_These_38
-> Any
d_fold_92 ~()
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 ~()
v5 Any -> Any
v6 Any -> Any
v7 Any -> Any -> Any
v8 T_These_38
v9
  = (Any -> Any)
-> (Any -> Any) -> (Any -> Any -> Any) -> T_These_38 -> Any
du_fold_92 Any -> Any
v6 Any -> Any
v7 Any -> Any -> Any
v8 T_These_38
v9
du_fold_92 ::
  (AgdaAny -> AgdaAny) ->
  (AgdaAny -> AgdaAny) ->
  (AgdaAny -> AgdaAny -> AgdaAny) -> T_These_38 -> AgdaAny
du_fold_92 :: (Any -> Any)
-> (Any -> Any) -> (Any -> Any -> Any) -> T_These_38 -> Any
du_fold_92 Any -> Any
v0 Any -> Any
v1 Any -> Any -> Any
v2 T_These_38
v3
  = case T_These_38 -> T_These_38
forall a b. a -> b
coe T_These_38
v3 of
      C_this_48 Any
v4 -> (Any -> Any) -> Any -> Any
forall a b. a -> b
coe Any -> Any
v0 Any
v4
      C_that_50 Any
v4 -> (Any -> Any) -> Any -> Any
forall a b. a -> b
coe Any -> Any
v1 Any
v4
      C_these_52 Any
v4 Any
v5 -> (Any -> Any -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe Any -> Any -> Any
v2 Any
v4 Any
v5
      T_These_38
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.These.Base.foldWithDefaults
d_foldWithDefaults_120 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  AgdaAny ->
  AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_These_38 -> AgdaAny
d_foldWithDefaults_120 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> Any
-> Any
-> (Any -> Any -> Any)
-> T_These_38
-> Any
d_foldWithDefaults_120 ~()
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 ~()
v5 Any
v6 Any
v7 Any -> Any -> Any
v8
  = Any -> Any -> (Any -> Any -> Any) -> T_These_38 -> Any
du_foldWithDefaults_120 Any
v6 Any
v7 Any -> Any -> Any
v8
du_foldWithDefaults_120 ::
  AgdaAny ->
  AgdaAny -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_These_38 -> AgdaAny
du_foldWithDefaults_120 :: Any -> Any -> (Any -> Any -> Any) -> T_These_38 -> Any
du_foldWithDefaults_120 Any
v0 Any
v1 Any -> Any -> Any
v2
  = ((Any -> Any)
 -> (Any -> Any) -> (Any -> Any -> Any) -> T_These_38 -> Any)
-> Any -> Any -> Any -> T_These_38 -> Any
forall a b. a -> b
coe (Any -> Any)
-> (Any -> Any) -> (Any -> Any -> Any) -> T_These_38 -> Any
du_fold_92 ((Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v3 -> (Any -> Any -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe Any -> Any -> Any
v2 Any
v3 Any
v1)) ((Any -> Any -> Any) -> Any -> Any
forall a b. a -> b
coe Any -> Any -> Any
v2 Any
v0) ((Any -> Any -> Any) -> Any
forall a b. a -> b
coe Any -> Any -> Any
v2)
-- Data.These.Base.swap
d_swap_128 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_These_38 -> T_These_38
d_swap_128 :: () -> () -> () -> () -> T_These_38 -> T_These_38
d_swap_128 ~()
v0 ~()
v1 ~()
v2 ~()
v3 = T_These_38 -> T_These_38
du_swap_128
du_swap_128 :: T_These_38 -> T_These_38
du_swap_128 :: T_These_38 -> T_These_38
du_swap_128
  = ((Any -> Any)
 -> (Any -> Any) -> (Any -> Any -> Any) -> T_These_38 -> Any)
-> Any -> Any -> Any -> T_These_38 -> T_These_38
forall a b. a -> b
coe
      (Any -> Any)
-> (Any -> Any) -> (Any -> Any -> Any) -> T_These_38 -> Any
du_fold_92 ((Any -> T_These_38) -> Any
forall a b. a -> b
coe Any -> T_These_38
C_that_50) ((Any -> T_These_38) -> Any
forall a b. a -> b
coe Any -> T_These_38
C_this_48)
      ((Any -> Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v0 Any
v1 -> (Any -> Any -> T_These_38) -> Any -> Any -> Any
forall a b. a -> b
coe Any -> Any -> T_These_38
C_these_52 (Any -> Any
forall a b. a -> b
coe Any
v1) (Any -> Any
forall a b. a -> b
coe Any
v0)))
-- Data.These.Base.alignWith
d_alignWith_130 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (T_These_38 -> AgdaAny) ->
  (T_These_38 -> AgdaAny) -> T_These_38 -> T_These_38 -> T_These_38
d_alignWith_130 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> (T_These_38 -> Any)
-> (T_These_38 -> Any)
-> T_These_38
-> T_These_38
-> T_These_38
d_alignWith_130 ~()
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 ~()
v5 ~()
v6 ~()
v7 ~()
v8 ~()
v9 ~()
v10 ~()
v11
                T_These_38 -> Any
v12 T_These_38 -> Any
v13 T_These_38
v14 T_These_38
v15
  = (T_These_38 -> Any)
-> (T_These_38 -> Any) -> T_These_38 -> T_These_38 -> T_These_38
du_alignWith_130 T_These_38 -> Any
v12 T_These_38 -> Any
v13 T_These_38
v14 T_These_38
v15
du_alignWith_130 ::
  (T_These_38 -> AgdaAny) ->
  (T_These_38 -> AgdaAny) -> T_These_38 -> T_These_38 -> T_These_38
du_alignWith_130 :: (T_These_38 -> Any)
-> (T_These_38 -> Any) -> T_These_38 -> T_These_38 -> T_These_38
du_alignWith_130 T_These_38 -> Any
v0 T_These_38 -> Any
v1 T_These_38
v2 T_These_38
v3
  = case T_These_38 -> T_These_38
forall a b. a -> b
coe T_These_38
v2 of
      C_this_48 Any
v4
        -> case T_These_38 -> T_These_38
forall a b. a -> b
coe T_These_38
v3 of
             C_this_48 Any
v5
               -> (Any -> T_These_38) -> Any -> T_These_38
forall a b. a -> b
coe Any -> T_These_38
C_this_48 ((T_These_38 -> Any) -> Any -> Any
forall a b. a -> b
coe T_These_38 -> Any
v0 ((Any -> Any -> T_These_38) -> Any -> Any -> Any
forall a b. a -> b
coe Any -> Any -> T_These_38
C_these_52 (Any -> Any
forall a b. a -> b
coe Any
v4) (Any -> Any
forall a b. a -> b
coe Any
v5)))
             C_that_50 Any
v5 -> (Any -> Any -> T_These_38) -> Any -> Any -> T_These_38
forall a b. a -> b
coe Any -> Any -> T_These_38
C_these_52 ((T_These_38 -> Any) -> T_These_38 -> Any
forall a b. a -> b
coe T_These_38 -> Any
v0 T_These_38
v2) ((T_These_38 -> Any) -> T_These_38 -> Any
forall a b. a -> b
coe T_These_38 -> Any
v1 T_These_38
v3)
             C_these_52 Any
v5 Any
v6
               -> (Any -> Any -> T_These_38) -> Any -> Any -> T_These_38
forall a b. a -> b
coe
                    Any -> Any -> T_These_38
C_these_52 ((T_These_38 -> Any) -> Any -> Any
forall a b. a -> b
coe T_These_38 -> Any
v0 ((Any -> Any -> T_These_38) -> Any -> Any -> Any
forall a b. a -> b
coe Any -> Any -> T_These_38
C_these_52 (Any -> Any
forall a b. a -> b
coe Any
v4) (Any -> Any
forall a b. a -> b
coe Any
v5)))
                    ((T_These_38 -> Any) -> Any -> Any
forall a b. a -> b
coe T_These_38 -> Any
v1 ((Any -> T_These_38) -> Any -> Any
forall a b. a -> b
coe Any -> T_These_38
C_that_50 (Any -> Any
forall a b. a -> b
coe Any
v6)))
             T_These_38
_ -> T_These_38
forall a. a
MAlonzo.RTE.mazUnreachableError
      C_that_50 Any
v4
        -> case T_These_38 -> T_These_38
forall a b. a -> b
coe T_These_38
v3 of
             C_this_48 Any
v5
               -> (Any -> Any -> T_These_38) -> Any -> Any -> T_These_38
forall a b. a -> b
coe
                    Any -> Any -> T_These_38
C_these_52 ((T_These_38 -> Any) -> Any -> Any
forall a b. a -> b
coe T_These_38 -> Any
v0 ((Any -> T_These_38) -> Any -> Any
forall a b. a -> b
coe Any -> T_These_38
C_that_50 (Any -> Any
forall a b. a -> b
coe Any
v5)))
                    ((T_These_38 -> Any) -> Any -> Any
forall a b. a -> b
coe T_These_38 -> Any
v1 ((Any -> T_These_38) -> Any -> Any
forall a b. a -> b
coe Any -> T_These_38
C_this_48 (Any -> Any
forall a b. a -> b
coe Any
v4)))
             C_that_50 Any
v5
               -> (Any -> T_These_38) -> Any -> T_These_38
forall a b. a -> b
coe Any -> T_These_38
C_that_50 ((T_These_38 -> Any) -> Any -> Any
forall a b. a -> b
coe T_These_38 -> Any
v1 ((Any -> Any -> T_These_38) -> Any -> Any -> Any
forall a b. a -> b
coe Any -> Any -> T_These_38
C_these_52 (Any -> Any
forall a b. a -> b
coe Any
v4) (Any -> Any
forall a b. a -> b
coe Any
v5)))
             C_these_52 Any
v5 Any
v6
               -> (Any -> Any -> T_These_38) -> Any -> Any -> T_These_38
forall a b. a -> b
coe
                    Any -> Any -> T_These_38
C_these_52 ((T_These_38 -> Any) -> Any -> Any
forall a b. a -> b
coe T_These_38 -> Any
v0 ((Any -> T_These_38) -> Any -> Any
forall a b. a -> b
coe Any -> T_These_38
C_that_50 (Any -> Any
forall a b. a -> b
coe Any
v5)))
                    ((T_These_38 -> Any) -> Any -> Any
forall a b. a -> b
coe T_These_38 -> Any
v1 ((Any -> Any -> T_These_38) -> Any -> Any -> Any
forall a b. a -> b
coe Any -> Any -> T_These_38
C_these_52 (Any -> Any
forall a b. a -> b
coe Any
v4) (Any -> Any
forall a b. a -> b
coe Any
v6)))
             T_These_38
_ -> T_These_38
forall a. a
MAlonzo.RTE.mazUnreachableError
      C_these_52 Any
v4 Any
v5
        -> case T_These_38 -> T_These_38
forall a b. a -> b
coe T_These_38
v3 of
             C_this_48 Any
v6
               -> (Any -> Any -> T_These_38) -> Any -> Any -> T_These_38
forall a b. a -> b
coe
                    Any -> Any -> T_These_38
C_these_52 ((T_These_38 -> Any) -> Any -> Any
forall a b. a -> b
coe T_These_38 -> Any
v0 ((Any -> Any -> T_These_38) -> Any -> Any -> Any
forall a b. a -> b
coe Any -> Any -> T_These_38
C_these_52 (Any -> Any
forall a b. a -> b
coe Any
v4) (Any -> Any
forall a b. a -> b
coe Any
v6)))
                    ((T_These_38 -> Any) -> Any -> Any
forall a b. a -> b
coe T_These_38 -> Any
v1 ((Any -> T_These_38) -> Any -> Any
forall a b. a -> b
coe Any -> T_These_38
C_this_48 (Any -> Any
forall a b. a -> b
coe Any
v5)))
             C_that_50 Any
v6
               -> (Any -> Any -> T_These_38) -> Any -> Any -> T_These_38
forall a b. a -> b
coe
                    Any -> Any -> T_These_38
C_these_52 ((T_These_38 -> Any) -> Any -> Any
forall a b. a -> b
coe T_These_38 -> Any
v0 ((Any -> T_These_38) -> Any -> Any
forall a b. a -> b
coe Any -> T_These_38
C_this_48 (Any -> Any
forall a b. a -> b
coe Any
v4)))
                    ((T_These_38 -> Any) -> Any -> Any
forall a b. a -> b
coe T_These_38 -> Any
v1 ((Any -> Any -> T_These_38) -> Any -> Any -> Any
forall a b. a -> b
coe Any -> Any -> T_These_38
C_these_52 (Any -> Any
forall a b. a -> b
coe Any
v5) (Any -> Any
forall a b. a -> b
coe Any
v6)))
             C_these_52 Any
v6 Any
v7
               -> (Any -> Any -> T_These_38) -> Any -> Any -> T_These_38
forall a b. a -> b
coe
                    Any -> Any -> T_These_38
C_these_52 ((T_These_38 -> Any) -> Any -> Any
forall a b. a -> b
coe T_These_38 -> Any
v0 ((Any -> Any -> T_These_38) -> Any -> Any -> Any
forall a b. a -> b
coe Any -> Any -> T_These_38
C_these_52 (Any -> Any
forall a b. a -> b
coe Any
v4) (Any -> Any
forall a b. a -> b
coe Any
v6)))
                    ((T_These_38 -> Any) -> Any -> Any
forall a b. a -> b
coe T_These_38 -> Any
v1 ((Any -> Any -> T_These_38) -> Any -> Any -> Any
forall a b. a -> b
coe Any -> Any -> T_These_38
C_these_52 (Any -> Any
forall a b. a -> b
coe Any
v5) (Any -> Any
forall a b. a -> b
coe Any
v7)))
             T_These_38
_ -> T_These_38
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_These_38
_ -> T_These_38
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.These.Base.align
d_align_216 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_These_38 -> T_These_38 -> T_These_38
d_align_216 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> T_These_38
-> T_These_38
-> T_These_38
d_align_216 ~()
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 ~()
v5 ~()
v6 ~()
v7 = T_These_38 -> T_These_38 -> T_These_38
du_align_216
du_align_216 :: T_These_38 -> T_These_38 -> T_These_38
du_align_216 :: T_These_38 -> T_These_38 -> T_These_38
du_align_216
  = ((T_These_38 -> Any)
 -> (T_These_38 -> Any) -> T_These_38 -> T_These_38 -> T_These_38)
-> Any -> Any -> T_These_38 -> T_These_38 -> T_These_38
forall a b. a -> b
coe (T_These_38 -> Any)
-> (T_These_38 -> Any) -> T_These_38 -> T_These_38 -> T_These_38
du_alignWith_130 ((Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v0 -> Any
v0)) ((Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v0 -> Any
v0))