Update Typing.hs
Add FlexibleContexts example