fixed typeclasses