Typeclasses has been redesigned