HoTT/HoTT — pull request #331 by JasonGross (2014-03-02 21:42:02+00:00)
Title: Add some typeclass glue to FunextVarieties

This way, if we happen to have hypotheses of `WeakFunext` or `NaiveFunext` floating around, we get `Funext` automatically.