Excerpts from nathanmholden's message of Tue May 19 14:43:04 -0400 2009: > My question, however, boils primarily down to this: Is there a way to make > > Foo :: Note -> Note -> Int > Foo a b = a-b A sensible implementation of the Num typeclass for Note should do the trick nicely. Cheers, Edward