Add demo of the old version of typeclasses