Improve error message for Typeable k (T k)