Derive Typeable for RealWorld and (->), now that we can