Failing attempt with records

[milesfrain]

Demonstrating a failing attempt to use a record of functions instead of typeclasses as an API interface.

[milesfrain]

  Could not match constrained type

    Foldable f3 => f3 a4 -> c2 a4

  with type

    f0 a1 -> c2 a1


while trying to match type Foldable f3 => f3 a4 -> c2 a4
  with type f0 a1 -> c2 a1
while checking that expression makeCollection
  has type f0 a1 -> c2 a1
in value declaration testDeRec

where c2 is a rigid type variable
        bound at (line 0, column 0 - line 0, column 0)
      f0 is a rigid type variable
        bound at (line 129, column 9 - line 129, column 23)
      a1 is a rigid type variable
        bound at (line 129, column 9 - line 129, column 23)
      f3 is a rigid type variable
        bound at (line 20, column 23 - line 20, column 59)
      a4 is a rigid type variable
        bound at (line 20, column 32 - line 20, column 59)
PureScript(ConstrainedTypeUnified)