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

 Also if signature for backpermute is OK then following map is acceptable
 too:
 {{{
 map :: (Vector v a, Vector v' b) ⇒ (a → b) → v a → v' b
 }}}

 This applies to every function which have more than on vector in signature

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