data GHC.Maybe.Maybe (a_0 :: *)
    = GHC.Maybe.Nothing | GHC.Maybe.Just a_0