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@…