idris-lang/Idris-dev — pull request #1652 by victoredwardocallaghan (2014-10-17 18:08:12+00:00)
Title: Fix incorrectly type-dependence in vectors of VectorSpace type-class

VectorSpace takes two types to construct, a Field and abelian Group
respecively. The second type field was incorrectly typed as the same
as the first.

Signed-off-by: Edward O'Callaghan