foo :: GHC.Types.Int -> GHC.Types.Int
foo x_0 | x_0 GHC.Classes.== 5 = 6
foo x_1 = 7
bar :: Data.Maybe.Maybe GHC.Types.Int -> GHC.Types.Int
bar x_0 | Data.Maybe.Just y_1 <- x_0
            = y_1
bar _ = 9