TYPE SIGNATURES
  isMeltdown :: forall param1 param2. NukeMonad param1 param2 Bool
  unlessMeltdown ::
    forall param1 param2.
    NukeMonad param1 param2 () -> NukeMonad param1 param2 ()
TYPE CONSTRUCTORS
  data type NukeMonad{3} :: * -> * -> * -> *
    roles phantom phantom phantom
CLASS INSTANCES
  instance Functor (NukeMonad a b) -- Defined at Meltdown.hs:8:10
  instance Applicative (NukeMonad a b)
    -- Defined at Meltdown.hs:11:10
  instance Monad (NukeMonad a b) -- Defined at Meltdown.hs:15:10
Dependent modules: []
Dependent packages: [base-4.13.0.0, ghc-prim-0.6.1,
                     integer-gmp-1.0.2.0]