h 2 . h = f >> g . f = a -> a + 1 . g = b -> b * 2