{-# 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.Relation.Nullary.Negation 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.Sigma
import qualified MAlonzo.Code.Agda.Primitive
import qualified MAlonzo.Code.Category.Monad.Indexed
import qualified MAlonzo.Code.Data.Empty
import qualified MAlonzo.Code.Data.Product
import qualified MAlonzo.Code.Data.Sum.Base
import qualified MAlonzo.Code.Function.Base
import qualified MAlonzo.Code.Relation.Nullary
import qualified MAlonzo.Code.Relation.Nullary.Decidable.Core
import qualified MAlonzo.Code.Relation.Nullary.Negation.Core

-- Relation.Nullary.Negation.decidable-stable
d_decidable'45'stable_26 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32 ->
  ((AgdaAny -> MAlonzo.Code.Data.Empty.T_'8869'_4) ->
   MAlonzo.Code.Data.Empty.T_'8869'_4) ->
  AgdaAny
d_decidable'45'stable_26 :: T_Level_18
-> T_Level_18
-> T_Dec_32
-> ((AgdaAny -> T_'8869'_4) -> T_'8869'_4)
-> AgdaAny
d_decidable'45'stable_26 ~T_Level_18
v0 ~T_Level_18
v1 T_Dec_32
v2 ~(AgdaAny -> T_'8869'_4) -> T_'8869'_4
v3
  = T_Dec_32 -> AgdaAny
du_decidable'45'stable_26 T_Dec_32
v2
du_decidable'45'stable_26 ::
  MAlonzo.Code.Relation.Nullary.T_Dec_32 -> AgdaAny
du_decidable'45'stable_26 :: T_Dec_32 -> AgdaAny
du_decidable'45'stable_26 T_Dec_32
v0
  = case T_Dec_32 -> T_Dec_32
forall a b. a -> b
coe T_Dec_32
v0 of
      MAlonzo.Code.Relation.Nullary.C__because__46 Bool
v1 T_Reflects_14
v2
        -> if Bool -> Bool
forall a b. a -> b
coe Bool
v1
             then case T_Reflects_14 -> T_Reflects_14
forall a b. a -> b
coe T_Reflects_14
v2 of
                    MAlonzo.Code.Relation.Nullary.C_of'696'_22 AgdaAny
v3 -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v3
                    T_Reflects_14
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
             else (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                    AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b -> b
seq (T_Reflects_14 -> AgdaAny
forall a b. a -> b
coe T_Reflects_14
v2) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
MAlonzo.Code.Data.Empty.du_'8869''45'elim_10)
      T_Dec_32
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Relation.Nullary.Negation.¬-drop-Dec
d_'172''45'drop'45'Dec_36 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32 ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32
d_'172''45'drop'45'Dec_36 :: T_Level_18 -> T_Level_18 -> T_Dec_32 -> T_Dec_32
d_'172''45'drop'45'Dec_36 ~T_Level_18
v0 ~T_Level_18
v1 T_Dec_32
v2
  = T_Dec_32 -> T_Dec_32
du_'172''45'drop'45'Dec_36 T_Dec_32
v2
du_'172''45'drop'45'Dec_36 ::
  MAlonzo.Code.Relation.Nullary.T_Dec_32 ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32
du_'172''45'drop'45'Dec_36 :: T_Dec_32 -> T_Dec_32
du_'172''45'drop'45'Dec_36 T_Dec_32
v0
  = ((AgdaAny -> AgdaAny) -> T_Dec_32 -> T_Dec_32)
-> AgdaAny -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny) -> T_Dec_32 -> T_Dec_32
MAlonzo.Code.Relation.Nullary.Decidable.Core.du_map'8242'_168
      AgdaAny
forall a. a
erased
      ((T_Dec_32 -> T_Dec_32) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         T_Dec_32 -> T_Dec_32
MAlonzo.Code.Relation.Nullary.Negation.Core.du_'172''63'_64
         (T_Dec_32 -> AgdaAny
forall a b. a -> b
coe T_Dec_32
v0))
-- Relation.Nullary.Negation.¬¬-Monad
d_'172''172''45'Monad_42 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32
d_'172''172''45'Monad_42 :: T_Level_18 -> T_RawIMonad_32
d_'172''172''45'Monad_42 ~T_Level_18
v0 = T_RawIMonad_32
du_'172''172''45'Monad_42
du_'172''172''45'Monad_42 ::
  MAlonzo.Code.Category.Monad.Indexed.T_RawIMonad_32
du_'172''172''45'Monad_42 :: T_RawIMonad_32
du_'172''172''45'Monad_42
  = ((T_Level_18 -> AgdaAny -> AgdaAny -> AgdaAny)
 -> (T_Level_18
     -> T_Level_18
     -> AgdaAny
     -> AgdaAny
     -> AgdaAny
     -> AgdaAny
     -> (AgdaAny -> AgdaAny)
     -> AgdaAny)
 -> T_RawIMonad_32)
-> AgdaAny -> AgdaAny -> T_RawIMonad_32
forall a b. a -> b
coe
      (T_Level_18 -> AgdaAny -> AgdaAny -> AgdaAny)
-> (T_Level_18
    -> T_Level_18
    -> AgdaAny
    -> AgdaAny
    -> AgdaAny
    -> AgdaAny
    -> (AgdaAny -> AgdaAny)
    -> AgdaAny)
-> T_RawIMonad_32
MAlonzo.Code.Category.Monad.Indexed.C_RawIMonad'46'constructor_711
      ((AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe
         (\ AgdaAny
v0 AgdaAny
v1 AgdaAny
v2 AgdaAny
v3 ->
            AgdaAny -> AgdaAny
forall a b. a -> b
coe
              AgdaAny
MAlonzo.Code.Relation.Nullary.Negation.Core.du_contradiction_24))
      AgdaAny
forall a. a
erased
-- Relation.Nullary.Negation.¬¬-push
d_'172''172''45'push_56 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> ()) ->
  (((AgdaAny -> AgdaAny) -> MAlonzo.Code.Data.Empty.T_'8869'_4) ->
   MAlonzo.Code.Data.Empty.T_'8869'_4) ->
  AgdaAny ->
  (AgdaAny -> MAlonzo.Code.Data.Empty.T_'8869'_4) ->
  MAlonzo.Code.Data.Empty.T_'8869'_4
d_'172''172''45'push_56 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> (((AgdaAny -> AgdaAny) -> T_'8869'_4) -> T_'8869'_4)
-> AgdaAny
-> (AgdaAny -> T_'8869'_4)
-> T_'8869'_4
d_'172''172''45'push_56 = T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> (((AgdaAny -> AgdaAny) -> T_'8869'_4) -> T_'8869'_4)
-> AgdaAny
-> (AgdaAny -> T_'8869'_4)
-> T_'8869'_4
forall a. a
erased
-- Relation.Nullary.Negation.excluded-middle
d_excluded'45'middle_66 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (MAlonzo.Code.Relation.Nullary.T_Dec_32 ->
   MAlonzo.Code.Data.Empty.T_'8869'_4) ->
  MAlonzo.Code.Data.Empty.T_'8869'_4
d_excluded'45'middle_66 :: T_Level_18 -> T_Level_18 -> (T_Dec_32 -> T_'8869'_4) -> T_'8869'_4
d_excluded'45'middle_66 = T_Level_18 -> T_Level_18 -> (T_Dec_32 -> T_'8869'_4) -> T_'8869'_4
forall a. a
erased
-- Relation.Nullary.Negation.call/cc
d_call'47'cc_72 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  ((AgdaAny -> AgdaAny) ->
   (AgdaAny -> MAlonzo.Code.Data.Empty.T_'8869'_4) ->
   MAlonzo.Code.Data.Empty.T_'8869'_4) ->
  (AgdaAny -> MAlonzo.Code.Data.Empty.T_'8869'_4) ->
  MAlonzo.Code.Data.Empty.T_'8869'_4
d_call'47'cc_72 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> ((AgdaAny -> AgdaAny) -> (AgdaAny -> T_'8869'_4) -> T_'8869'_4)
-> (AgdaAny -> T_'8869'_4)
-> T_'8869'_4
d_call'47'cc_72 = T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> ((AgdaAny -> AgdaAny) -> (AgdaAny -> T_'8869'_4) -> T_'8869'_4)
-> (AgdaAny -> T_'8869'_4)
-> T_'8869'_4
forall a. a
erased
-- Relation.Nullary.Negation.independence-of-premise
d_independence'45'of'45'premise_88 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  (AgdaAny -> ()) ->
  AgdaAny ->
  (AgdaAny -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14) ->
  (MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14 ->
   MAlonzo.Code.Data.Empty.T_'8869'_4) ->
  MAlonzo.Code.Data.Empty.T_'8869'_4
d_independence'45'of'45'premise_88 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> AgdaAny
-> (AgdaAny -> T_Σ_14)
-> (T_Σ_14 -> T_'8869'_4)
-> T_'8869'_4
d_independence'45'of'45'premise_88 = T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> AgdaAny
-> (AgdaAny -> T_Σ_14)
-> (T_Σ_14 -> T_'8869'_4)
-> T_'8869'_4
forall a. a
erased
-- Relation.Nullary.Negation._.helper
d_helper_100 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  () ->
  (AgdaAny -> ()) ->
  AgdaAny ->
  (AgdaAny -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14) ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32 ->
  MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_helper_100 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> AgdaAny
-> (AgdaAny -> T_Σ_14)
-> T_Dec_32
-> T_Σ_14
d_helper_100 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 ~T_Level_18
v4 ~AgdaAny -> T_Level_18
v5 AgdaAny
v6 AgdaAny -> T_Σ_14
v7 T_Dec_32
v8
  = AgdaAny -> (AgdaAny -> T_Σ_14) -> T_Dec_32 -> T_Σ_14
du_helper_100 AgdaAny
v6 AgdaAny -> T_Σ_14
v7 T_Dec_32
v8
du_helper_100 ::
  AgdaAny ->
  (AgdaAny -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14) ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32 ->
  MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_helper_100 :: AgdaAny -> (AgdaAny -> T_Σ_14) -> T_Dec_32 -> T_Σ_14
du_helper_100 AgdaAny
v0 AgdaAny -> T_Σ_14
v1 T_Dec_32
v2
  = case T_Dec_32 -> T_Dec_32
forall a b. a -> b
coe T_Dec_32
v2 of
      MAlonzo.Code.Relation.Nullary.C__because__46 Bool
v3 T_Reflects_14
v4
        -> if Bool -> Bool
forall a b. a -> b
coe Bool
v3
             then case T_Reflects_14 -> T_Reflects_14
forall a b. a -> b
coe T_Reflects_14
v4 of
                    MAlonzo.Code.Relation.Nullary.C_of'696'_22 AgdaAny
v5
                      -> ((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14)
-> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14
forall a b. a -> b
coe
                           (AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14
MAlonzo.Code.Data.Product.du_map_148 ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v6 -> AgdaAny
v6))
                           ((AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v6 AgdaAny
v7 AgdaAny
v8 -> AgdaAny
v7)) ((AgdaAny -> T_Σ_14) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_Σ_14
v1 AgdaAny
v5)
                    T_Reflects_14
_ -> T_Σ_14
forall a. a
MAlonzo.RTE.mazUnreachableError
             else (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> T_Σ_14
forall a b. a -> b
coe
                    AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b -> b
seq (T_Reflects_14 -> AgdaAny
forall a b. a -> b
coe T_Reflects_14
v4)
                    ((AgdaAny -> AgdaAny -> T_Σ_14) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       AgdaAny -> AgdaAny -> T_Σ_14
MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v0)
                       (((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                          (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
MAlonzo.Code.Function.Base.du__'8728''8242'__226
                          (\ AgdaAny
v5 -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
MAlonzo.Code.Data.Empty.du_'8869''45'elim_10) AgdaAny
forall a. a
erased))
      T_Dec_32
_ -> T_Σ_14
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Relation.Nullary.Negation.independence-of-premise-⊎
d_independence'45'of'45'premise'45''8846'_106 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> MAlonzo.Code.Data.Sum.Base.T__'8846'__30) ->
  (MAlonzo.Code.Data.Sum.Base.T__'8846'__30 ->
   MAlonzo.Code.Data.Empty.T_'8869'_4) ->
  MAlonzo.Code.Data.Empty.T_'8869'_4
d_independence'45'of'45'premise'45''8846'_106 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T__'8846'__30)
-> (T__'8846'__30 -> T_'8869'_4)
-> T_'8869'_4
d_independence'45'of'45'premise'45''8846'_106 = T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T__'8846'__30)
-> (T__'8846'__30 -> T_'8869'_4)
-> T_'8869'_4
forall a. a
erased
-- Relation.Nullary.Negation._.helper
d_helper_116 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> MAlonzo.Code.Data.Sum.Base.T__'8846'__30) ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32 ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30
d_helper_116 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T__'8846'__30)
-> T_Dec_32
-> T__'8846'__30
d_helper_116 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 ~T_Level_18
v4 ~T_Level_18
v5 AgdaAny -> T__'8846'__30
v6 T_Dec_32
v7 = (AgdaAny -> T__'8846'__30) -> T_Dec_32 -> T__'8846'__30
du_helper_116 AgdaAny -> T__'8846'__30
v6 T_Dec_32
v7
du_helper_116 ::
  (AgdaAny -> MAlonzo.Code.Data.Sum.Base.T__'8846'__30) ->
  MAlonzo.Code.Relation.Nullary.T_Dec_32 ->
  MAlonzo.Code.Data.Sum.Base.T__'8846'__30
du_helper_116 :: (AgdaAny -> T__'8846'__30) -> T_Dec_32 -> T__'8846'__30
du_helper_116 AgdaAny -> T__'8846'__30
v0 T_Dec_32
v1
  = case T_Dec_32 -> T_Dec_32
forall a b. a -> b
coe T_Dec_32
v1 of
      MAlonzo.Code.Relation.Nullary.C__because__46 Bool
v2 T_Reflects_14
v3
        -> if Bool -> Bool
forall a b. a -> b
coe Bool
v2
             then case T_Reflects_14 -> T_Reflects_14
forall a b. a -> b
coe T_Reflects_14
v3 of
                    MAlonzo.Code.Relation.Nullary.C_of'696'_22 AgdaAny
v4
                      -> ((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> T__'8846'__30)
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny
-> T__'8846'__30
forall a b. a -> b
coe
                           (AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> T__'8846'__30
MAlonzo.Code.Data.Sum.Base.du_map_84 (\ AgdaAny
v5 AgdaAny
v6 -> AgdaAny
v5)
                           (\ AgdaAny
v5 AgdaAny
v6 -> AgdaAny
v5) ((AgdaAny -> T__'8846'__30) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T__'8846'__30
v0 AgdaAny
v4)
                    T_Reflects_14
_ -> T__'8846'__30
forall a. a
MAlonzo.RTE.mazUnreachableError
             else (AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny -> AgdaAny -> T__'8846'__30
forall a b. a -> b
coe
                    AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b -> b
seq (T_Reflects_14 -> AgdaAny
forall a b. a -> b
coe T_Reflects_14
v3)
                    ((AgdaAny -> T__'8846'__30) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       AgdaAny -> T__'8846'__30
MAlonzo.Code.Data.Sum.Base.C_inj'8321'_38
                       (((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                          (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
MAlonzo.Code.Function.Base.du__'8728''8242'__226
                          (\ AgdaAny
v4 -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
MAlonzo.Code.Data.Empty.du_'8869''45'elim_10) AgdaAny
forall a. a
erased))
      T_Dec_32
_ -> T__'8846'__30
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Relation.Nullary.Negation.Excluded-Middle
d_Excluded'45'Middle_152 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 -> ()
d_Excluded'45'Middle_152 :: T_Level_18 -> T_Level_18
d_Excluded'45'Middle_152 = T_Level_18 -> T_Level_18
forall a. a
erased
-- Relation.Nullary.Negation.Double-Negation-Elimination
d_Double'45'Negation'45'Elimination_160 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 -> ()
d_Double'45'Negation'45'Elimination_160 :: T_Level_18 -> T_Level_18
d_Double'45'Negation'45'Elimination_160 = T_Level_18 -> T_Level_18
forall a. a
erased