some tests with typeclasses