{-# 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.Sum.Effectful.Left 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
import qualified MAlonzo.Code.Effect.Applicative
import qualified MAlonzo.Code.Effect.Choice
import qualified MAlonzo.Code.Effect.Empty
import qualified MAlonzo.Code.Effect.Functor
import qualified MAlonzo.Code.Effect.Monad
import qualified MAlonzo.Code.Function.Base

-- Data.Sum.Effectful.Left.Sumₗ
d_Sum'8343'_14 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> MAlonzo.Code.Agda.Primitive.T_Level_18 -> () -> ()
d_Sum'8343'_14 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18
d_Sum'8343'_14 = T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18
forall a. a
erased
-- Data.Sum.Effectful.Left.functor
d_functor_18 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Functor.T_RawFunctor_24
d_functor_18 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_RawFunctor_24
d_functor_18 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 = T_RawFunctor_24
du_functor_18
du_functor_18 :: MAlonzo.Code.Effect.Functor.T_RawFunctor_24
du_functor_18 :: T_RawFunctor_24
du_functor_18
  = ((T_Level_18 -> T_Level_18 -> (Any -> Any) -> Any -> Any)
 -> T_RawFunctor_24)
-> Any -> T_RawFunctor_24
forall a b. a -> b
coe
      (T_Level_18 -> T_Level_18 -> (Any -> Any) -> Any -> Any)
-> T_RawFunctor_24
MAlonzo.Code.Effect.Functor.C_RawFunctor'46'constructor_241
      ((Any -> Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v0 Any
v1 -> ((Any -> Any) -> T__'8846'__30 -> T__'8846'__30) -> Any
forall a b. a -> b
coe (Any -> Any) -> T__'8846'__30 -> T__'8846'__30
MAlonzo.Code.Data.Sum.Base.du_map'8322'_94))
-- Data.Sum.Effectful.Left.applicative
d_applicative_20 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20
d_applicative_20 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_RawApplicative_20
d_applicative_20 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 = T_RawApplicative_20
du_applicative_20
du_applicative_20 ::
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20
du_applicative_20 :: T_RawApplicative_20
du_applicative_20
  = (T_RawFunctor_24
 -> (T_Level_18 -> Any -> Any)
 -> (T_Level_18 -> T_Level_18 -> Any -> Any -> Any)
 -> T_RawApplicative_20)
-> Any -> Any -> Any -> T_RawApplicative_20
forall a b. a -> b
coe
      T_RawFunctor_24
-> (T_Level_18 -> Any -> Any)
-> (T_Level_18 -> T_Level_18 -> Any -> Any -> Any)
-> T_RawApplicative_20
MAlonzo.Code.Effect.Applicative.C_RawApplicative'46'constructor_453
      (T_RawFunctor_24 -> Any
forall a b. a -> b
coe T_RawFunctor_24
du_functor_18)
      ((Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v0 -> (Any -> T__'8846'__30) -> Any
forall a b. a -> b
coe Any -> T__'8846'__30
MAlonzo.Code.Data.Sum.Base.C_inj'8322'_42))
      ((Any -> Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v0 Any
v1 ->
            ((Any -> Any) -> (Any -> Any) -> T__'8846'__30 -> Any)
-> (Any -> Any) -> Any -> Any
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
v2 ->
                 let v3 :: t
v3 = (Any -> T__'8846'__30) -> Any -> t
forall a b. a -> b
coe Any -> T__'8846'__30
MAlonzo.Code.Data.Sum.Base.C_inj'8321'_38 (Any -> Any
forall a b. a -> b
coe Any
v2) in
                 (Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v4 -> Any
forall a. a
v3))
              (((Any -> Any) -> T__'8846'__30 -> T__'8846'__30) -> Any
forall a b. a -> b
coe (Any -> Any) -> T__'8846'__30 -> T__'8846'__30
MAlonzo.Code.Data.Sum.Base.du_map'8322'_94)))
-- Data.Sum.Effectful.Left.empty
d_empty_22 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  AgdaAny -> MAlonzo.Code.Effect.Empty.T_RawEmpty_16
d_empty_22 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> Any -> T_RawEmpty_16
d_empty_22 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 Any
v3 = Any -> T_RawEmpty_16
du_empty_22 Any
v3
du_empty_22 :: AgdaAny -> MAlonzo.Code.Effect.Empty.T_RawEmpty_16
du_empty_22 :: Any -> T_RawEmpty_16
du_empty_22 Any
v0
  = ((T_Level_18 -> Any) -> T_RawEmpty_16) -> Any -> T_RawEmpty_16
forall a b. a -> b
coe
      (T_Level_18 -> Any) -> T_RawEmpty_16
MAlonzo.Code.Effect.Empty.C_RawEmpty'46'constructor_129
      ((Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v1 -> (Any -> T__'8846'__30) -> Any -> Any
forall a b. a -> b
coe Any -> T__'8846'__30
MAlonzo.Code.Data.Sum.Base.C_inj'8321'_38 (Any -> Any
forall a b. a -> b
coe Any
v0)))
-- Data.Sum.Effectful.Left.choice
d_choice_26 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Choice.T_RawChoice_16
d_choice_26 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_RawChoice_16
d_choice_26 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 = T_RawChoice_16
du_choice_26
du_choice_26 :: MAlonzo.Code.Effect.Choice.T_RawChoice_16
du_choice_26 :: T_RawChoice_16
du_choice_26
  = ((T_Level_18 -> Any -> Any -> Any) -> T_RawChoice_16)
-> Any -> T_RawChoice_16
forall a b. a -> b
coe
      (T_Level_18 -> Any -> Any -> Any) -> T_RawChoice_16
MAlonzo.Code.Effect.Choice.C_RawChoice'46'constructor_149
      ((Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v0 ->
            ((Any -> Any) -> (Any -> Any) -> T__'8846'__30 -> Any)
-> (Any -> Any -> Any) -> (Any -> Any) -> Any
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
v1 Any
v2 -> Any
v2)
              (\ Any
v1 ->
                 let v2 :: t
v2 = (Any -> T__'8846'__30) -> Any -> t
forall a b. a -> b
coe Any -> T__'8846'__30
MAlonzo.Code.Data.Sum.Base.C_inj'8322'_42 (Any -> Any
forall a b. a -> b
coe Any
v1) in
                 (Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v3 -> Any
forall a. a
v2))))
-- Data.Sum.Effectful.Left.applicativeZero
d_applicativeZero_28 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  AgdaAny -> MAlonzo.Code.Effect.Applicative.T_RawApplicativeZero_120
d_applicativeZero_28 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> Any -> T_RawApplicativeZero_120
d_applicativeZero_28 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 Any
v3 = Any -> T_RawApplicativeZero_120
du_applicativeZero_28 Any
v3
du_applicativeZero_28 ::
  AgdaAny -> MAlonzo.Code.Effect.Applicative.T_RawApplicativeZero_120
du_applicativeZero_28 :: Any -> T_RawApplicativeZero_120
du_applicativeZero_28 Any
v0
  = (T_RawApplicative_20 -> T_RawEmpty_16 -> T_RawApplicativeZero_120)
-> Any -> Any -> T_RawApplicativeZero_120
forall a b. a -> b
coe
      T_RawApplicative_20 -> T_RawEmpty_16 -> T_RawApplicativeZero_120
MAlonzo.Code.Effect.Applicative.C_RawApplicativeZero'46'constructor_8049
      (T_RawApplicative_20 -> Any
forall a b. a -> b
coe T_RawApplicative_20
du_applicative_20) ((Any -> T_RawEmpty_16) -> Any -> Any
forall a b. a -> b
coe Any -> T_RawEmpty_16
du_empty_22 (Any -> Any
forall a b. a -> b
coe Any
v0))
-- Data.Sum.Effectful.Left.alternative
d_alternative_32 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  AgdaAny -> MAlonzo.Code.Effect.Applicative.T_RawAlternative_180
d_alternative_32 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> Any -> T_RawAlternative_180
d_alternative_32 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 Any
v3 = Any -> T_RawAlternative_180
du_alternative_32 Any
v3
du_alternative_32 ::
  AgdaAny -> MAlonzo.Code.Effect.Applicative.T_RawAlternative_180
du_alternative_32 :: Any -> T_RawAlternative_180
du_alternative_32 Any
v0
  = (T_RawApplicativeZero_120
 -> T_RawChoice_16 -> T_RawAlternative_180)
-> Any -> Any -> T_RawAlternative_180
forall a b. a -> b
coe
      T_RawApplicativeZero_120 -> T_RawChoice_16 -> T_RawAlternative_180
MAlonzo.Code.Effect.Applicative.C_RawAlternative'46'constructor_9897
      ((Any -> T_RawApplicativeZero_120) -> Any -> Any
forall a b. a -> b
coe Any -> T_RawApplicativeZero_120
du_applicativeZero_28 (Any -> Any
forall a b. a -> b
coe Any
v0)) (T_RawChoice_16 -> Any
forall a b. a -> b
coe T_RawChoice_16
du_choice_26)
-- Data.Sum.Effectful.Left.monad
d_monad_36 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Monad.T_RawMonad_24
d_monad_36 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_RawMonad_24
d_monad_36 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 = T_RawMonad_24
du_monad_36
du_monad_36 :: MAlonzo.Code.Effect.Monad.T_RawMonad_24
du_monad_36 :: T_RawMonad_24
du_monad_36
  = (T_RawApplicative_20
 -> (T_Level_18 -> T_Level_18 -> Any -> (Any -> Any) -> Any)
 -> T_RawMonad_24)
-> Any -> Any -> T_RawMonad_24
forall a b. a -> b
coe
      T_RawApplicative_20
-> (T_Level_18 -> T_Level_18 -> Any -> (Any -> Any) -> Any)
-> T_RawMonad_24
MAlonzo.Code.Effect.Monad.C_RawMonad'46'constructor_319
      (T_RawApplicative_20 -> Any
forall a b. a -> b
coe T_RawApplicative_20
du_applicative_20)
      ((Any -> Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v0 Any
v1 ->
            ((Any -> Any) -> (Any -> Any) -> T__'8846'__30 -> Any)
-> Any -> Any -> Any
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 -> Any) -> (Any -> Any) -> Any -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
                 (Any -> Any) -> (Any -> Any) -> Any -> Any
MAlonzo.Code.Function.Base.du__'8728''8242'__216
                 ((Any -> Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v2 Any
v3 -> Any
v2))
                 ((Any -> T__'8846'__30) -> Any
forall a b. a -> b
coe Any -> T__'8846'__30
MAlonzo.Code.Data.Sum.Base.C_inj'8321'_38))
              ((Any -> (Any -> Any) -> Any) -> Any
forall a b. a -> b
coe Any -> (Any -> Any) -> Any
MAlonzo.Code.Function.Base.du__'124''62''8242'__232)))
-- Data.Sum.Effectful.Left.join
d_join_40 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30
d_join_40 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T__'8846'__30
-> T__'8846'__30
d_join_40 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 = T__'8846'__30 -> T__'8846'__30
du_join_40
du_join_40 ::
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30
du_join_40 :: T__'8846'__30 -> T__'8846'__30
du_join_40
  = (T_RawMonad_24 -> Any -> Any)
-> Any -> T__'8846'__30 -> T__'8846'__30
forall a b. a -> b
coe T_RawMonad_24 -> Any -> Any
MAlonzo.Code.Effect.Monad.du_join_158 (T_RawMonad_24 -> Any
forall a b. a -> b
coe T_RawMonad_24
du_monad_36)
-- Data.Sum.Effectful.Left.TraversableA.sequenceA
d_sequenceA_84 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20 ->
  () -> MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> AgdaAny
d_sequenceA_84 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawApplicative_20
-> T_Level_18
-> T__'8846'__30
-> Any
d_sequenceA_84 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18 -> T_Level_18
v3 T_RawApplicative_20
v4 ~T_Level_18
v5 T__'8846'__30
v6 = T_RawApplicative_20 -> T__'8846'__30 -> Any
du_sequenceA_84 T_RawApplicative_20
v4 T__'8846'__30
v6
du_sequenceA_84 ::
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20 ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> AgdaAny
du_sequenceA_84 :: T_RawApplicative_20 -> T__'8846'__30 -> Any
du_sequenceA_84 T_RawApplicative_20
v0 T__'8846'__30
v1
  = case T__'8846'__30 -> T__'8846'__30
forall a b. a -> b
coe T__'8846'__30
v1 of
      MAlonzo.Code.Data.Sum.Base.C_inj'8321'_38 Any
v2
        -> (T_RawApplicative_20 -> T_Level_18 -> Any -> Any)
-> T_RawApplicative_20 -> Any -> T__'8846'__30 -> Any
forall a b. a -> b
coe T_RawApplicative_20 -> T_Level_18 -> Any -> Any
MAlonzo.Code.Effect.Applicative.d_pure_32 T_RawApplicative_20
v0 Any
forall a. a
erased T__'8846'__30
v1
      MAlonzo.Code.Data.Sum.Base.C_inj'8322'_42 Any
v2
        -> (T_RawFunctor_24
 -> T_Level_18 -> T_Level_18 -> (Any -> Any) -> Any -> Any)
-> T_RawFunctor_24 -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
             T_RawFunctor_24
-> T_Level_18 -> T_Level_18 -> (Any -> Any) -> Any -> Any
MAlonzo.Code.Effect.Functor.d__'60''36''62'__30
             (T_RawApplicative_20 -> T_RawFunctor_24
MAlonzo.Code.Effect.Applicative.d_rawFunctor_30 (T_RawApplicative_20 -> T_RawApplicative_20
forall a b. a -> b
coe T_RawApplicative_20
v0)) Any
forall a. a
erased
             Any
forall a. a
erased ((Any -> T__'8846'__30) -> Any
forall a b. a -> b
coe Any -> T__'8846'__30
MAlonzo.Code.Data.Sum.Base.C_inj'8322'_42) Any
v2
      T__'8846'__30
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.Sum.Effectful.Left.TraversableA.mapA
d_mapA_94 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20 ->
  () ->
  () ->
  (AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> AgdaAny
d_mapA_94 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawApplicative_20
-> T_Level_18
-> T_Level_18
-> (Any -> Any)
-> T__'8846'__30
-> Any
d_mapA_94 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18 -> T_Level_18
v3 T_RawApplicative_20
v4 ~T_Level_18
v5 ~T_Level_18
v6 Any -> Any
v7 T__'8846'__30
v8 = T_RawApplicative_20 -> (Any -> Any) -> T__'8846'__30 -> Any
du_mapA_94 T_RawApplicative_20
v4 Any -> Any
v7 T__'8846'__30
v8
du_mapA_94 ::
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20 ->
  (AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> AgdaAny
du_mapA_94 :: T_RawApplicative_20 -> (Any -> Any) -> T__'8846'__30 -> Any
du_mapA_94 T_RawApplicative_20
v0 Any -> Any
v1 T__'8846'__30
v2
  = (T_RawApplicative_20 -> T__'8846'__30 -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
      T_RawApplicative_20 -> T__'8846'__30 -> Any
du_sequenceA_84 (T_RawApplicative_20 -> Any
forall a b. a -> b
coe T_RawApplicative_20
v0)
      (((Any -> Any) -> T__'8846'__30 -> T__'8846'__30)
-> (Any -> Any) -> T__'8846'__30 -> Any
forall a b. a -> b
coe (Any -> Any) -> T__'8846'__30 -> T__'8846'__30
MAlonzo.Code.Data.Sum.Base.du_map'8322'_94 Any -> Any
v1 T__'8846'__30
v2)
-- Data.Sum.Effectful.Left.TraversableA.forA
d_forA_102 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20 ->
  () ->
  () ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 ->
  (AgdaAny -> AgdaAny) -> AgdaAny
d_forA_102 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawApplicative_20
-> T_Level_18
-> T_Level_18
-> T__'8846'__30
-> (Any -> Any)
-> Any
d_forA_102 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18 -> T_Level_18
v3 T_RawApplicative_20
v4 ~T_Level_18
v5 ~T_Level_18
v6 T__'8846'__30
v7 Any -> Any
v8 = T_RawApplicative_20 -> T__'8846'__30 -> (Any -> Any) -> Any
du_forA_102 T_RawApplicative_20
v4 T__'8846'__30
v7 Any -> Any
v8
du_forA_102 ::
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20 ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 ->
  (AgdaAny -> AgdaAny) -> AgdaAny
du_forA_102 :: T_RawApplicative_20 -> T__'8846'__30 -> (Any -> Any) -> Any
du_forA_102 T_RawApplicative_20
v0 T__'8846'__30
v1 Any -> Any
v2 = (T_RawApplicative_20 -> (Any -> Any) -> T__'8846'__30 -> Any)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe T_RawApplicative_20 -> (Any -> Any) -> T__'8846'__30 -> Any
du_mapA_94 (T_RawApplicative_20 -> Any
forall a b. a -> b
coe T_RawApplicative_20
v0) ((Any -> Any) -> Any
forall a b. a -> b
coe Any -> Any
v2) (T__'8846'__30 -> Any
forall a b. a -> b
coe T__'8846'__30
v1)
-- Data.Sum.Effectful.Left.TraversableM._.forA
d_forA_164 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Effect.Monad.T_RawMonad_24 ->
  () ->
  () ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 ->
  (AgdaAny -> AgdaAny) -> AgdaAny
d_forA_164 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawMonad_24
-> T_Level_18
-> T_Level_18
-> T__'8846'__30
-> (Any -> Any)
-> Any
d_forA_164 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18 -> T_Level_18
v3 T_RawMonad_24
v4 = T_RawMonad_24
-> T_Level_18 -> T_Level_18 -> T__'8846'__30 -> (Any -> Any) -> Any
du_forA_164 T_RawMonad_24
v4
du_forA_164 ::
  MAlonzo.Code.Effect.Monad.T_RawMonad_24 ->
  () ->
  () ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 ->
  (AgdaAny -> AgdaAny) -> AgdaAny
du_forA_164 :: T_RawMonad_24
-> T_Level_18 -> T_Level_18 -> T__'8846'__30 -> (Any -> Any) -> Any
du_forA_164 T_RawMonad_24
v0 T_Level_18
v1 T_Level_18
v2 T__'8846'__30
v3 Any -> Any
v4
  = (T_RawApplicative_20 -> T__'8846'__30 -> (Any -> Any) -> Any)
-> Any -> T__'8846'__30 -> (Any -> Any) -> Any
forall a b. a -> b
coe
      T_RawApplicative_20 -> T__'8846'__30 -> (Any -> Any) -> Any
du_forA_102
      ((T_RawMonad_24 -> T_RawApplicative_20) -> Any -> Any
forall a b. a -> b
coe T_RawMonad_24 -> T_RawApplicative_20
MAlonzo.Code.Effect.Monad.d_rawApplicative_32 (T_RawMonad_24 -> Any
forall a b. a -> b
coe T_RawMonad_24
v0)) T__'8846'__30
v3 Any -> Any
v4
-- Data.Sum.Effectful.Left.TraversableM._.mapA
d_mapA_166 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Effect.Monad.T_RawMonad_24 ->
  () ->
  () ->
  (AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> AgdaAny
d_mapA_166 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawMonad_24
-> T_Level_18
-> T_Level_18
-> (Any -> Any)
-> T__'8846'__30
-> Any
d_mapA_166 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18 -> T_Level_18
v3 T_RawMonad_24
v4 = T_RawMonad_24
-> T_Level_18 -> T_Level_18 -> (Any -> Any) -> T__'8846'__30 -> Any
du_mapA_166 T_RawMonad_24
v4
du_mapA_166 ::
  MAlonzo.Code.Effect.Monad.T_RawMonad_24 ->
  () ->
  () ->
  (AgdaAny -> AgdaAny) ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> AgdaAny
du_mapA_166 :: T_RawMonad_24
-> T_Level_18 -> T_Level_18 -> (Any -> Any) -> T__'8846'__30 -> Any
du_mapA_166 T_RawMonad_24
v0 T_Level_18
v1 T_Level_18
v2 Any -> Any
v3 T__'8846'__30
v4
  = (T_RawApplicative_20 -> (Any -> Any) -> T__'8846'__30 -> Any)
-> Any -> (Any -> Any) -> T__'8846'__30 -> Any
forall a b. a -> b
coe
      T_RawApplicative_20 -> (Any -> Any) -> T__'8846'__30 -> Any
du_mapA_94
      ((T_RawMonad_24 -> T_RawApplicative_20) -> Any -> Any
forall a b. a -> b
coe T_RawMonad_24 -> T_RawApplicative_20
MAlonzo.Code.Effect.Monad.d_rawApplicative_32 (T_RawMonad_24 -> Any
forall a b. a -> b
coe T_RawMonad_24
v0)) Any -> Any
v3 T__'8846'__30
v4
-- Data.Sum.Effectful.Left.TraversableM._.sequenceA
d_sequenceA_168 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Effect.Monad.T_RawMonad_24 ->
  () -> MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> AgdaAny
d_sequenceA_168 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawMonad_24
-> T_Level_18
-> T__'8846'__30
-> Any
d_sequenceA_168 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18 -> T_Level_18
v3 T_RawMonad_24
v4 = T_RawMonad_24 -> T_Level_18 -> T__'8846'__30 -> Any
du_sequenceA_168 T_RawMonad_24
v4
du_sequenceA_168 ::
  MAlonzo.Code.Effect.Monad.T_RawMonad_24 ->
  () -> MAlonzo.Code.Data.Sum.Base.T__'8846'__30 -> AgdaAny
du_sequenceA_168 :: T_RawMonad_24 -> T_Level_18 -> T__'8846'__30 -> Any
du_sequenceA_168 T_RawMonad_24
v0 T_Level_18
v1 T__'8846'__30
v2
  = (T_RawApplicative_20 -> T__'8846'__30 -> Any)
-> Any -> T__'8846'__30 -> Any
forall a b. a -> b
coe
      T_RawApplicative_20 -> T__'8846'__30 -> Any
du_sequenceA_84
      ((T_RawMonad_24 -> T_RawApplicative_20) -> Any -> Any
forall a b. a -> b
coe T_RawMonad_24 -> T_RawApplicative_20
MAlonzo.Code.Effect.Monad.d_rawApplicative_32 (T_RawMonad_24 -> Any
forall a b. a -> b
coe T_RawMonad_24
v0)) T__'8846'__30
v2