Add monomorphizeF
Add another witness to Arity type class

Len xs ~ Len (Wrap f xs)
Add superclass constraint on Arity

It does make sense because for monomorphic vectors we need instance
F.Arity (Len xs) to do anything useful. So it's nice to have automatically
Doc
bump
Added tag v0.0.8.0 for changeset d220f784fcf9