El tipo de size es:
size :: Sizeable a => a -> Int
por lo que los tipos 'a' para los que la podés aplicar tienen que ser instancia de Sizeable.
size :: Sizeable a => a -> Int
por lo que los tipos 'a' para los que la podés aplicar tienen que ser instancia de Sizeable.