Shawn P. Garbett wrote: > [...] But I get this error I've been unable to solve: [...] The last line should read: plus' (f,g) = case' (Left' . f, Right' . g) i.e. the function composition operator was missing. Cheers, S.