Write a version of sizeT that uses type classes