Ad-hoc polymorphic `foldr` yields an invalid type

[ivenmarquardt]

If we apply foldr to List.Foldable

export const foldr = fun(
  Foldable => f => acc => tx =>
    Foldable.foldMapr(Endo.Monoid) (f) (tx) (acc),
  "Foldable<t> => (a => b => b) => b => t<a> => b");

the unified type is (a => b => b) => b => List => b instead of (a => b => b) => b => List<a> => b.

[ivenmarquardt]

Partially applied type constructors were not taken into account in every case. Done.