process fn (MakeWith updatefile l n)
    = makeWith fn updatefile l n
process fn (MakeWith updatefile l n)
    = makeWith fn updatefile l n
process fn (MakeWith updatefile l n)
    = makeWith fn updatefile l n