Add some typeclass glue to FunextVarieties