NukeMonad param1 param2 () -> NukeMonad param1 param2 ()TYPE CONSTRUCTORS type role NukeMonad phantom phantom phantom data NukeMonad a b cCOERCION AXIOMSINSTANCES 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:10Dependent modules: []