[vector] #46: Signature of backpermute is unnessesary restrictive

[vector]

#46: Signature of backpermute is unnessesary restrictive
----------------------+-----------------------------------------------------
Reporter:  Khudyakov  |        Owner:     
    Type:  defect     |       Status:  new
Priority:  major      |    Milestone:     
 Version:             |   Resolution:     
Keywords:             |  
----------------------+-----------------------------------------------------
Comment (by rl):

 This signature also makes perfect sense:

 {{{
 backpermute :: (Vector v a, Vector v' a, Vector v' Int) => v a -> v' Int
 -> v' a
 }}}

 I'm not sure what to do here. It's not just `backpermute`, other
 operations (most notably the `update` and `accumulate` families) can also
 be generalised in this way but  it's not really obvious what signatures to
 export from the specialised modules. I'll try to come up with some kind of
 scheme. Suggestions would be greatly appreciated!

-- 
Ticket URL: <http://trac.haskell.org/vector/ticket/46#comment:1>
vector <http://trac.haskell.org/vector>
Package vector