finish typeclasses