> Top-level variables may not have an unlifted type Ah, that makes much more sense now. Thanks. Janek