module F15 where

f15f = \h -> h 1
f15g = \x -> x+1
f15 = f15f f15g