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