i feel like this would be more useful with a title like 'A note about Coercions in Haskell', it would allow people to determine interest more quickly.