I fail to understand why instantiating a four-argument class with five arguments seems obvious to you.
Отправлено с iPhone Jun 12, 2011, в 12:37, Patrick Browne <[email protected]> написал(а): > class (Surfaces v o, Paths a b (v o)) => Vehicles v o a b where > > > -- I do not know how to make an instance of Vehicles > -- What seems to be the *obvious* does not work > -- instance Vehicles [] Integer (,) Integer Integer where > -- Kind error: `Vehicles' is applied to too many type arguments > -- In the instance declaration for > -- `Vehicles [] Integer (,) Integer Integer' _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
