f_0 :: GHC.Maybe.Maybe GHC.Types.Int -> GHC.Types.Int
f_0 (GHC.Maybe.Nothing) = 3
f_0 (GHC.Maybe.Just x_1) = x