typeclass-free examples