On Sat, Jan 10, 2009 at 11:49:23PM +0100, Daniel Schoepe wrote: > Hello, > These patches change the function userCode to type X a -> X (Maybe a) > for more flexibility and provide a userCodeDef :: a -> X a -> X a, for > more convenience when using it, and adjust all uses of the old userCode. Both applied.