Improve error message for a handwritten Typeable instance
Work in progress