id	summary	reporter	owner	description	type	status	priority	milestone	version	resolution	keywords	cc
46	Signature of backpermute is unnessesary restrictive	Khudyakov		"I think that type signature of backpermute is bit restrictive
{{{
backpermute :: (Vector v a, Vector v Int) ⇒ v a → v Int → v a
}}}

More liberal signature makes perfect sense. If vector are not the same things are still perfectly sensible.
{{{
backpermute :: (Vector v a, Vector v' Int) ⇒ v a → v' Int → v a
}}}

I encountered this when I tried to permute generic vector using unboxed one.

Of course there may be performance considerations, implementation difficulties etc"	defect	closed	minor			wontfix		alexey.skladnoy@…