Commit 2024-06-18 08:57 c5924747
View on Github →refactor: change MvQPF to use bundled inheritance (#5452)
There is a clear hierarchy of the type classes that apply to multivariate type functions (F : TypeVec n -> Type). Namely, every MvQPF is a LawfulMvFunctor and every LawfulMvFunctor is a MvFunctor.
This commit changes to use bundled inheritance (i.e., extends) for MvQPF, so that we don't have to repeat the [MvFunctor F] assumption every time we want [MvQPF F]