1 2 3
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