[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):

 So I thought about this for a while and I'm not sure what to do. You are
 quite right that it is possible to generalise the signatures for all
 functions which take more than one vector. However, doing so would make
 Data.Vector.Generic rather unusable - you'd need to add explicit
 signatures everywhere when writing generic vector code. This is something
 I wouldn't be happy with. One the other hand, is having to add a call to
 convert really so bad? At least it draws attention to the fact that you're
 changing the vector type.

 I'm really not sure what to do. Any input is appreciated!

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