{-# 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.Maybe.Effectful 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.Maybe
import qualified MAlonzo.Code.Agda.Primitive
import qualified MAlonzo.Code.Data.Maybe.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

-- Data.Maybe.Effectful.functor
d_functor_22 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Functor.T_RawFunctor_24
d_functor_22 :: T_Level_18 -> T_RawFunctor_24
d_functor_22 ~T_Level_18
v0 = T_RawFunctor_24
du_functor_22
du_functor_22 :: MAlonzo.Code.Effect.Functor.T_RawFunctor_24
du_functor_22 :: T_RawFunctor_24
du_functor_22
  = ((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) -> Any
forall a b. a -> b
coe (\ Any
v0 Any
v1 Any
v2 -> ((Any -> Any) -> Maybe Any -> Maybe Any) -> Any -> Any
forall a b. a -> b
coe (Any -> Any) -> Maybe Any -> Maybe Any
MAlonzo.Code.Data.Maybe.Base.du_map_64 Any
v2))
-- Data.Maybe.Effectful.applicative
d_applicative_24 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20
d_applicative_24 :: T_Level_18 -> T_RawApplicative_20
d_applicative_24 ~T_Level_18
v0 = T_RawApplicative_20
du_applicative_24
du_applicative_24 ::
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20
du_applicative_24 :: T_RawApplicative_20
du_applicative_24
  = (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_22)
      ((Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v0 -> (Any -> Maybe Any) -> Any
forall a b. a -> b
coe Any -> Maybe Any
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16))
      ((Any -> Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v0 Any
v1 ->
            ((Any -> Any) -> Any -> Maybe Any -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
              (Any -> Any) -> Any -> Maybe Any -> Any
MAlonzo.Code.Data.Maybe.Base.du_maybe_32
              (((Any -> Any) -> Maybe Any -> Maybe Any) -> Any
forall a b. a -> b
coe (Any -> Any) -> Maybe Any -> Maybe Any
MAlonzo.Code.Data.Maybe.Base.du_map_64)
              (let v2 :: b
v2 = Maybe Any -> b
forall a b. a -> b
coe Maybe Any
forall {a}. Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18 in
               Any -> Any
forall a b. a -> b
coe ((Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v3 -> Any
forall {b}. b
v2)))))
-- Data.Maybe.Effectful.empty
d_empty_26 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Empty.T_RawEmpty_16
d_empty_26 :: T_Level_18 -> T_RawEmpty_16
d_empty_26 ~T_Level_18
v0 = T_RawEmpty_16
du_empty_26
du_empty_26 :: MAlonzo.Code.Effect.Empty.T_RawEmpty_16
du_empty_26 :: T_RawEmpty_16
du_empty_26
  = ((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
v0 -> Maybe Any -> Any
forall a b. a -> b
coe Maybe Any
forall {a}. Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18))
-- Data.Maybe.Effectful.choice
d_choice_28 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Choice.T_RawChoice_16
d_choice_28 :: T_Level_18 -> T_RawChoice_16
d_choice_28 ~T_Level_18
v0 = T_RawChoice_16
du_choice_28
du_choice_28 :: MAlonzo.Code.Effect.Choice.T_RawChoice_16
du_choice_28 :: T_RawChoice_16
du_choice_28
  = ((T_Level_18 -> Any -> Any -> Any) -> T_RawChoice_16)
-> (Any -> Any -> Any -> 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
v0 Any
v1 Any
v2 ->
         (Maybe Any -> Maybe Any -> Maybe Any) -> Any -> Any -> Any
forall a b. a -> b
coe Maybe Any -> Maybe Any -> Maybe Any
MAlonzo.Code.Data.Maybe.Base.du__'60''8739''62'__80 Any
v1 Any
v2)
-- Data.Maybe.Effectful.applicativeZero
d_applicativeZero_30 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Applicative.T_RawApplicativeZero_120
d_applicativeZero_30 :: T_Level_18 -> T_RawApplicativeZero_120
d_applicativeZero_30 ~T_Level_18
v0 = T_RawApplicativeZero_120
du_applicativeZero_30
du_applicativeZero_30 ::
  MAlonzo.Code.Effect.Applicative.T_RawApplicativeZero_120
du_applicativeZero_30 :: T_RawApplicativeZero_120
du_applicativeZero_30
  = (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_24) (T_RawEmpty_16 -> Any
forall a b. a -> b
coe T_RawEmpty_16
du_empty_26)
-- Data.Maybe.Effectful.alternative
d_alternative_32 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Applicative.T_RawAlternative_180
d_alternative_32 :: T_Level_18 -> T_RawAlternative_180
d_alternative_32 ~T_Level_18
v0 = T_RawAlternative_180
du_alternative_32
du_alternative_32 ::
  MAlonzo.Code.Effect.Applicative.T_RawAlternative_180
du_alternative_32 :: T_RawAlternative_180
du_alternative_32
  = (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
      (T_RawApplicativeZero_120 -> Any
forall a b. a -> b
coe T_RawApplicativeZero_120
du_applicativeZero_30) (T_RawChoice_16 -> Any
forall a b. a -> b
coe T_RawChoice_16
du_choice_28)
-- Data.Maybe.Effectful.monad
d_monad_34 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Monad.T_RawMonad_24
d_monad_34 :: T_Level_18 -> T_RawMonad_24
d_monad_34 ~T_Level_18
v0 = T_RawMonad_24
du_monad_34
du_monad_34 :: MAlonzo.Code.Effect.Monad.T_RawMonad_24
du_monad_34 :: T_RawMonad_24
du_monad_34
  = (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_24)
      ((Any -> Any -> Any -> Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v0 Any
v1 Any
v2 Any
v3 ->
            (Maybe Any -> (Any -> Maybe Any) -> Maybe Any) -> Any -> Any -> Any
forall a b. a -> b
coe Maybe Any -> (Any -> Maybe Any) -> Maybe Any
MAlonzo.Code.Data.Maybe.Base.du__'62''62''61'__72 Any
v2 Any
v3))
-- Data.Maybe.Effectful.join
d_join_36 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> Maybe (Maybe AgdaAny) -> Maybe AgdaAny
d_join_36 :: T_Level_18 -> T_Level_18 -> Maybe (Maybe Any) -> Maybe Any
d_join_36 ~T_Level_18
v0 ~T_Level_18
v1 = Maybe (Maybe Any) -> Maybe Any
du_join_36
du_join_36 :: Maybe (Maybe AgdaAny) -> Maybe AgdaAny
du_join_36 :: Maybe (Maybe Any) -> Maybe Any
du_join_36
  = (T_RawMonad_24 -> Any -> Any)
-> Any -> Maybe (Maybe Any) -> Maybe Any
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_34)
-- Data.Maybe.Effectful.monadZero
d_monadZero_38 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Monad.T_RawMonadZero_206
d_monadZero_38 :: T_Level_18 -> T_RawMonadZero_206
d_monadZero_38 ~T_Level_18
v0 = T_RawMonadZero_206
du_monadZero_38
du_monadZero_38 :: MAlonzo.Code.Effect.Monad.T_RawMonadZero_206
du_monadZero_38 :: T_RawMonadZero_206
du_monadZero_38
  = (T_RawMonad_24 -> T_RawEmpty_16 -> T_RawMonadZero_206)
-> Any -> Any -> T_RawMonadZero_206
forall a b. a -> b
coe
      T_RawMonad_24 -> T_RawEmpty_16 -> T_RawMonadZero_206
MAlonzo.Code.Effect.Monad.C_RawMonadZero'46'constructor_7131
      (T_RawMonad_24 -> Any
forall a b. a -> b
coe T_RawMonad_24
du_monad_34) (T_RawEmpty_16 -> Any
forall a b. a -> b
coe T_RawEmpty_16
du_empty_26)
-- Data.Maybe.Effectful.monadPlus
d_monadPlus_40 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Monad.T_RawMonadPlus_284
d_monadPlus_40 :: T_Level_18 -> T_RawMonadPlus_284
d_monadPlus_40 ~T_Level_18
v0 = T_RawMonadPlus_284
du_monadPlus_40
du_monadPlus_40 :: MAlonzo.Code.Effect.Monad.T_RawMonadPlus_284
du_monadPlus_40 :: T_RawMonadPlus_284
du_monadPlus_40
  = (T_RawMonadZero_206 -> T_RawChoice_16 -> T_RawMonadPlus_284)
-> Any -> Any -> T_RawMonadPlus_284
forall a b. a -> b
coe
      T_RawMonadZero_206 -> T_RawChoice_16 -> T_RawMonadPlus_284
MAlonzo.Code.Effect.Monad.C_RawMonadPlus'46'constructor_9035
      (T_RawMonadZero_206 -> Any
forall a b. a -> b
coe T_RawMonadZero_206
du_monadZero_38) (T_RawChoice_16 -> Any
forall a b. a -> b
coe T_RawChoice_16
du_choice_28)
-- Data.Maybe.Effectful.TraversableA.sequenceA
d_sequenceA_88 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20 ->
  () -> Maybe AgdaAny -> AgdaAny
d_sequenceA_88 :: T_Level_18
-> T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawApplicative_20
-> T_Level_18
-> Maybe Any
-> Any
d_sequenceA_88 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18 -> T_Level_18
v2 T_RawApplicative_20
v3 ~T_Level_18
v4 Maybe Any
v5 = T_RawApplicative_20 -> Maybe Any -> Any
du_sequenceA_88 T_RawApplicative_20
v3 Maybe Any
v5
du_sequenceA_88 ::
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20 ->
  Maybe AgdaAny -> AgdaAny
du_sequenceA_88 :: T_RawApplicative_20 -> Maybe Any -> Any
du_sequenceA_88 T_RawApplicative_20
v0 Maybe Any
v1
  = case Maybe Any -> Maybe Any
forall a b. a -> b
coe Maybe Any
v1 of
      MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 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 {b}. b
erased
             Any
forall {b}. b
erased ((Any -> Maybe Any) -> Any
forall a b. a -> b
coe Any -> Maybe Any
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16) Any
v2
      Maybe Any
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
        -> (T_RawApplicative_20 -> T_Level_18 -> Any -> Any)
-> T_RawApplicative_20 -> Any -> Maybe Any -> 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 {b}. b
erased Maybe Any
v1
      Maybe Any
_ -> Any
forall {b}. b
MAlonzo.RTE.mazUnreachableError
-- Data.Maybe.Effectful.TraversableA.mapA
d_mapA_92 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> AgdaAny
d_mapA_92 :: T_Level_18
-> T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawApplicative_20
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (Any -> Any)
-> Maybe Any
-> Any
d_mapA_92 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18 -> T_Level_18
v2 T_RawApplicative_20
v3 ~T_Level_18
v4 ~T_Level_18
v5 ~T_Level_18
v6 Any -> Any
v7 Maybe Any
v8 = T_RawApplicative_20 -> (Any -> Any) -> Maybe Any -> Any
du_mapA_92 T_RawApplicative_20
v3 Any -> Any
v7 Maybe Any
v8
du_mapA_92 ::
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20 ->
  (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> AgdaAny
du_mapA_92 :: T_RawApplicative_20 -> (Any -> Any) -> Maybe Any -> Any
du_mapA_92 T_RawApplicative_20
v0 Any -> Any
v1 Maybe Any
v2
  = (T_RawApplicative_20 -> Maybe Any -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
      T_RawApplicative_20 -> Maybe Any -> Any
du_sequenceA_88 (T_RawApplicative_20 -> Any
forall a b. a -> b
coe T_RawApplicative_20
v0)
      (((Any -> Any) -> Maybe Any -> Maybe Any)
-> (Any -> Any) -> Maybe Any -> Any
forall a b. a -> b
coe (Any -> Any) -> Maybe Any -> Maybe Any
MAlonzo.Code.Data.Maybe.Base.du_map_64 Any -> Any
v1 Maybe Any
v2)
-- Data.Maybe.Effectful.TraversableA.forA
d_forA_96 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> Maybe AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny
d_forA_96 :: T_Level_18
-> T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawApplicative_20
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> Maybe Any
-> (Any -> Any)
-> Any
d_forA_96 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18 -> T_Level_18
v2 T_RawApplicative_20
v3 ~T_Level_18
v4 ~T_Level_18
v5 ~T_Level_18
v6 Maybe Any
v7 Any -> Any
v8 = T_RawApplicative_20 -> Maybe Any -> (Any -> Any) -> Any
du_forA_96 T_RawApplicative_20
v3 Maybe Any
v7 Any -> Any
v8
du_forA_96 ::
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20 ->
  Maybe AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny
du_forA_96 :: T_RawApplicative_20 -> Maybe Any -> (Any -> Any) -> Any
du_forA_96 T_RawApplicative_20
v0 Maybe Any
v1 Any -> Any
v2 = (T_RawApplicative_20 -> (Any -> Any) -> Maybe Any -> Any)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe T_RawApplicative_20 -> (Any -> Any) -> Maybe Any -> Any
du_mapA_92 (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) (Maybe Any -> Any
forall a b. a -> b
coe Maybe Any
v1)
-- Data.Maybe.Effectful.TraversableM._.forA
d_forA_162 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Effect.Monad.T_RawMonad_24 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> Maybe AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny
d_forA_162 :: T_Level_18
-> T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawMonad_24
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> Maybe Any
-> (Any -> Any)
-> Any
d_forA_162 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18 -> T_Level_18
v2 T_RawMonad_24
v3 = T_RawMonad_24
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> Maybe Any
-> (Any -> Any)
-> Any
du_forA_162 T_RawMonad_24
v3
du_forA_162 ::
  MAlonzo.Code.Effect.Monad.T_RawMonad_24 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> Maybe AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny
du_forA_162 :: T_RawMonad_24
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> Maybe Any
-> (Any -> Any)
-> Any
du_forA_162 T_RawMonad_24
v0 T_Level_18
v1 T_Level_18
v2 T_Level_18
v3 Maybe Any
v4 Any -> Any
v5
  = (T_RawApplicative_20 -> Maybe Any -> (Any -> Any) -> Any)
-> Any -> Maybe Any -> (Any -> Any) -> Any
forall a b. a -> b
coe
      T_RawApplicative_20 -> Maybe Any -> (Any -> Any) -> Any
du_forA_96
      ((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)) Maybe Any
v4 Any -> Any
v5
-- Data.Maybe.Effectful.TraversableM._.mapA
d_mapA_164 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Effect.Monad.T_RawMonad_24 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> AgdaAny
d_mapA_164 :: T_Level_18
-> T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawMonad_24
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (Any -> Any)
-> Maybe Any
-> Any
d_mapA_164 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18 -> T_Level_18
v2 T_RawMonad_24
v3 = T_RawMonad_24
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (Any -> Any)
-> Maybe Any
-> Any
du_mapA_164 T_RawMonad_24
v3
du_mapA_164 ::
  MAlonzo.Code.Effect.Monad.T_RawMonad_24 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> AgdaAny
du_mapA_164 :: T_RawMonad_24
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (Any -> Any)
-> Maybe Any
-> Any
du_mapA_164 T_RawMonad_24
v0 T_Level_18
v1 T_Level_18
v2 T_Level_18
v3 Any -> Any
v4 Maybe Any
v5
  = (T_RawApplicative_20 -> (Any -> Any) -> Maybe Any -> Any)
-> Any -> (Any -> Any) -> Maybe Any -> Any
forall a b. a -> b
coe
      T_RawApplicative_20 -> (Any -> Any) -> Maybe Any -> Any
du_mapA_92
      ((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
v4 Maybe Any
v5
-- Data.Maybe.Effectful.TraversableM._.sequenceA
d_sequenceA_166 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Effect.Monad.T_RawMonad_24 ->
  () -> Maybe AgdaAny -> AgdaAny
d_sequenceA_166 :: T_Level_18
-> T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawMonad_24
-> T_Level_18
-> Maybe Any
-> Any
d_sequenceA_166 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18 -> T_Level_18
v2 T_RawMonad_24
v3 = T_RawMonad_24 -> T_Level_18 -> Maybe Any -> Any
du_sequenceA_166 T_RawMonad_24
v3
du_sequenceA_166 ::
  MAlonzo.Code.Effect.Monad.T_RawMonad_24 ->
  () -> Maybe AgdaAny -> AgdaAny
du_sequenceA_166 :: T_RawMonad_24 -> T_Level_18 -> Maybe Any -> Any
du_sequenceA_166 T_RawMonad_24
v0 T_Level_18
v1 Maybe Any
v2
  = (T_RawApplicative_20 -> Maybe Any -> Any)
-> Any -> Maybe Any -> Any
forall a b. a -> b
coe
      T_RawApplicative_20 -> Maybe Any -> Any
du_sequenceA_88
      ((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)) Maybe Any
v2