Transformers now lifts Eq, Ord, Show, Functor