Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.Effect.Applicative

Documentation

d_RawApplicative_20 :: p -> p -> p -> () #

data T_RawApplicative_20 #

Constructors

C_RawApplicative'46'constructor_453 T_RawFunctor_24 (() -> AgdaAny -> AgdaAny) (() -> () -> AgdaAny -> AgdaAny -> AgdaAny)

d_rawFunctor_30 :: T_RawApplicative_20 -> T_RawFunctor_24 #

d_pure_32 :: T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

d__'60''42''62'__34 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36'__38 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''36'__38 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36''62'__40 :: T_RawApplicative_20 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'60''38''62'__42 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

du__'60''38''62'__42 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d_ignore_44 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

du_ignore_44 :: T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

d__'60''42'__46 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''42'__46 :: T_RawApplicative_20 -> AgdaAny -> AgdaAny -> AgdaAny #

d__'42''62'__52 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'42''62'__52 :: T_RawApplicative_20 -> AgdaAny -> AgdaAny -> AgdaAny #

d_zipWith_58 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

du_zipWith_58 :: T_RawApplicative_20 -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d_zip_66 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du_zip_66 :: T_RawApplicative_20 -> AgdaAny -> AgdaAny -> AgdaAny #

d_return_68 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

du_return_68 :: T_RawApplicative_20 -> AgdaAny -> AgdaAny #

d__'8859'__70 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859'__70 :: T_RawApplicative_20 -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''8859'__72 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''8859'__72 :: T_RawApplicative_20 -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859''62'__74 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859''62'__74 :: T_RawApplicative_20 -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8855'__76 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8855'__76 :: T_RawApplicative_20 -> AgdaAny -> AgdaAny -> AgdaAny #

d_mkRawApplicative_94 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> AgdaAny -> AgdaAny) -> (() -> () -> AgdaAny -> AgdaAny -> AgdaAny) -> T_RawApplicative_20 #

du_mkRawApplicative_94 :: (() -> AgdaAny -> AgdaAny) -> (() -> () -> AgdaAny -> AgdaAny -> AgdaAny) -> T_RawApplicative_20 #

d_RawApplicativeZero_120 :: p -> p -> p -> () #

data T_RawApplicativeZero_120 #

Constructors

C_RawApplicativeZero'46'constructor_8049 T_RawApplicative_20 T_RawEmpty_16

d_rawApplicative_128 :: T_RawApplicativeZero_120 -> T_RawApplicative_20 #

d_rawEmpty_130 :: T_RawApplicativeZero_120 -> T_RawEmpty_16 #

d__'42''62'__134 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'42''62'__134 :: T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36'__136 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''36'__136 :: T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36''62'__138 :: T_RawApplicativeZero_120 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'60''38''62'__140 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

du__'60''38''62'__140 :: T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d__'60''42'__142 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''42'__142 :: T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''42''62'__144 :: T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''8859'__146 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''8859'__146 :: T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8855'__148 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8855'__148 :: T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859'__150 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859'__150 :: T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859''62'__152 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859''62'__152 :: T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_ignore_154 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicativeZero_120 -> () -> AgdaAny -> AgdaAny #

du_ignore_154 :: T_RawApplicativeZero_120 -> () -> AgdaAny -> AgdaAny #

d_pure_156 :: T_RawApplicativeZero_120 -> () -> AgdaAny -> AgdaAny #

d_rawFunctor_158 :: T_RawApplicativeZero_120 -> T_RawFunctor_24 #

d_return_160 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicativeZero_120 -> () -> AgdaAny -> AgdaAny #

du_return_160 :: T_RawApplicativeZero_120 -> () -> AgdaAny -> AgdaAny #

d_zip_162 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du_zip_162 :: T_RawApplicativeZero_120 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_zipWith_164 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicativeZero_120 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

du_zipWith_164 :: T_RawApplicativeZero_120 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d_empty_168 :: T_RawApplicativeZero_120 -> () -> AgdaAny #

d_'8709'_170 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicativeZero_120 -> () -> AgdaAny #

du_'8709'_170 :: T_RawApplicativeZero_120 -> () -> AgdaAny #

d_guard_172 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawApplicativeZero_120 -> Bool -> AgdaAny #

du_guard_172 :: T_RawApplicativeZero_120 -> Bool -> AgdaAny #

d_RawAlternative_180 :: p -> p -> p -> () #

data T_RawAlternative_180 #

Constructors

C_RawAlternative'46'constructor_9897 T_RawApplicativeZero_120 T_RawChoice_16

d_rawApplicativeZero_188 :: T_RawAlternative_180 -> T_RawApplicativeZero_120 #

d_rawChoice_190 :: T_RawAlternative_180 -> T_RawChoice_16 #

d__'42''62'__194 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawAlternative_180 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'42''62'__194 :: T_RawAlternative_180 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36'__196 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawAlternative_180 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''36'__196 :: T_RawAlternative_180 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36''62'__198 :: T_RawAlternative_180 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'60''38''62'__200 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawAlternative_180 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

du__'60''38''62'__200 :: T_RawAlternative_180 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d__'60''42'__202 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawAlternative_180 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''42'__202 :: T_RawAlternative_180 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''42''62'__204 :: T_RawAlternative_180 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''8859'__206 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawAlternative_180 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''8859'__206 :: T_RawAlternative_180 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8855'__208 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawAlternative_180 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8855'__208 :: T_RawAlternative_180 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859'__210 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawAlternative_180 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859'__210 :: T_RawAlternative_180 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859''62'__212 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawAlternative_180 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859''62'__212 :: T_RawAlternative_180 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_empty_214 :: T_RawAlternative_180 -> () -> AgdaAny #

d_guard_216 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawAlternative_180 -> Bool -> AgdaAny #

du_guard_216 :: T_RawAlternative_180 -> Bool -> AgdaAny #

d_ignore_218 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawAlternative_180 -> () -> AgdaAny -> AgdaAny #

du_ignore_218 :: T_RawAlternative_180 -> () -> AgdaAny -> AgdaAny #

d_pure_220 :: T_RawAlternative_180 -> () -> AgdaAny -> AgdaAny #

d_rawApplicative_222 :: T_RawAlternative_180 -> T_RawApplicative_20 #

d_rawEmpty_224 :: T_RawAlternative_180 -> T_RawEmpty_16 #

d_rawFunctor_226 :: T_RawAlternative_180 -> T_RawFunctor_24 #

d_return_228 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawAlternative_180 -> () -> AgdaAny -> AgdaAny #

du_return_228 :: T_RawAlternative_180 -> () -> AgdaAny -> AgdaAny #

d_zip_230 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawAlternative_180 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du_zip_230 :: T_RawAlternative_180 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_zipWith_232 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawAlternative_180 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

du_zipWith_232 :: T_RawAlternative_180 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d_'8709'_234 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawAlternative_180 -> () -> AgdaAny #

du_'8709'_234 :: T_RawAlternative_180 -> () -> AgdaAny #

d__'60''124''62'__238 :: T_RawAlternative_180 -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8739'__240 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> T_RawAlternative_180 -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8739'__240 :: T_RawAlternative_180 -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_Morphism_254 :: p -> p -> p -> p -> p -> p -> () #

newtype T_Morphism_254 #

Constructors

C_Morphism'46'constructor_14129 T_Morphism_58

d__'42''62'__266 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'42''62'__266 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36'__268 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''36'__268 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36''62'__270 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'60''36''62'__270 :: T_RawApplicative_20 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'60''38''62'__272 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

du__'60''38''62'__272 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d__'60''42'__274 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''42'__274 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''42''62'__276 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''42''62'__276 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''8859'__278 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''8859'__278 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8855'__280 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8855'__280 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859'__282 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859'__282 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859''62'__284 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859''62'__284 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_ignore_286 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

du_ignore_286 :: T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

d_pure_288 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

du_pure_288 :: T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

d_rawFunctor_290 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_RawFunctor_24 #

du_rawFunctor_290 :: T_RawApplicative_20 -> T_RawFunctor_24 #

d_return_292 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

du_return_292 :: T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

d_zip_294 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du_zip_294 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_zipWith_296 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

du_zipWith_296 :: T_RawApplicative_20 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d__'42''62'__300 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'42''62'__300 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36'__302 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''36'__302 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36''62'__304 :: T_RawApplicative_20 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'60''38''62'__306 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

du__'60''38''62'__306 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d__'60''42'__308 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''42'__308 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''42''62'__310 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''8859'__312 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''8859'__312 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8855'__314 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8855'__314 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859'__316 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859'__316 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859''62'__318 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859''62'__318 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_ignore_320 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

du_ignore_320 :: T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

d_pure_322 :: T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

d_rawFunctor_324 :: T_RawApplicative_20 -> T_RawFunctor_24 #

d_return_326 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

du_return_326 :: T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

d_zip_328 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du_zip_328 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_zipWith_330 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

du_zipWith_330 :: T_RawApplicative_20 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d__'42''62'__352 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'42''62'__352 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36'__354 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''36'__354 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36''62'__356 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'60''36''62'__356 :: T_RawApplicative_20 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'60''38''62'__358 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

du__'60''38''62'__358 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d__'60''42'__360 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''42'__360 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''42''62'__362 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''42''62'__362 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''8859'__364 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''8859'__364 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8855'__366 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8855'__366 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859'__368 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859'__368 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859''62'__370 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859''62'__370 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_ignore_372 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> AgdaAny -> AgdaAny #

du_ignore_372 :: T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

d_pure_374 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> AgdaAny -> AgdaAny #

du_pure_374 :: T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

d_rawFunctor_376 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> T_RawFunctor_24 #

du_rawFunctor_376 :: T_RawApplicative_20 -> T_RawFunctor_24 #

d_return_378 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> AgdaAny -> AgdaAny #

du_return_378 :: T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

d_zip_380 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du_zip_380 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_zipWith_382 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

du_zipWith_382 :: T_RawApplicative_20 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d__'42''62'__386 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'42''62'__386 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36'__388 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''36'__388 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''36''62'__390 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

du__'60''36''62'__390 :: T_RawApplicative_20 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny #

d__'60''38''62'__392 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

du__'60''38''62'__392 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny #

d__'60''42'__394 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''42'__394 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''42''62'__396 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''42''62'__396 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'60''8859'__398 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'60''8859'__398 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8855'__400 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8855'__400 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859'__402 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859'__402 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d__'8859''62'__404 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du__'8859''62'__404 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_ignore_406 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> AgdaAny -> AgdaAny #

du_ignore_406 :: T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

d_pure_408 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> AgdaAny -> AgdaAny #

du_pure_408 :: T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

d_rawFunctor_410 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> T_RawFunctor_24 #

du_rawFunctor_410 :: T_RawApplicative_20 -> T_RawFunctor_24 #

d_return_412 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> AgdaAny -> AgdaAny #

du_return_412 :: T_RawApplicative_20 -> () -> AgdaAny -> AgdaAny #

d_zip_414 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

du_zip_414 :: T_RawApplicative_20 -> () -> () -> AgdaAny -> AgdaAny -> AgdaAny #

d_zipWith_416 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

du_zipWith_416 :: T_RawApplicative_20 -> () -> () -> () -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny #

d_functorMorphism_418 :: T_Morphism_254 -> T_Morphism_58 #

d_op_422 :: T_Morphism_254 -> () -> AgdaAny -> AgdaAny #

d_op'45''60''36''62'_424 :: T_Morphism_254 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> T__'8801'__12 #

d_op'45'pure_428 :: T_Morphism_254 -> () -> AgdaAny -> T__'8801'__12 #

d_op'45''60''42''62'_434 :: T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> T__'8801'__12 #

d_op'45''8859'_436 :: T_Level_18 -> T_Level_18 -> (() -> ()) -> (() -> ()) -> T_RawApplicative_20 -> T_RawApplicative_20 -> T_Morphism_254 -> () -> () -> AgdaAny -> AgdaAny -> T__'8801'__12 #