Now try this one
Prev
Test Driven Development for clever people
Next
Now try this one
g :: (a -> b) -> (b -> c) -> (a -> c) g = undefined