{-# 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.List.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.Equality
import qualified MAlonzo.Code.Agda.Builtin.List
import qualified MAlonzo.Code.Agda.Primitive
import qualified MAlonzo.Code.Data.List.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.List.Effectful.functor
d_functor_10 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Functor.T_RawFunctor_24
d_functor_10 :: T_Level_18 -> T_RawFunctor_24
d_functor_10 ~T_Level_18
v0 = T_RawFunctor_24
du_functor_10
du_functor_10 :: MAlonzo.Code.Effect.Functor.T_RawFunctor_24
du_functor_10 :: T_RawFunctor_24
du_functor_10
  = ((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) -> Any
forall a b. a -> b
coe
         (\ Any
v0 Any
v1 Any
v2 Any
v3 -> ((Any -> Any) -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe (Any -> Any) -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du_map_22 Any
v2 Any
v3))
-- Data.List.Effectful.applicative
d_applicative_12 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20
d_applicative_12 :: T_Level_18 -> T_RawApplicative_20
d_applicative_12 ~T_Level_18
v0 = T_RawApplicative_20
du_applicative_12
du_applicative_12 ::
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20
du_applicative_12 :: T_RawApplicative_20
du_applicative_12
  = (T_RawFunctor_24
 -> (T_Level_18 -> Any -> Any)
 -> (T_Level_18 -> T_Level_18 -> Any -> Any -> Any)
 -> T_RawApplicative_20)
-> Any -> (Any -> 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_10)
      (\ Any
v0 Any
v1 -> (Any -> [Any]) -> Any -> Any
forall a b. a -> b
coe Any -> [Any]
MAlonzo.Code.Data.List.Base.du_'91'_'93'_286 Any
v1)
      ((Any -> Any -> Any -> Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v0 Any
v1 Any
v2 Any
v3 -> ([Any -> Any] -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe [Any -> Any] -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du_ap_250 Any
v2 Any
v3))
-- Data.List.Effectful.empty
d_empty_14 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Empty.T_RawEmpty_16
d_empty_14 :: T_Level_18 -> T_RawEmpty_16
d_empty_14 ~T_Level_18
v0 = T_RawEmpty_16
du_empty_14
du_empty_14 :: MAlonzo.Code.Effect.Empty.T_RawEmpty_16
du_empty_14 :: T_RawEmpty_16
du_empty_14
  = ((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 -> [Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))
-- Data.List.Effectful.choice
d_choice_16 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Choice.T_RawChoice_16
d_choice_16 :: T_Level_18 -> T_RawChoice_16
d_choice_16 ~T_Level_18
v0 = T_RawChoice_16
du_choice_16
du_choice_16 :: MAlonzo.Code.Effect.Choice.T_RawChoice_16
du_choice_16 :: T_RawChoice_16
du_choice_16
  = ((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 ->
         ([Any] -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe [Any] -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du__'43''43'__32 Any
v1 Any
v2)
-- Data.List.Effectful.applicativeZero
d_applicativeZero_18 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Applicative.T_RawApplicativeZero_120
d_applicativeZero_18 :: T_Level_18 -> T_RawApplicativeZero_120
d_applicativeZero_18 ~T_Level_18
v0 = T_RawApplicativeZero_120
du_applicativeZero_18
du_applicativeZero_18 ::
  MAlonzo.Code.Effect.Applicative.T_RawApplicativeZero_120
du_applicativeZero_18 :: T_RawApplicativeZero_120
du_applicativeZero_18
  = (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_12) (T_RawEmpty_16 -> Any
forall a b. a -> b
coe T_RawEmpty_16
du_empty_14)
-- Data.List.Effectful.alternative
d_alternative_20 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Applicative.T_RawAlternative_180
d_alternative_20 :: T_Level_18 -> T_RawAlternative_180
d_alternative_20 ~T_Level_18
v0 = T_RawAlternative_180
du_alternative_20
du_alternative_20 ::
  MAlonzo.Code.Effect.Applicative.T_RawAlternative_180
du_alternative_20 :: T_RawAlternative_180
du_alternative_20
  = (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_18) (T_RawChoice_16 -> Any
forall a b. a -> b
coe T_RawChoice_16
du_choice_16)
-- Data.List.Effectful.monad
d_monad_24 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Monad.T_RawMonad_24
d_monad_24 :: T_Level_18 -> T_RawMonad_24
d_monad_24 ~T_Level_18
v0 = T_RawMonad_24
du_monad_24
du_monad_24 :: MAlonzo.Code.Effect.Monad.T_RawMonad_24
du_monad_24 :: T_RawMonad_24
du_monad_24
  = (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_12)
      ((Any -> Any -> Any -> Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v0 Any
v1 Any
v2 Any
v3 ->
            ((Any -> [Any]) -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
              (Any -> [Any]) -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du_concatMap_246 (Any -> Any
forall a b. a -> b
coe Any
v3) (Any -> Any
forall a b. a -> b
coe Any
v2)))
-- Data.List.Effectful.join
d_join_26 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [[AgdaAny]] -> [AgdaAny]
d_join_26 :: T_Level_18 -> T_Level_18 -> [[Any]] -> [Any]
d_join_26 ~T_Level_18
v0 ~T_Level_18
v1 = [[Any]] -> [Any]
du_join_26
du_join_26 :: [[AgdaAny]] -> [AgdaAny]
du_join_26 :: [[Any]] -> [Any]
du_join_26
  = (T_RawMonad_24 -> Any -> Any) -> Any -> [[Any]] -> [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_24)
-- Data.List.Effectful.monadZero
d_monadZero_30 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Monad.T_RawMonadZero_206
d_monadZero_30 :: T_Level_18 -> T_RawMonadZero_206
d_monadZero_30 ~T_Level_18
v0 = T_RawMonadZero_206
du_monadZero_30
du_monadZero_30 :: MAlonzo.Code.Effect.Monad.T_RawMonadZero_206
du_monadZero_30 :: T_RawMonadZero_206
du_monadZero_30
  = (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_24) (T_RawEmpty_16 -> Any
forall a b. a -> b
coe T_RawEmpty_16
du_empty_14)
-- Data.List.Effectful.monadPlus
d_monadPlus_34 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Effect.Monad.T_RawMonadPlus_284
d_monadPlus_34 :: T_Level_18 -> T_RawMonadPlus_284
d_monadPlus_34 ~T_Level_18
v0 = T_RawMonadPlus_284
du_monadPlus_34
du_monadPlus_34 :: MAlonzo.Code.Effect.Monad.T_RawMonadPlus_284
du_monadPlus_34 :: T_RawMonadPlus_284
du_monadPlus_34
  = (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_30) (T_RawChoice_16 -> Any
forall a b. a -> b
coe T_RawChoice_16
du_choice_16)
-- Data.List.Effectful.TraversableA.sequenceA
d_sequenceA_82 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20 ->
  () -> [AgdaAny] -> AgdaAny
d_sequenceA_82 :: T_Level_18
-> T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawApplicative_20
-> T_Level_18
-> [Any]
-> Any
d_sequenceA_82 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18 -> T_Level_18
v2 T_RawApplicative_20
v3 ~T_Level_18
v4 [Any]
v5 = T_RawApplicative_20 -> [Any] -> Any
du_sequenceA_82 T_RawApplicative_20
v3 [Any]
v5
du_sequenceA_82 ::
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20 ->
  [AgdaAny] -> AgdaAny
du_sequenceA_82 :: T_RawApplicative_20 -> [Any] -> Any
du_sequenceA_82 T_RawApplicative_20
v0 [Any]
v1
  = case [Any] -> [Any]
forall a b. a -> b
coe [Any]
v1 of
      [] -> (T_RawApplicative_20 -> T_Level_18 -> Any -> Any)
-> T_RawApplicative_20 -> Any -> [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 a. a
erased [Any]
v1
      (:) Any
v2 [Any]
v3
        -> (T_RawApplicative_20
 -> T_Level_18 -> T_Level_18 -> Any -> Any -> Any)
-> T_RawApplicative_20 -> Any -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
             T_RawApplicative_20
-> T_Level_18 -> T_Level_18 -> Any -> Any -> Any
MAlonzo.Code.Effect.Applicative.d__'60''42''62'__34 T_RawApplicative_20
v0 Any
forall a. a
erased
             Any
forall a. a
erased
             ((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 -> [Any] -> [Any]) -> Any
forall a b. a -> b
coe Any -> [Any] -> [Any]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22) Any
v2)
             ((T_RawApplicative_20 -> [Any] -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe T_RawApplicative_20 -> [Any] -> Any
du_sequenceA_82 (T_RawApplicative_20 -> Any
forall a b. a -> b
coe T_RawApplicative_20
v0) ([Any] -> Any
forall a b. a -> b
coe [Any]
v3))
      [Any]
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Effectful.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 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> AgdaAny
d_mapA_94 :: 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)
-> [Any]
-> Any
d_mapA_94 ~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 [Any]
v8 = T_RawApplicative_20 -> (Any -> Any) -> [Any] -> Any
du_mapA_94 T_RawApplicative_20
v3 Any -> Any
v7 [Any]
v8
du_mapA_94 ::
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20 ->
  (AgdaAny -> AgdaAny) -> [AgdaAny] -> AgdaAny
du_mapA_94 :: T_RawApplicative_20 -> (Any -> Any) -> [Any] -> Any
du_mapA_94 T_RawApplicative_20
v0 Any -> Any
v1 [Any]
v2
  = (T_RawApplicative_20 -> [Any] -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
      T_RawApplicative_20 -> [Any] -> Any
du_sequenceA_82 (T_RawApplicative_20 -> Any
forall a b. a -> b
coe T_RawApplicative_20
v0)
      (((Any -> Any) -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe (Any -> Any) -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du_map_22 ((Any -> Any) -> Any
forall a b. a -> b
coe Any -> Any
v1) ([Any] -> Any
forall a b. a -> b
coe [Any]
v2))
-- Data.List.Effectful.TraversableA.forA
d_forA_104 ::
  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 -> AgdaAny) -> AgdaAny
d_forA_104 :: 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 -> Any)
-> Any
d_forA_104 ~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]
v7 Any -> Any
v8 = T_RawApplicative_20 -> [Any] -> (Any -> Any) -> Any
du_forA_104 T_RawApplicative_20
v3 [Any]
v7 Any -> Any
v8
du_forA_104 ::
  MAlonzo.Code.Effect.Applicative.T_RawApplicative_20 ->
  [AgdaAny] -> (AgdaAny -> AgdaAny) -> AgdaAny
du_forA_104 :: T_RawApplicative_20 -> [Any] -> (Any -> Any) -> Any
du_forA_104 T_RawApplicative_20
v0 [Any]
v1 Any -> Any
v2 = (T_RawApplicative_20 -> (Any -> Any) -> [Any] -> Any)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe T_RawApplicative_20 -> (Any -> Any) -> [Any] -> 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) ([Any] -> Any
forall a b. a -> b
coe [Any]
v1)
-- Data.List.Effectful.TraversableM._.forA
d_forA_170 ::
  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 -> AgdaAny) -> AgdaAny
d_forA_170 :: 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 -> Any)
-> Any
d_forA_170 ~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 -> Any)
-> Any
du_forA_170 T_RawMonad_24
v3
du_forA_170 ::
  MAlonzo.Code.Effect.Monad.T_RawMonad_24 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> [AgdaAny] -> (AgdaAny -> AgdaAny) -> AgdaAny
du_forA_170 :: T_RawMonad_24
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> Any)
-> Any
du_forA_170 T_RawMonad_24
v0 T_Level_18
v1 T_Level_18
v2 T_Level_18
v3 [Any]
v4 Any -> Any
v5
  = (T_RawApplicative_20 -> [Any] -> (Any -> Any) -> Any)
-> Any -> [Any] -> (Any -> Any) -> Any
forall a b. a -> b
coe
      T_RawApplicative_20 -> [Any] -> (Any -> Any) -> Any
du_forA_104
      ((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]
v4 Any -> Any
v5
-- Data.List.Effectful.TraversableM._.mapA
d_mapA_172 ::
  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) -> [AgdaAny] -> AgdaAny
d_mapA_172 :: 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)
-> [Any]
-> Any
d_mapA_172 ~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)
-> [Any]
-> Any
du_mapA_172 T_RawMonad_24
v3
du_mapA_172 ::
  MAlonzo.Code.Effect.Monad.T_RawMonad_24 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> AgdaAny
du_mapA_172 :: T_RawMonad_24
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (Any -> Any)
-> [Any]
-> Any
du_mapA_172 T_RawMonad_24
v0 T_Level_18
v1 T_Level_18
v2 T_Level_18
v3 Any -> Any
v4 [Any]
v5
  = (T_RawApplicative_20 -> (Any -> Any) -> [Any] -> Any)
-> Any -> (Any -> Any) -> [Any] -> Any
forall a b. a -> b
coe
      T_RawApplicative_20 -> (Any -> Any) -> [Any] -> 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
v4 [Any]
v5
-- Data.List.Effectful.TraversableM._.sequenceA
d_sequenceA_174 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Effect.Monad.T_RawMonad_24 ->
  () -> [AgdaAny] -> AgdaAny
d_sequenceA_174 :: T_Level_18
-> T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawMonad_24
-> T_Level_18
-> [Any]
-> Any
d_sequenceA_174 ~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 -> [Any] -> Any
du_sequenceA_174 T_RawMonad_24
v3
du_sequenceA_174 ::
  MAlonzo.Code.Effect.Monad.T_RawMonad_24 ->
  () -> [AgdaAny] -> AgdaAny
du_sequenceA_174 :: T_RawMonad_24 -> T_Level_18 -> [Any] -> Any
du_sequenceA_174 T_RawMonad_24
v0 T_Level_18
v1 [Any]
v2
  = (T_RawApplicative_20 -> [Any] -> Any) -> Any -> [Any] -> Any
forall a b. a -> b
coe
      T_RawApplicative_20 -> [Any] -> Any
du_sequenceA_82
      ((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]
v2
-- Data.List.Effectful.LMP._<$>_
d__'60''36''62'__184 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
d__'60''36''62'__184 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> (Any -> Any) -> [Any] -> [Any]
d__'60''36''62'__184 ~T_Level_18
v0 ~T_Level_18
v1 = T_Level_18 -> (Any -> Any) -> [Any] -> [Any]
du__'60''36''62'__184
du__'60''36''62'__184 ::
  () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
du__'60''36''62'__184 :: T_Level_18 -> (Any -> Any) -> [Any] -> [Any]
du__'60''36''62'__184 T_Level_18
v0 Any -> Any
v1 [Any]
v2
  = ((Any -> Any) -> [Any] -> [Any]) -> (Any -> Any) -> [Any] -> [Any]
forall a b. a -> b
coe (Any -> Any) -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du_map_22 Any -> Any
v1 [Any]
v2
-- Data.List.Effectful.LMP._>>=_
d__'62''62''61'__204 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> [AgdaAny] -> (AgdaAny -> [AgdaAny]) -> [AgdaAny]
d__'62''62''61'__204 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> [Any] -> (Any -> [Any]) -> [Any]
d__'62''62''61'__204 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 [Any]
v3 Any -> [Any]
v4
  = [Any] -> (Any -> [Any]) -> [Any]
du__'62''62''61'__204 [Any]
v3 Any -> [Any]
v4
du__'62''62''61'__204 ::
  [AgdaAny] -> (AgdaAny -> [AgdaAny]) -> [AgdaAny]
du__'62''62''61'__204 :: [Any] -> (Any -> [Any]) -> [Any]
du__'62''62''61'__204 [Any]
v0 Any -> [Any]
v1
  = ((Any -> [Any]) -> [Any] -> [Any]) -> Any -> Any -> [Any]
forall a b. a -> b
coe
      (Any -> [Any]) -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du_concatMap_246 ((Any -> [Any]) -> Any
forall a b. a -> b
coe Any -> [Any]
v1) ([Any] -> Any
forall a b. a -> b
coe [Any]
v0)
-- Data.List.Effectful.LMP._∣_
d__'8739'__206 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
d__'8739'__206 :: T_Level_18 -> T_Level_18 -> [Any] -> [Any] -> [Any]
d__'8739'__206 ~T_Level_18
v0 = T_Level_18 -> [Any] -> [Any] -> [Any]
du__'8739'__206
du__'8739'__206 :: () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du__'8739'__206 :: T_Level_18 -> [Any] -> [Any] -> [Any]
du__'8739'__206
  = let v0 :: b
v0 = T_RawMonadPlus_284 -> b
forall a b. a -> b
coe T_RawMonadPlus_284
du_monadPlus_34 in
    (Any -> Any) -> T_Level_18 -> [Any] -> [Any] -> [Any]
forall a b. a -> b
coe
      (\ Any
v1 ->
         (T_RawChoice_16 -> Any -> Any -> Any) -> Any -> Any
forall a b. a -> b
coe
           T_RawChoice_16 -> Any -> Any -> Any
MAlonzo.Code.Effect.Choice.du__'8739'__24
           ((T_RawMonadPlus_284 -> T_RawChoice_16) -> Any -> Any
forall a b. a -> b
coe T_RawMonadPlus_284 -> T_RawChoice_16
MAlonzo.Code.Effect.Monad.d_rawChoice_294 (Any -> Any
forall a b. a -> b
coe Any
forall a. a
v0)))
-- Data.List.Effectful.LMP._⊛_
d__'8859'__210 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> [AgdaAny -> AgdaAny] -> [AgdaAny] -> [AgdaAny]
d__'8859'__210 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> [Any -> Any] -> [Any] -> [Any]
d__'8859'__210 ~T_Level_18
v0 = T_Level_18 -> T_Level_18 -> [Any -> Any] -> [Any] -> [Any]
du__'8859'__210
du__'8859'__210 ::
  () -> () -> [AgdaAny -> AgdaAny] -> [AgdaAny] -> [AgdaAny]
du__'8859'__210 :: T_Level_18 -> T_Level_18 -> [Any -> Any] -> [Any] -> [Any]
du__'8859'__210
  = let v0 :: b
v0 = T_RawMonadPlus_284 -> b
forall a b. a -> b
coe T_RawMonadPlus_284
du_monadPlus_34 in
    Any -> T_Level_18 -> T_Level_18 -> [Any -> Any] -> [Any] -> [Any]
forall a b. a -> b
coe
      (let v1 :: T_RawMonadZero_206
v1 = T_RawMonadPlus_284 -> T_RawMonadZero_206
MAlonzo.Code.Effect.Monad.d_rawMonadZero_292 (Any -> T_RawMonadPlus_284
forall a b. a -> b
coe Any
forall a. a
v0) in
       Any -> Any
forall a b. a -> b
coe
         (let v2 :: T_RawMonad_24
v2 = T_RawMonadZero_206 -> T_RawMonad_24
MAlonzo.Code.Effect.Monad.d_rawMonad_214 (T_RawMonadZero_206 -> T_RawMonadZero_206
forall a b. a -> b
coe T_RawMonadZero_206
v1) in
          (Any -> Any -> Any) -> Any
forall a b. a -> b
coe
            (\ Any
v3 Any
v4 ->
               (T_RawApplicative_20 -> Any -> Any -> Any) -> Any -> Any
forall a b. a -> b
coe
                 T_RawApplicative_20 -> Any -> Any -> Any
MAlonzo.Code.Effect.Applicative.du__'8859'__70
                 ((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
v2)))))
-- Data.List.Effectful.LMP.pure
d_pure_220 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> AgdaAny -> [AgdaAny]
d_pure_220 :: T_Level_18 -> T_Level_18 -> Any -> [Any]
d_pure_220 ~T_Level_18
v0 = T_Level_18 -> Any -> [Any]
du_pure_220
du_pure_220 :: () -> AgdaAny -> [AgdaAny]
du_pure_220 :: T_Level_18 -> Any -> [Any]
du_pure_220 T_Level_18
v0 Any
v1
  = (Any -> [Any]) -> Any -> [Any]
forall a b. a -> b
coe Any -> [Any]
MAlonzo.Code.Data.List.Base.du_'91'_'93'_286 Any
v1
-- Data.List.Effectful.LMP.∅
d_'8709'_248 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 -> () -> [AgdaAny]
d_'8709'_248 :: T_Level_18 -> T_Level_18 -> [Any]
d_'8709'_248 ~T_Level_18
v0 = T_Level_18 -> [Any]
du_'8709'_248
du_'8709'_248 :: () -> [AgdaAny]
du_'8709'_248 :: T_Level_18 -> [Any]
du_'8709'_248
  = let v0 :: b
v0 = T_RawMonadPlus_284 -> b
forall a b. a -> b
coe T_RawMonadPlus_284
du_monadPlus_34 in
    Any -> T_Level_18 -> [Any]
forall a b. a -> b
coe
      (let v1 :: T_RawMonadZero_206
v1 = T_RawMonadPlus_284 -> T_RawMonadZero_206
MAlonzo.Code.Effect.Monad.d_rawMonadZero_292 (Any -> T_RawMonadPlus_284
forall a b. a -> b
coe Any
forall a. a
v0) in
       (Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v2 ->
            (T_RawEmpty_16 -> Any) -> Any -> Any
forall a b. a -> b
coe
              T_RawEmpty_16 -> Any
MAlonzo.Code.Effect.Empty.du_'8709'_24
              ((T_RawMonadZero_206 -> T_RawEmpty_16) -> Any -> Any
forall a b. a -> b
coe T_RawMonadZero_206 -> T_RawEmpty_16
MAlonzo.Code.Effect.Monad.d_rawEmpty_216 (T_RawMonadZero_206 -> Any
forall a b. a -> b
coe T_RawMonadZero_206
v1))))
-- Data.List.Effectful.MonadProperties.left-identity
d_left'45'identity_262 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  AgdaAny ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_left'45'identity_262 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> Any
-> (Any -> [Any])
-> T__'8801'__12
d_left'45'identity_262 = T_Level_18
-> T_Level_18
-> T_Level_18
-> Any
-> (Any -> [Any])
-> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.MonadProperties.right-identity
d_right'45'identity_274 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_right'45'identity_274 :: T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
d_right'45'identity_274 = T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.MonadProperties.left-zero
d_left'45'zero_290 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_left'45'zero_290 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> (Any -> [Any]) -> T__'8801'__12
d_left'45'zero_290 = T_Level_18
-> T_Level_18 -> T_Level_18 -> (Any -> [Any]) -> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.MonadProperties.right-zero
d_right'45'zero_302 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () -> [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_right'45'zero_302 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
d_right'45'zero_302 = T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.MonadProperties.right-distributive
d_right'45'distributive_330 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  [AgdaAny] ->
  [AgdaAny] ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_right'45'distributive_330 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> [Any]
-> (Any -> [Any])
-> T__'8801'__12
d_right'45'distributive_330 = T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> [Any]
-> (Any -> [Any])
-> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.MonadProperties.associative
d_associative_362 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  () ->
  [AgdaAny] ->
  (AgdaAny -> [AgdaAny]) ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_associative_362 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> [Any])
-> (Any -> [Any])
-> T__'8801'__12
d_associative_362 = T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> [Any])
-> (Any -> [Any])
-> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.MonadProperties.cong
d_cong_394 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  [AgdaAny] ->
  [AgdaAny] ->
  (AgdaAny -> [AgdaAny]) ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
  (AgdaAny -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_cong_394 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> [Any]
-> (Any -> [Any])
-> (Any -> [Any])
-> T__'8801'__12
-> (Any -> T__'8801'__12)
-> T__'8801'__12
d_cong_394 = T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> [Any]
-> (Any -> [Any])
-> (Any -> [Any])
-> T__'8801'__12
-> (Any -> T__'8801'__12)
-> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.Applicative.MP.associative
d_associative_404 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  () ->
  [AgdaAny] ->
  (AgdaAny -> [AgdaAny]) ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_associative_404 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> [Any])
-> (Any -> [Any])
-> T__'8801'__12
d_associative_404 = T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> [Any])
-> (Any -> [Any])
-> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.Applicative.MP.cong
d_cong_406 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  [AgdaAny] ->
  [AgdaAny] ->
  (AgdaAny -> [AgdaAny]) ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
  (AgdaAny -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_cong_406 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> [Any]
-> (Any -> [Any])
-> (Any -> [Any])
-> T__'8801'__12
-> (Any -> T__'8801'__12)
-> T__'8801'__12
d_cong_406 = T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> [Any]
-> (Any -> [Any])
-> (Any -> [Any])
-> T__'8801'__12
-> (Any -> T__'8801'__12)
-> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.Applicative.MP.left-identity
d_left'45'identity_408 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  AgdaAny ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_left'45'identity_408 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> Any
-> (Any -> [Any])
-> T__'8801'__12
d_left'45'identity_408 = T_Level_18
-> T_Level_18
-> T_Level_18
-> Any
-> (Any -> [Any])
-> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.Applicative.MP.left-zero
d_left'45'zero_410 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_left'45'zero_410 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> (Any -> [Any]) -> T__'8801'__12
d_left'45'zero_410 = T_Level_18
-> T_Level_18 -> T_Level_18 -> (Any -> [Any]) -> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.Applicative.MP.right-distributive
d_right'45'distributive_412 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  [AgdaAny] ->
  [AgdaAny] ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_right'45'distributive_412 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> [Any]
-> (Any -> [Any])
-> T__'8801'__12
d_right'45'distributive_412 = T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> [Any]
-> (Any -> [Any])
-> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.Applicative.MP.right-identity
d_right'45'identity_414 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_right'45'identity_414 :: T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
d_right'45'identity_414 = T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.Applicative.MP.right-zero
d_right'45'zero_416 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () -> [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_right'45'zero_416 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
d_right'45'zero_416 = T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.Applicative.pam
d_pam_424 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> [AgdaAny] -> (AgdaAny -> AgdaAny) -> [AgdaAny]
d_pam_424 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> [Any] -> (Any -> Any) -> [Any]
d_pam_424 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 [Any]
v3 Any -> Any
v4 = [Any] -> (Any -> Any) -> [Any]
du_pam_424 [Any]
v3 Any -> Any
v4
du_pam_424 :: [AgdaAny] -> (AgdaAny -> AgdaAny) -> [AgdaAny]
du_pam_424 :: [Any] -> (Any -> Any) -> [Any]
du_pam_424 [Any]
v0 Any -> Any
v1
  = ((Any -> [Any]) -> [Any] -> [Any]) -> Any -> Any -> [Any]
forall a b. a -> b
coe
      (Any -> [Any]) -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du_concatMap_246
      ((Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v2 ->
            (Any -> [Any]) -> Any -> Any
forall a b. a -> b
coe Any -> [Any]
MAlonzo.Code.Data.List.Base.du_'91'_'93'_286 ((Any -> Any) -> Any -> Any
forall a b. a -> b
coe Any -> Any
v1 Any
v2)))
      ([Any] -> Any
forall a b. a -> b
coe [Any]
v0)
-- Data.List.Effectful.Applicative.left-zero
d_left'45'zero_438 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () -> [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_left'45'zero_438 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
d_left'45'zero_438 = T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.Applicative.right-zero
d_right'45'zero_450 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  [AgdaAny -> AgdaAny] ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_right'45'zero_450 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> [Any -> Any] -> T__'8801'__12
d_right'45'zero_450 = T_Level_18
-> T_Level_18 -> T_Level_18 -> [Any -> Any] -> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.Applicative.unfold-<$>
d_unfold'45''60''36''62'_470 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  (AgdaAny -> AgdaAny) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_unfold'45''60''36''62'_470 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (Any -> Any)
-> [Any]
-> T__'8801'__12
d_unfold'45''60''36''62'_470 = T_Level_18
-> T_Level_18
-> T_Level_18
-> (Any -> Any)
-> [Any]
-> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.Applicative.unfold-⊛
d_unfold'45''8859'_486 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  [AgdaAny -> AgdaAny] ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_unfold'45''8859'_486 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any -> Any]
-> [Any]
-> T__'8801'__12
d_unfold'45''8859'_486 = T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any -> Any]
-> [Any]
-> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.Applicative.right-distributive
d_right'45'distributive_514 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  [AgdaAny -> AgdaAny] ->
  [AgdaAny -> AgdaAny] ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_right'45'distributive_514 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any -> Any]
-> [Any -> Any]
-> [Any]
-> T__'8801'__12
d_right'45'distributive_514 = T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any -> Any]
-> [Any -> Any]
-> [Any]
-> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.Applicative.identity
d_identity_536 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_identity_536 :: T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
d_identity_536 = T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.Applicative.pam-lemma
d_pam'45'lemma_556 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  () ->
  [AgdaAny] ->
  (AgdaAny -> AgdaAny) ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_pam'45'lemma_556 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> Any)
-> (Any -> [Any])
-> T__'8801'__12
d_pam'45'lemma_556 = T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> Any)
-> (Any -> [Any])
-> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.Applicative.composition
d_composition_584 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  () ->
  [AgdaAny -> AgdaAny] ->
  [AgdaAny -> AgdaAny] ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_composition_584 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any -> Any]
-> [Any -> Any]
-> [Any]
-> T__'8801'__12
d_composition_584 = T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any -> Any]
-> [Any -> Any]
-> [Any]
-> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.Applicative.homomorphism
d_homomorphism_644 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  (AgdaAny -> AgdaAny) ->
  AgdaAny -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_homomorphism_644 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> (Any -> Any) -> Any -> T__'8801'__12
d_homomorphism_644 = T_Level_18
-> T_Level_18 -> T_Level_18 -> (Any -> Any) -> Any -> T__'8801'__12
forall a. a
erased
-- Data.List.Effectful.Applicative.interchange
d_interchange_662 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  [AgdaAny -> AgdaAny] ->
  AgdaAny -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_interchange_662 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> [Any -> Any] -> Any -> T__'8801'__12
d_interchange_662 = T_Level_18
-> T_Level_18 -> T_Level_18 -> [Any -> Any] -> Any -> T__'8801'__12
forall a. a
erased