On 12/06/2011 10:43, MigMit wrote: > I fail to understand why instantiating a four-argument class with five > arguments seems obvious to you. >> class (Surfaces v o, Paths a b (v o)) => Vehicles v o a b where >>
Obviously I am wrong! But my incorrect thinking is as follows: Surfaces takes 2 arguments, Paths take 3 arguments (giving 5). I do not know how to group those 5 arguments to make the required 4 for Vehicles. The original classes were defined in [1]. Thanks, Pat [1] Modeling the Semantics of Geographic Categories through Conceptual Integration (2002) by Werner Kuhn http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.6853 This message has been scanned for content and viruses by the DIT Information Services E-Mail Scanning Service, and is believed to be clean. http://www.dit.ie _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
