Hi > > It appears these Prelude;1() things are created in the lambda lifted version of f1. > > Actually that's not true. They're only cased in f1. But I don't see > them constructed anywhere. Have you done --linkcore to see all the library Core files as well? They should be created somewhere. Thanks Neil