Add RankNTypes for Typeable instance.