{-# 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.Categorical 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.Builtin.Unit
import qualified MAlonzo.Code.Agda.Primitive
import qualified MAlonzo.Code.Category.Applicative.Indexed
import qualified MAlonzo.Code.Category.Functor
import qualified MAlonzo.Code.Category.Monad.Indexed
import qualified MAlonzo.Code.Data.List.Base
import qualified MAlonzo.Code.Function.Base

-- Data.List.Categorical.functor
d_functor_8 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Category.Functor.T_RawFunctor_24
d_functor_8 :: T_Level_18 -> T_RawFunctor_24
d_functor_8 ~T_Level_18
v0 = T_RawFunctor_24
du_functor_8
du_functor_8 :: MAlonzo.Code.Category.Functor.T_RawFunctor_24
du_functor_8 :: T_RawFunctor_24
du_functor_8
  = ((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.Category.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.Categorical.applicative
d_applicative_12 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Category.Applicative.Indexed.T_RawIApplicative_38
d_applicative_12 :: T_Level_18 -> T_RawIApplicative_38
d_applicative_12 ~T_Level_18
v0 = T_RawIApplicative_38
du_applicative_12
du_applicative_12 ::
  MAlonzo.Code.Category.Applicative.Indexed.T_RawIApplicative_38
du_applicative_12 :: T_RawIApplicative_38
du_applicative_12
  = ((T_Level_18 -> Any -> Any -> Any)
 -> (T_Level_18
     -> T_Level_18 -> Any -> Any -> Any -> Any -> Any -> Any)
 -> T_RawIApplicative_38)
-> Any -> Any -> T_RawIApplicative_38
forall a b. a -> b
coe
      (T_Level_18 -> Any -> Any -> Any)
-> (T_Level_18
    -> T_Level_18 -> Any -> Any -> Any -> Any -> Any -> Any)
-> T_RawIApplicative_38
MAlonzo.Code.Category.Applicative.Indexed.C_RawIApplicative'46'constructor_815
      ((Any -> Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v0 Any
v1 -> (Any -> [Any]) -> Any
forall a b. a -> b
coe Any -> [Any]
MAlonzo.Code.Data.List.Base.du_'91'_'93'_298))
      ((Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v0 Any
v1 Any
v2 Any
v3 Any
v4 Any
v5 Any
v6 ->
            ((Any -> [Any]) -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
              (Any -> [Any]) -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du_concatMap_270
              ((Any -> Any) -> Any
forall a b. a -> b
coe
                 (\ Any
v7 ->
                    ((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
forall a b. a -> b
coe Any
v7) (Any -> Any
forall a b. a -> b
coe Any
v6)))
              (Any -> Any
forall a b. a -> b
coe Any
v5)))
-- Data.List.Categorical.applicativeZero
d_applicativeZero_22 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Category.Applicative.Indexed.T_RawIApplicativeZero_156
d_applicativeZero_22 :: T_Level_18 -> T_RawIApplicativeZero_156
d_applicativeZero_22 ~T_Level_18
v0 = T_RawIApplicativeZero_156
du_applicativeZero_22
du_applicativeZero_22 ::
  MAlonzo.Code.Category.Applicative.Indexed.T_RawIApplicativeZero_156
du_applicativeZero_22 :: T_RawIApplicativeZero_156
du_applicativeZero_22
  = (T_RawIApplicative_38
 -> (T_Level_18 -> Any -> Any -> Any) -> T_RawIApplicativeZero_156)
-> Any -> Any -> T_RawIApplicativeZero_156
forall a b. a -> b
coe
      T_RawIApplicative_38
-> (T_Level_18 -> Any -> Any -> Any) -> T_RawIApplicativeZero_156
MAlonzo.Code.Category.Applicative.Indexed.C_RawIApplicativeZero'46'constructor_10911
      (T_RawIApplicative_38 -> Any
forall a b. a -> b
coe T_RawIApplicative_38
du_applicative_12)
      ((Any -> Any -> Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v0 Any
v1 Any
v2 -> [Any] -> Any
forall a b. a -> b
coe [Any]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16))
-- Data.List.Categorical.alternative
d_alternative_26 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Category.Applicative.Indexed.T_RawIAlternative_210
d_alternative_26 :: T_Level_18 -> T_RawIAlternative_210
d_alternative_26 ~T_Level_18
v0 = T_RawIAlternative_210
du_alternative_26
du_alternative_26 ::
  MAlonzo.Code.Category.Applicative.Indexed.T_RawIAlternative_210
du_alternative_26 :: T_RawIAlternative_210
du_alternative_26
  = (T_RawIApplicativeZero_156
 -> (T_Level_18 -> Any -> Any -> Any -> Any -> Any)
 -> T_RawIAlternative_210)
-> Any -> Any -> T_RawIAlternative_210
forall a b. a -> b
coe
      T_RawIApplicativeZero_156
-> (T_Level_18 -> Any -> Any -> Any -> Any -> Any)
-> T_RawIAlternative_210
MAlonzo.Code.Category.Applicative.Indexed.C_RawIAlternative'46'constructor_12491
      (T_RawIApplicativeZero_156 -> Any
forall a b. a -> b
coe T_RawIApplicativeZero_156
du_applicativeZero_22)
      ((Any -> Any -> Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v0 Any
v1 Any
v2 -> ([Any] -> [Any] -> [Any]) -> Any
forall a b. a -> b
coe [Any] -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du__'43''43'__60))
-- Data.List.Categorical.monad
d_monad_30 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32
d_monad_30 :: T_Level_18 -> T_RawIMonad_32
d_monad_30 ~T_Level_18
v0 = T_RawIMonad_32
du_monad_30
du_monad_30 :: MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32
du_monad_30 :: T_RawIMonad_32
du_monad_30
  = ((T_Level_18 -> Any -> Any -> Any)
 -> (T_Level_18
     -> T_Level_18 -> Any -> Any -> Any -> Any -> (Any -> Any) -> Any)
 -> T_RawIMonad_32)
-> Any -> Any -> T_RawIMonad_32
forall a b. a -> b
coe
      (T_Level_18 -> Any -> Any -> Any)
-> (T_Level_18
    -> T_Level_18 -> Any -> Any -> Any -> Any -> (Any -> Any) -> Any)
-> T_RawIMonad_32
MAlonzo.Code.Category.Monad.Indexed.C_RawIMonad'46'constructor_711
      ((Any -> Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v0 Any
v1 -> (Any -> [Any]) -> Any
forall a b. a -> b
coe Any -> [Any]
MAlonzo.Code.Data.List.Base.du_'91'_'93'_298))
      ((Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v0 Any
v1 Any
v2 Any
v3 Any
v4 Any
v5 Any
v6 ->
            ((Any -> [Any]) -> [Any] -> [Any]) -> Any -> Any -> Any
forall a b. a -> b
coe
              (Any -> [Any]) -> [Any] -> [Any]
MAlonzo.Code.Data.List.Base.du_concatMap_270 (Any -> Any
forall a b. a -> b
coe Any
v6) (Any -> Any
forall a b. a -> b
coe Any
v5)))
-- Data.List.Categorical.monadZero
d_monadZero_34 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonadZero_174
d_monadZero_34 :: T_Level_18 -> T_RawIMonadZero_174
d_monadZero_34 ~T_Level_18
v0 = T_RawIMonadZero_174
du_monadZero_34
du_monadZero_34 ::
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonadZero_174
du_monadZero_34 :: T_RawIMonadZero_174
du_monadZero_34
  = (T_RawIMonad_32
 -> T_RawIApplicativeZero_156 -> T_RawIMonadZero_174)
-> Any -> Any -> T_RawIMonadZero_174
forall a b. a -> b
coe
      T_RawIMonad_32 -> T_RawIApplicativeZero_156 -> T_RawIMonadZero_174
MAlonzo.Code.Category.Monad.Indexed.C_RawIMonadZero'46'constructor_10609
      (T_RawIMonad_32 -> Any
forall a b. a -> b
coe T_RawIMonad_32
du_monad_30) (T_RawIApplicativeZero_156 -> Any
forall a b. a -> b
coe T_RawIApplicativeZero_156
du_applicativeZero_22)
-- Data.List.Categorical.monadPlus
d_monadPlus_38 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonadPlus_240
d_monadPlus_38 :: T_Level_18 -> T_RawIMonadPlus_240
d_monadPlus_38 ~T_Level_18
v0 = T_RawIMonadPlus_240
du_monadPlus_38
du_monadPlus_38 ::
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonadPlus_240
du_monadPlus_38 :: T_RawIMonadPlus_240
du_monadPlus_38
  = (T_RawIMonad_32 -> T_RawIAlternative_210 -> T_RawIMonadPlus_240)
-> Any -> Any -> T_RawIMonadPlus_240
forall a b. a -> b
coe
      T_RawIMonad_32 -> T_RawIAlternative_210 -> T_RawIMonadPlus_240
MAlonzo.Code.Category.Monad.Indexed.C_RawIMonadPlus'46'constructor_12775
      (T_RawIMonad_32 -> Any
forall a b. a -> b
coe T_RawIMonad_32
du_monad_30) (T_RawIAlternative_210 -> Any
forall a b. a -> b
coe T_RawIAlternative_210
du_alternative_26)
-- Data.List.Categorical.TraversableA.sequenceA
d_sequenceA_74 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Category.Applicative.Indexed.T_RawIApplicative_38 ->
  () -> [AgdaAny] -> AgdaAny
d_sequenceA_74 :: T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawIApplicative_38
-> T_Level_18
-> [Any]
-> Any
d_sequenceA_74 ~T_Level_18
v0 ~T_Level_18 -> T_Level_18
v1 T_RawIApplicative_38
v2 ~T_Level_18
v3 [Any]
v4 = T_RawIApplicative_38 -> [Any] -> Any
du_sequenceA_74 T_RawIApplicative_38
v2 [Any]
v4
du_sequenceA_74 ::
  MAlonzo.Code.Category.Applicative.Indexed.T_RawIApplicative_38 ->
  [AgdaAny] -> AgdaAny
du_sequenceA_74 :: T_RawIApplicative_38 -> [Any] -> Any
du_sequenceA_74 T_RawIApplicative_38
v0 [Any]
v1
  = case [Any] -> [Any]
forall a b. a -> b
coe [Any]
v1 of
      []
        -> (T_RawIApplicative_38 -> T_Level_18 -> Any -> Any -> Any)
-> T_RawIApplicative_38 -> Any -> Any -> [Any] -> Any
forall a b. a -> b
coe
             T_RawIApplicative_38 -> T_Level_18 -> Any -> Any -> Any
MAlonzo.Code.Category.Applicative.Indexed.d_pure_58 T_RawIApplicative_38
v0 Any
forall a. a
erased
             (T_Level_18 -> Any
forall a b. a -> b
coe T_Level_18
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8) [Any]
v1
      (:) Any
v2 [Any]
v3
        -> (T_RawIApplicative_38
 -> T_Level_18
 -> T_Level_18
 -> Any
 -> Any
 -> Any
 -> Any
 -> Any
 -> Any)
-> T_RawIApplicative_38
-> Any
-> Any
-> Any
-> Any
-> Any
-> Any
-> Any
-> Any
forall a b. a -> b
coe
             T_RawIApplicative_38
-> T_Level_18
-> T_Level_18
-> Any
-> Any
-> Any
-> Any
-> Any
-> Any
MAlonzo.Code.Category.Applicative.Indexed.d__'8859'__66 T_RawIApplicative_38
v0 Any
forall a. a
erased
             Any
forall a. a
erased (T_Level_18 -> Any
forall a b. a -> b
coe T_Level_18
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8)
             (T_Level_18 -> Any
forall a b. a -> b
coe T_Level_18
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8)
             (T_Level_18 -> Any
forall a b. a -> b
coe T_Level_18
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8)
             (let v4 :: b
v4 = T_Level_18 -> b
forall a b. a -> b
coe T_Level_18
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8 in
              Any -> Any
forall a b. a -> b
coe
                (let v5 :: b
v5 = T_Level_18 -> b
forall a b. a -> b
coe T_Level_18
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8 in
                 Any -> Any
forall a b. a -> b
coe
                   ((T_RawFunctor_24
 -> T_Level_18 -> T_Level_18 -> (Any -> Any) -> Any -> Any)
-> Any -> 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.Category.Functor.d__'60''36''62'__30
                      ((T_RawIApplicative_38 -> Any -> Any -> T_RawFunctor_24)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                         T_RawIApplicative_38 -> Any -> Any -> T_RawFunctor_24
MAlonzo.Code.Category.Applicative.Indexed.du_rawFunctor_72 (T_RawIApplicative_38 -> Any
forall a b. a -> b
coe T_RawIApplicative_38
v0)
                         (Any -> Any
forall a b. a -> b
coe Any
forall a. a
v4) (Any -> Any
forall a b. a -> b
coe Any
forall a. a
v5))
                      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_RawIApplicative_38 -> [Any] -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe T_RawIApplicative_38 -> [Any] -> Any
du_sequenceA_74 (T_RawIApplicative_38 -> Any
forall a b. a -> b
coe T_RawIApplicative_38
v0) ([Any] -> Any
forall a b. a -> b
coe [Any]
v3))
      [Any]
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Categorical.TraversableA.mapA
d_mapA_86 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Category.Applicative.Indexed.T_RawIApplicative_38 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> AgdaAny
d_mapA_86 :: T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawIApplicative_38
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (Any -> Any)
-> [Any]
-> Any
d_mapA_86 ~T_Level_18
v0 ~T_Level_18 -> T_Level_18
v1 T_RawIApplicative_38
v2 ~T_Level_18
v3 ~T_Level_18
v4 ~T_Level_18
v5 Any -> Any
v6 [Any]
v7 = T_RawIApplicative_38 -> (Any -> Any) -> [Any] -> Any
du_mapA_86 T_RawIApplicative_38
v2 Any -> Any
v6 [Any]
v7
du_mapA_86 ::
  MAlonzo.Code.Category.Applicative.Indexed.T_RawIApplicative_38 ->
  (AgdaAny -> AgdaAny) -> [AgdaAny] -> AgdaAny
du_mapA_86 :: T_RawIApplicative_38 -> (Any -> Any) -> [Any] -> Any
du_mapA_86 T_RawIApplicative_38
v0 Any -> Any
v1 [Any]
v2
  = (T_RawIApplicative_38 -> [Any] -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe
      T_RawIApplicative_38 -> [Any] -> Any
du_sequenceA_74 (T_RawIApplicative_38 -> Any
forall a b. a -> b
coe T_RawIApplicative_38
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.Categorical.TraversableA.forA
d_forA_96 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Category.Applicative.Indexed.T_RawIApplicative_38 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> [AgdaAny] -> (AgdaAny -> AgdaAny) -> AgdaAny
d_forA_96 :: T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawIApplicative_38
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> Any)
-> Any
d_forA_96 ~T_Level_18
v0 ~T_Level_18 -> T_Level_18
v1 T_RawIApplicative_38
v2 ~T_Level_18
v3 ~T_Level_18
v4 ~T_Level_18
v5 [Any]
v6 Any -> Any
v7 = T_RawIApplicative_38 -> [Any] -> (Any -> Any) -> Any
du_forA_96 T_RawIApplicative_38
v2 [Any]
v6 Any -> Any
v7
du_forA_96 ::
  MAlonzo.Code.Category.Applicative.Indexed.T_RawIApplicative_38 ->
  [AgdaAny] -> (AgdaAny -> AgdaAny) -> AgdaAny
du_forA_96 :: T_RawIApplicative_38 -> [Any] -> (Any -> Any) -> Any
du_forA_96 T_RawIApplicative_38
v0 [Any]
v1 Any -> Any
v2 = (T_RawIApplicative_38 -> (Any -> Any) -> [Any] -> Any)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe T_RawIApplicative_38 -> (Any -> Any) -> [Any] -> Any
du_mapA_86 (T_RawIApplicative_38 -> Any
forall a b. a -> b
coe T_RawIApplicative_38
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.Categorical.TraversableM._.forA
d_forA_148 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> [AgdaAny] -> (AgdaAny -> AgdaAny) -> AgdaAny
d_forA_148 :: T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawIMonad_32
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> Any)
-> Any
d_forA_148 ~T_Level_18
v0 ~T_Level_18 -> T_Level_18
v1 T_RawIMonad_32
v2 = T_RawIMonad_32
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> Any)
-> Any
du_forA_148 T_RawIMonad_32
v2
du_forA_148 ::
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> [AgdaAny] -> (AgdaAny -> AgdaAny) -> AgdaAny
du_forA_148 :: T_RawIMonad_32
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> Any)
-> Any
du_forA_148 T_RawIMonad_32
v0 T_Level_18
v1 T_Level_18
v2 T_Level_18
v3 [Any]
v4 Any -> Any
v5
  = (T_RawIApplicative_38 -> [Any] -> (Any -> Any) -> Any)
-> Any -> [Any] -> (Any -> Any) -> Any
forall a b. a -> b
coe
      T_RawIApplicative_38 -> [Any] -> (Any -> Any) -> Any
du_forA_96
      ((T_RawIMonad_32 -> T_RawIApplicative_38) -> Any -> Any
forall a b. a -> b
coe
         T_RawIMonad_32 -> T_RawIApplicative_38
MAlonzo.Code.Category.Monad.Indexed.du_rawIApplicative_122
         (T_RawIMonad_32 -> Any
forall a b. a -> b
coe T_RawIMonad_32
v0))
      [Any]
v4 Any -> Any
v5
-- Data.List.Categorical.TraversableM._.mapA
d_mapA_150 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> AgdaAny
d_mapA_150 :: T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawIMonad_32
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (Any -> Any)
-> [Any]
-> Any
d_mapA_150 ~T_Level_18
v0 ~T_Level_18 -> T_Level_18
v1 T_RawIMonad_32
v2 = T_RawIMonad_32
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (Any -> Any)
-> [Any]
-> Any
du_mapA_150 T_RawIMonad_32
v2
du_mapA_150 ::
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> AgdaAny
du_mapA_150 :: T_RawIMonad_32
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (Any -> Any)
-> [Any]
-> Any
du_mapA_150 T_RawIMonad_32
v0 T_Level_18
v1 T_Level_18
v2 T_Level_18
v3 Any -> Any
v4 [Any]
v5
  = (T_RawIApplicative_38 -> (Any -> Any) -> [Any] -> Any)
-> Any -> (Any -> Any) -> [Any] -> Any
forall a b. a -> b
coe
      T_RawIApplicative_38 -> (Any -> Any) -> [Any] -> Any
du_mapA_86
      ((T_RawIMonad_32 -> T_RawIApplicative_38) -> Any -> Any
forall a b. a -> b
coe
         T_RawIMonad_32 -> T_RawIApplicative_38
MAlonzo.Code.Category.Monad.Indexed.du_rawIApplicative_122
         (T_RawIMonad_32 -> Any
forall a b. a -> b
coe T_RawIMonad_32
v0))
      Any -> Any
v4 [Any]
v5
-- Data.List.Categorical.TraversableM._.sequenceA
d_sequenceA_152 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (() -> ()) ->
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32 ->
  () -> [AgdaAny] -> AgdaAny
d_sequenceA_152 :: T_Level_18
-> (T_Level_18 -> T_Level_18)
-> T_RawIMonad_32
-> T_Level_18
-> [Any]
-> Any
d_sequenceA_152 ~T_Level_18
v0 ~T_Level_18 -> T_Level_18
v1 T_RawIMonad_32
v2 = T_RawIMonad_32 -> T_Level_18 -> [Any] -> Any
du_sequenceA_152 T_RawIMonad_32
v2
du_sequenceA_152 ::
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32 ->
  () -> [AgdaAny] -> AgdaAny
du_sequenceA_152 :: T_RawIMonad_32 -> T_Level_18 -> [Any] -> Any
du_sequenceA_152 T_RawIMonad_32
v0 T_Level_18
v1 [Any]
v2
  = (T_RawIApplicative_38 -> [Any] -> Any) -> Any -> [Any] -> Any
forall a b. a -> b
coe
      T_RawIApplicative_38 -> [Any] -> Any
du_sequenceA_74
      ((T_RawIMonad_32 -> T_RawIApplicative_38) -> Any -> Any
forall a b. a -> b
coe
         T_RawIMonad_32 -> T_RawIApplicative_38
MAlonzo.Code.Category.Monad.Indexed.du_rawIApplicative_122
         (T_RawIMonad_32 -> Any
forall a b. a -> b
coe T_RawIMonad_32
v0))
      [Any]
v2
-- Data.List.Categorical.monadT
d_monadT_158 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
   MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 -> () -> ()) ->
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32 ->
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32
d_monadT_158 :: T_Level_18
-> (T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18)
-> T_RawIMonad_32
-> T_RawIMonad_32
d_monadT_158 ~T_Level_18
v0 ~T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18
v1 T_RawIMonad_32
v2 = T_RawIMonad_32 -> T_RawIMonad_32
du_monadT_158 T_RawIMonad_32
v2
du_monadT_158 ::
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32 ->
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32
du_monadT_158 :: T_RawIMonad_32 -> T_RawIMonad_32
du_monadT_158 T_RawIMonad_32
v0
  = ((T_Level_18 -> Any -> Any -> Any)
 -> (T_Level_18
     -> T_Level_18 -> Any -> Any -> Any -> Any -> (Any -> Any) -> Any)
 -> T_RawIMonad_32)
-> Any -> Any -> T_RawIMonad_32
forall a b. a -> b
coe
      (T_Level_18 -> Any -> Any -> Any)
-> (T_Level_18
    -> T_Level_18 -> Any -> Any -> Any -> Any -> (Any -> Any) -> Any)
-> T_RawIMonad_32
MAlonzo.Code.Category.Monad.Indexed.C_RawIMonad'46'constructor_711
      ((Any -> Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v1 Any
v2 ->
            ((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'__226
              ((T_RawIMonad_32 -> T_Level_18 -> Any -> Any -> Any)
-> T_RawIMonad_32 -> Any -> Any -> Any
forall a b. a -> b
coe
                 T_RawIMonad_32 -> T_Level_18 -> Any -> Any -> Any
MAlonzo.Code.Category.Monad.Indexed.d_return_52 T_RawIMonad_32
v0 Any
forall a. a
erased
                 (T_Level_18 -> Any
forall a b. a -> b
coe T_Level_18
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8))
              ((Any -> [Any]) -> Any
forall a b. a -> b
coe Any -> [Any]
MAlonzo.Code.Data.List.Base.du_'91'_'93'_298)))
      ((Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v1 Any
v2 Any
v3 Any
v4 Any
v5 Any
v6 Any
v7 ->
            (T_RawIMonad_32
 -> T_Level_18
 -> T_Level_18
 -> Any
 -> Any
 -> Any
 -> Any
 -> (Any -> Any)
 -> Any)
-> T_RawIMonad_32
-> Any
-> Any
-> Any
-> Any
-> Any
-> Any
-> (Any -> Any)
-> Any
forall a b. a -> b
coe
              T_RawIMonad_32
-> T_Level_18
-> T_Level_18
-> Any
-> Any
-> Any
-> Any
-> (Any -> Any)
-> Any
MAlonzo.Code.Category.Monad.Indexed.d__'62''62''61'__60 T_RawIMonad_32
v0 Any
forall a. a
erased
              Any
forall a. a
erased (T_Level_18 -> Any
forall a b. a -> b
coe T_Level_18
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8)
              (T_Level_18 -> Any
forall a b. a -> b
coe T_Level_18
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8)
              (T_Level_18 -> Any
forall a b. a -> b
coe T_Level_18
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8) Any
v6
              (\ Any
v8 ->
                 let v9 :: t
v9
                       = (T_RawIMonad_32 -> T_RawIApplicative_38) -> Any -> t
forall a b. a -> b
coe
                           T_RawIMonad_32 -> T_RawIApplicative_38
MAlonzo.Code.Category.Monad.Indexed.du_rawIApplicative_122
                           (T_RawIMonad_32 -> Any
forall a b. a -> b
coe T_RawIMonad_32
v0) in
                 Any -> Any
forall a b. a -> b
coe
                   (let v10 :: b
v10 = T_Level_18 -> b
forall a b. a -> b
coe T_Level_18
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8 in
                    Any -> Any
forall a b. a -> b
coe
                      (let v11 :: b
v11 = T_Level_18 -> b
forall a b. a -> b
coe T_Level_18
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8 in
                       Any -> Any
forall a b. a -> b
coe
                         ((T_RawFunctor_24
 -> T_Level_18 -> T_Level_18 -> (Any -> Any) -> Any -> Any)
-> Any -> 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.Category.Functor.d__'60''36''62'__30
                            ((T_RawIApplicative_38 -> Any -> Any -> T_RawFunctor_24)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                               T_RawIApplicative_38 -> Any -> Any -> T_RawFunctor_24
MAlonzo.Code.Category.Applicative.Indexed.du_rawFunctor_72 (Any -> Any
forall a b. a -> b
coe Any
forall a. a
v9)
                               (Any -> Any
forall a b. a -> b
coe Any
forall a. a
v10) (Any -> Any
forall a b. a -> b
coe Any
forall a. a
v11))
                            Any
forall a. a
erased Any
forall a. a
erased (([[Any]] -> [Any]) -> Any
forall a b. a -> b
coe [[Any]] -> [Any]
MAlonzo.Code.Data.List.Base.du_concat_268)
                            ((T_RawIApplicative_38 -> (Any -> Any) -> [Any] -> Any)
-> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                               T_RawIApplicative_38 -> (Any -> Any) -> [Any] -> Any
du_mapA_86
                               ((T_RawIMonad_32 -> T_RawIApplicative_38) -> Any -> Any
forall a b. a -> b
coe
                                  T_RawIMonad_32 -> T_RawIApplicative_38
MAlonzo.Code.Category.Monad.Indexed.du_rawIApplicative_122
                                  (T_RawIMonad_32 -> Any
forall a b. a -> b
coe T_RawIMonad_32
v0))
                               (Any -> Any
forall a b. a -> b
coe Any
v7) (Any -> Any
forall a b. a -> b
coe Any
v8))))))))
-- Data.List.Categorical._._.forA
d_forA_208 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
   MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 -> () -> ()) ->
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> [AgdaAny] -> (AgdaAny -> AgdaAny) -> AgdaAny
d_forA_208 :: T_Level_18
-> (T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18)
-> T_RawIMonad_32
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> Any)
-> Any
d_forA_208 ~T_Level_18
v0 ~T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18
v1 T_RawIMonad_32
v2 = T_RawIMonad_32
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> Any)
-> Any
du_forA_208 T_RawIMonad_32
v2
du_forA_208 ::
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> [AgdaAny] -> (AgdaAny -> AgdaAny) -> AgdaAny
du_forA_208 :: T_RawIMonad_32
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> Any)
-> Any
du_forA_208 T_RawIMonad_32
v0 T_Level_18
v1 T_Level_18
v2 T_Level_18
v3 [Any]
v4 Any -> Any
v5
  = (T_RawIApplicative_38 -> [Any] -> (Any -> Any) -> Any)
-> Any -> [Any] -> (Any -> Any) -> Any
forall a b. a -> b
coe
      T_RawIApplicative_38 -> [Any] -> (Any -> Any) -> Any
du_forA_96
      ((T_RawIMonad_32 -> T_RawIApplicative_38) -> Any -> Any
forall a b. a -> b
coe
         T_RawIMonad_32 -> T_RawIApplicative_38
MAlonzo.Code.Category.Monad.Indexed.du_rawIApplicative_122
         (T_RawIMonad_32 -> Any
forall a b. a -> b
coe T_RawIMonad_32
v0))
      [Any]
v4 Any -> Any
v5
-- Data.List.Categorical._._.mapA
d_mapA_210 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
   MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 -> () -> ()) ->
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> AgdaAny
d_mapA_210 :: T_Level_18
-> (T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18)
-> T_RawIMonad_32
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (Any -> Any)
-> [Any]
-> Any
d_mapA_210 ~T_Level_18
v0 ~T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18
v1 T_RawIMonad_32
v2 = T_RawIMonad_32
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (Any -> Any)
-> [Any]
-> Any
du_mapA_210 T_RawIMonad_32
v2
du_mapA_210 ::
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> AgdaAny
du_mapA_210 :: T_RawIMonad_32
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (Any -> Any)
-> [Any]
-> Any
du_mapA_210 T_RawIMonad_32
v0 T_Level_18
v1 T_Level_18
v2 T_Level_18
v3 Any -> Any
v4 [Any]
v5
  = (T_RawIApplicative_38 -> (Any -> Any) -> [Any] -> Any)
-> Any -> (Any -> Any) -> [Any] -> Any
forall a b. a -> b
coe
      T_RawIApplicative_38 -> (Any -> Any) -> [Any] -> Any
du_mapA_86
      ((T_RawIMonad_32 -> T_RawIApplicative_38) -> Any -> Any
forall a b. a -> b
coe
         T_RawIMonad_32 -> T_RawIApplicative_38
MAlonzo.Code.Category.Monad.Indexed.du_rawIApplicative_122
         (T_RawIMonad_32 -> Any
forall a b. a -> b
coe T_RawIMonad_32
v0))
      Any -> Any
v4 [Any]
v5
-- Data.List.Categorical._._.sequenceA
d_sequenceA_212 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
   MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 -> () -> ()) ->
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32 ->
  () -> [AgdaAny] -> AgdaAny
d_sequenceA_212 :: T_Level_18
-> (T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18)
-> T_RawIMonad_32
-> T_Level_18
-> [Any]
-> Any
d_sequenceA_212 ~T_Level_18
v0 ~T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18
v1 T_RawIMonad_32
v2 = T_RawIMonad_32 -> T_Level_18 -> [Any] -> Any
du_sequenceA_212 T_RawIMonad_32
v2
du_sequenceA_212 ::
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32 ->
  () -> [AgdaAny] -> AgdaAny
du_sequenceA_212 :: T_RawIMonad_32 -> T_Level_18 -> [Any] -> Any
du_sequenceA_212 T_RawIMonad_32
v0 T_Level_18
v1 [Any]
v2
  = (T_RawIApplicative_38 -> [Any] -> Any) -> Any -> [Any] -> Any
forall a b. a -> b
coe
      T_RawIApplicative_38 -> [Any] -> Any
du_sequenceA_74
      ((T_RawIMonad_32 -> T_RawIApplicative_38) -> Any -> Any
forall a b. a -> b
coe
         T_RawIMonad_32 -> T_RawIApplicative_38
MAlonzo.Code.Category.Monad.Indexed.du_rawIApplicative_122
         (T_RawIMonad_32 -> Any
forall a b. a -> b
coe T_RawIMonad_32
v0))
      [Any]
v2
-- Data.List.Categorical.LMP._>>=_
d__'62''62''61'__240 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  [AgdaAny] -> (AgdaAny -> [AgdaAny]) -> [AgdaAny]
d__'62''62''61'__240 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> [Any])
-> [Any]
d__'62''62''61'__240 ~T_Level_18
v0 = T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> [Any])
-> [Any]
du__'62''62''61'__240
du__'62''62''61'__240 ::
  () ->
  () ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  [AgdaAny] -> (AgdaAny -> [AgdaAny]) -> [AgdaAny]
du__'62''62''61'__240 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> [Any])
-> [Any]
du__'62''62''61'__240
  = let v0 :: b
v0 = T_RawIMonadPlus_240 -> b
forall a b. a -> b
coe T_RawIMonadPlus_240
du_monadPlus_38 in
    Any
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> [Any])
-> [Any]
forall a b. a -> b
coe
      ((T_RawIMonad_32
 -> T_Level_18
 -> T_Level_18
 -> Any
 -> Any
 -> Any
 -> Any
 -> (Any -> Any)
 -> Any)
-> Any -> Any
forall a b. a -> b
coe
         T_RawIMonad_32
-> T_Level_18
-> T_Level_18
-> Any
-> Any
-> Any
-> Any
-> (Any -> Any)
-> Any
MAlonzo.Code.Category.Monad.Indexed.d__'62''62''61'__60
         ((T_RawIMonadPlus_240 -> T_RawIMonad_32) -> Any -> Any
forall a b. a -> b
coe T_RawIMonadPlus_240 -> T_RawIMonad_32
MAlonzo.Code.Category.Monad.Indexed.d_monad_250 (Any -> Any
forall a b. a -> b
coe Any
forall a. a
v0)))
-- Data.List.Categorical.LMP._∣_
d__'8739'__242 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  [AgdaAny] -> [AgdaAny] -> [AgdaAny]
d__'8739'__242 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> [Any]
-> [Any]
d__'8739'__242 ~T_Level_18
v0 = T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any] -> [Any] -> [Any]
du__'8739'__242
du__'8739'__242 ::
  () ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du__'8739'__242 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any] -> [Any] -> [Any]
du__'8739'__242
  = (T_RawIAlternative_210
 -> T_Level_18 -> Any -> Any -> Any -> Any -> Any)
-> Any
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> [Any]
-> [Any]
forall a b. a -> b
coe
      T_RawIAlternative_210
-> T_Level_18 -> Any -> Any -> Any -> Any -> Any
MAlonzo.Code.Category.Applicative.Indexed.d__'8739'__230
      ((T_RawIMonadPlus_240 -> T_RawIAlternative_210) -> Any -> Any
forall a b. a -> b
coe
         T_RawIMonadPlus_240 -> T_RawIAlternative_210
MAlonzo.Code.Category.Monad.Indexed.d_alternative_252
         (T_RawIMonadPlus_240 -> Any
forall a b. a -> b
coe T_RawIMonadPlus_240
du_monadPlus_38))
-- Data.List.Categorical.LMP._⊛_
d__'8859'__246 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  [AgdaAny -> AgdaAny] -> [AgdaAny] -> [AgdaAny]
d__'8859'__246 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any -> Any]
-> [Any]
-> [Any]
d__'8859'__246 ~T_Level_18
v0 = T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any -> Any]
-> [Any]
-> [Any]
du__'8859'__246
du__'8859'__246 ::
  () ->
  () ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  [AgdaAny -> AgdaAny] -> [AgdaAny] -> [AgdaAny]
du__'8859'__246 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any -> Any]
-> [Any]
-> [Any]
du__'8859'__246
  = let v0 :: b
v0 = T_RawIMonadPlus_240 -> b
forall a b. a -> b
coe T_RawIMonadPlus_240
du_monadPlus_38 in
    Any
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any -> Any]
-> [Any]
-> [Any]
forall a b. a -> b
coe
      (let v1 :: T_RawIMonad_32
v1
             = T_RawIMonadPlus_240 -> T_RawIMonad_32
MAlonzo.Code.Category.Monad.Indexed.d_monad_250 (Any -> T_RawIMonadPlus_240
forall a b. a -> b
coe Any
forall a. a
v0) in
       Any -> Any
forall a b. a -> b
coe
         ((Any -> Any -> Any -> Any -> Any -> Any -> Any -> Any) -> Any
forall a b. a -> b
coe
            (\ Any
v2 Any
v3 Any
v4 Any
v5 Any
v6 Any
v7 Any
v8 ->
               (T_RawIMonad_32
 -> T_Level_18
 -> T_Level_18
 -> Any
 -> Any
 -> Any
 -> Any
 -> (Any -> Any)
 -> Any)
-> T_RawIMonad_32
-> Any
-> Any
-> Any
-> Any
-> Any
-> Any
-> (Any -> Any)
-> Any
forall a b. a -> b
coe
                 T_RawIMonad_32
-> T_Level_18
-> T_Level_18
-> Any
-> Any
-> Any
-> Any
-> (Any -> Any)
-> Any
MAlonzo.Code.Category.Monad.Indexed.d__'62''62''61'__60 T_RawIMonad_32
v1 Any
forall a. a
erased
                 Any
forall a. a
erased Any
v4 Any
v5 Any
v6 Any
v7
                 (\ Any
v9 ->
                    (T_RawIMonad_32
 -> T_Level_18
 -> T_Level_18
 -> Any
 -> Any
 -> Any
 -> Any
 -> (Any -> Any)
 -> Any)
-> T_RawIMonad_32
-> Any
-> Any
-> Any
-> Any
-> Any
-> Any
-> (Any -> Any)
-> Any
forall a b. a -> b
coe
                      T_RawIMonad_32
-> T_Level_18
-> T_Level_18
-> Any
-> Any
-> Any
-> Any
-> (Any -> Any)
-> Any
MAlonzo.Code.Category.Monad.Indexed.d__'62''62''61'__60 T_RawIMonad_32
v1 Any
forall a. a
erased
                      Any
forall a. a
erased Any
v5 Any
v6 Any
v6 Any
v8
                      (\ Any
v10 ->
                         (T_RawIMonad_32 -> T_Level_18 -> Any -> Any -> Any)
-> T_RawIMonad_32 -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
                           T_RawIMonad_32 -> T_Level_18 -> Any -> Any -> Any
MAlonzo.Code.Category.Monad.Indexed.d_return_52 T_RawIMonad_32
v1 Any
forall a. a
erased Any
v6
                           (Any -> Any -> Any
forall a b. a -> b
coe Any
v9 Any
v10))))))
-- Data.List.Categorical.LMP.return
d_return_264 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 -> AgdaAny -> [AgdaAny]
d_return_264 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> Any -> [Any]
d_return_264 ~T_Level_18
v0 = T_Level_18 -> T_Level_18 -> Any -> [Any]
du_return_264
du_return_264 ::
  () ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 -> AgdaAny -> [AgdaAny]
du_return_264 :: T_Level_18 -> T_Level_18 -> Any -> [Any]
du_return_264
  = (T_RawIMonad_32 -> T_Level_18 -> Any -> Any -> Any)
-> Any -> T_Level_18 -> T_Level_18 -> Any -> [Any]
forall a b. a -> b
coe
      T_RawIMonad_32 -> T_Level_18 -> Any -> Any -> Any
MAlonzo.Code.Category.Monad.Indexed.d_return_52
      ((T_RawIMonadPlus_240 -> T_RawIMonad_32) -> Any -> Any
forall a b. a -> b
coe
         T_RawIMonadPlus_240 -> T_RawIMonad_32
MAlonzo.Code.Category.Monad.Indexed.d_monad_250
         (T_RawIMonadPlus_240 -> Any
forall a b. a -> b
coe T_RawIMonadPlus_240
du_monadPlus_38))
-- Data.List.Categorical.LMP.∅
d_'8709'_270 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 -> [AgdaAny]
d_'8709'_270 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any]
d_'8709'_270 ~T_Level_18
v0 = T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any]
du_'8709'_270
du_'8709'_270 ::
  () ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 ->
  MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6 -> [AgdaAny]
du_'8709'_270 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any]
du_'8709'_270
  = (T_RawIApplicativeZero_156 -> T_Level_18 -> Any -> Any -> Any)
-> Any -> T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any]
forall a b. a -> b
coe
      T_RawIApplicativeZero_156 -> T_Level_18 -> Any -> Any -> Any
MAlonzo.Code.Category.Applicative.Indexed.d_'8709'_176
      ((T_RawIAlternative_210 -> T_RawIApplicativeZero_156) -> Any -> Any
forall a b. a -> b
coe
         T_RawIAlternative_210 -> T_RawIApplicativeZero_156
MAlonzo.Code.Category.Applicative.Indexed.d_applicativeZero_224
         ((T_RawIMonadPlus_240 -> T_RawIAlternative_210) -> Any -> Any
forall a b. a -> b
coe
            T_RawIMonadPlus_240 -> T_RawIAlternative_210
MAlonzo.Code.Category.Monad.Indexed.d_alternative_252
            (T_RawIMonadPlus_240 -> Any
forall a b. a -> b
coe T_RawIMonadPlus_240
du_monadPlus_38)))
-- Data.List.Categorical.MonadProperties.left-identity
d_left'45'identity_284 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  AgdaAny ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_left'45'identity_284 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> Any
-> (Any -> [Any])
-> T__'8801'__12
d_left'45'identity_284 = T_Level_18
-> T_Level_18
-> T_Level_18
-> Any
-> (Any -> [Any])
-> T__'8801'__12
forall a. a
erased
-- Data.List.Categorical.MonadProperties.right-identity
d_right'45'identity_296 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_right'45'identity_296 :: T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
d_right'45'identity_296 = T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
forall a. a
erased
-- Data.List.Categorical.MonadProperties.left-zero
d_left'45'zero_312 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_left'45'zero_312 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> (Any -> [Any]) -> T__'8801'__12
d_left'45'zero_312 = T_Level_18
-> T_Level_18 -> T_Level_18 -> (Any -> [Any]) -> T__'8801'__12
forall a. a
erased
-- Data.List.Categorical.MonadProperties.right-zero
d_right'45'zero_324 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () -> [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_right'45'zero_324 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
d_right'45'zero_324 = T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
forall a. a
erased
-- Data.List.Categorical.MonadProperties.right-distributive
d_right'45'distributive_352 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  [AgdaAny] ->
  [AgdaAny] ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_right'45'distributive_352 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> [Any]
-> (Any -> [Any])
-> T__'8801'__12
d_right'45'distributive_352 = T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> [Any]
-> (Any -> [Any])
-> T__'8801'__12
forall a. a
erased
-- Data.List.Categorical.MonadProperties.associative
d_associative_384 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  () ->
  [AgdaAny] ->
  (AgdaAny -> [AgdaAny]) ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_associative_384 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> [Any])
-> (Any -> [Any])
-> T__'8801'__12
d_associative_384 = 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.Categorical.MonadProperties.cong
d_cong_416 ::
  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_416 :: 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_416 = 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.Categorical.Applicative.MP.associative
d_associative_426 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  () ->
  [AgdaAny] ->
  (AgdaAny -> [AgdaAny]) ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_associative_426 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> [Any])
-> (Any -> [Any])
-> T__'8801'__12
d_associative_426 = 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.Categorical.Applicative.MP.cong
d_cong_428 ::
  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_428 :: 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_428 = 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.Categorical.Applicative.MP.left-identity
d_left'45'identity_430 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  AgdaAny ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_left'45'identity_430 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> Any
-> (Any -> [Any])
-> T__'8801'__12
d_left'45'identity_430 = T_Level_18
-> T_Level_18
-> T_Level_18
-> Any
-> (Any -> [Any])
-> T__'8801'__12
forall a. a
erased
-- Data.List.Categorical.Applicative.MP.left-zero
d_left'45'zero_432 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_left'45'zero_432 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> (Any -> [Any]) -> T__'8801'__12
d_left'45'zero_432 = T_Level_18
-> T_Level_18 -> T_Level_18 -> (Any -> [Any]) -> T__'8801'__12
forall a. a
erased
-- Data.List.Categorical.Applicative.MP.right-distributive
d_right'45'distributive_434 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  [AgdaAny] ->
  [AgdaAny] ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_right'45'distributive_434 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> [Any]
-> (Any -> [Any])
-> T__'8801'__12
d_right'45'distributive_434 = T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> [Any]
-> (Any -> [Any])
-> T__'8801'__12
forall a. a
erased
-- Data.List.Categorical.Applicative.MP.right-identity
d_right'45'identity_436 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_right'45'identity_436 :: T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
d_right'45'identity_436 = T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
forall a. a
erased
-- Data.List.Categorical.Applicative.MP.right-zero
d_right'45'zero_438 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () -> [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_right'45'zero_438 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
d_right'45'zero_438 = T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
forall a. a
erased
-- Data.List.Categorical.Applicative.pam
d_pam_446 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> () -> [AgdaAny] -> (AgdaAny -> AgdaAny) -> [AgdaAny]
d_pam_446 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> [Any] -> (Any -> Any) -> [Any]
d_pam_446 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 [Any]
v3 Any -> Any
v4 = [Any] -> (Any -> Any) -> [Any]
du_pam_446 [Any]
v3 Any -> Any
v4
du_pam_446 :: [AgdaAny] -> (AgdaAny -> AgdaAny) -> [AgdaAny]
du_pam_446 :: [Any] -> (Any -> Any) -> [Any]
du_pam_446 [Any]
v0 Any -> Any
v1
  = let v2 :: b
v2 = T_RawIMonadPlus_240 -> b
forall a b. a -> b
coe T_RawIMonadPlus_240
du_monadPlus_38 in
    Any -> [Any]
forall a b. a -> b
coe
      ((T_RawIMonad_32
 -> T_Level_18
 -> T_Level_18
 -> Any
 -> Any
 -> Any
 -> Any
 -> (Any -> Any)
 -> Any)
-> T_RawIMonad_32
-> Any
-> Any
-> Any
-> Any
-> Any
-> [Any]
-> (Any -> Any)
-> Any
forall a b. a -> b
coe
         T_RawIMonad_32
-> T_Level_18
-> T_Level_18
-> Any
-> Any
-> Any
-> Any
-> (Any -> Any)
-> Any
MAlonzo.Code.Category.Monad.Indexed.d__'62''62''61'__60
         (T_RawIMonadPlus_240 -> T_RawIMonad_32
MAlonzo.Code.Category.Monad.Indexed.d_monad_250 (Any -> T_RawIMonadPlus_240
forall a b. a -> b
coe Any
forall a. a
v2)) Any
forall a. a
erased
         Any
forall a. a
erased (T_Level_18 -> Any
forall a b. a -> b
coe T_Level_18
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8)
         (T_Level_18 -> Any
forall a b. a -> b
coe T_Level_18
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8)
         (T_Level_18 -> Any
forall a b. a -> b
coe T_Level_18
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8) [Any]
v0
         (\ Any
v3 ->
            (T_RawIMonad_32 -> T_Level_18 -> Any -> Any -> Any)
-> T_RawIMonad_32 -> Any -> Any -> Any -> Any
forall a b. a -> b
coe
              T_RawIMonad_32 -> T_Level_18 -> Any -> Any -> Any
MAlonzo.Code.Category.Monad.Indexed.d_return_52
              (T_RawIMonadPlus_240 -> T_RawIMonad_32
MAlonzo.Code.Category.Monad.Indexed.d_monad_250
                 (T_RawIMonadPlus_240 -> T_RawIMonadPlus_240
forall a b. a -> b
coe T_RawIMonadPlus_240
du_monadPlus_38))
              Any
forall a. a
erased (T_Level_18 -> Any
forall a b. a -> b
coe T_Level_18
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8) ((Any -> Any) -> Any -> Any
forall a b. a -> b
coe Any -> Any
v1 Any
v3)))
-- Data.List.Categorical.Applicative.left-zero
d_left'45'zero_460 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () -> [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_left'45'zero_460 :: T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
d_left'45'zero_460 = T_Level_18 -> T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
forall a. a
erased
-- Data.List.Categorical.Applicative.right-zero
d_right'45'zero_472 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  [AgdaAny -> AgdaAny] ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_right'45'zero_472 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> [Any -> Any] -> T__'8801'__12
d_right'45'zero_472 = T_Level_18
-> T_Level_18 -> T_Level_18 -> [Any -> Any] -> T__'8801'__12
forall a. a
erased
-- Data.List.Categorical.Applicative.right-distributive
d_right'45'distributive_494 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  [AgdaAny -> AgdaAny] ->
  [AgdaAny -> AgdaAny] ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_right'45'distributive_494 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any -> Any]
-> [Any -> Any]
-> [Any]
-> T__'8801'__12
d_right'45'distributive_494 = T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any -> Any]
-> [Any -> Any]
-> [Any]
-> T__'8801'__12
forall a. a
erased
-- Data.List.Categorical.Applicative.identity
d_identity_516 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_identity_516 :: T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
d_identity_516 = T_Level_18 -> T_Level_18 -> [Any] -> T__'8801'__12
forall a. a
erased
-- Data.List.Categorical.Applicative.pam-lemma
d_pam'45'lemma_536 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  () ->
  [AgdaAny] ->
  (AgdaAny -> AgdaAny) ->
  (AgdaAny -> [AgdaAny]) ->
  MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_pam'45'lemma_536 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any]
-> (Any -> Any)
-> (Any -> [Any])
-> T__'8801'__12
d_pam'45'lemma_536 = 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.Categorical.Applicative.composition
d_composition_564 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  () ->
  [AgdaAny -> AgdaAny] ->
  [AgdaAny -> AgdaAny] ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_composition_564 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [Any -> Any]
-> [Any -> Any]
-> [Any]
-> T__'8801'__12
d_composition_564 = 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.Categorical.Applicative.homomorphism
d_homomorphism_618 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  (AgdaAny -> AgdaAny) ->
  AgdaAny -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_homomorphism_618 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> (Any -> Any) -> Any -> T__'8801'__12
d_homomorphism_618 = T_Level_18
-> T_Level_18 -> T_Level_18 -> (Any -> Any) -> Any -> T__'8801'__12
forall a. a
erased
-- Data.List.Categorical.Applicative.interchange
d_interchange_636 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  [AgdaAny -> AgdaAny] ->
  AgdaAny -> MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12
d_interchange_636 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> [Any -> Any] -> Any -> T__'8801'__12
d_interchange_636 = T_Level_18
-> T_Level_18 -> T_Level_18 -> [Any -> Any] -> Any -> T__'8801'__12
forall a. a
erased