On a lark, I loaded this into Hugs this morning, and it didn't complain: data Thing = Thing (Integer -> Integer) But, I've never seen that sort of construct in an example. Do people ever embed functions in ADTs? Michael