> Errm, shouldn't that be: [...] > Or is there some other trick involved here? Sorry, yes it should - just me getting confused in translating between Haskell's f :: A -> B and C's B f(A); A