Description
Vinyl compatibility with first-class-families.
README.md
fcf-vinyl
Vinyl compatibility with first-class-families. Exports a version of rappend which uses the fcf version of (++) rather than the version in Data.Vinyl.TypeLevel. This makes it easier to prove things via the fcf.
If there are more ways to ease compatibility with FCF, they will be added here.