Add examples from Heiko's blogpost on poor man's typeclasses