functor P1( structure I: Integer,
            structure P: Prelude ) =
struct
    open P;
    open I;
end;