add noncreatable types, defined by :: Type = _ , evaluated values of these types cannot be created, but may be arguments of the Start function, except for the last argument, which has type World. Noncreatable types without type arguments can be passed at most once to Start. Polymorphic noncreatable types used in the argument types of Start should have a noncreatable type as last type argument.