On Friday, 8 May 2015 at 02:25:48 UTC, Mike wrote: > What do you suggest: A reserved module/package implementing a > standard interface that is imported at compile-time? I could > do that. You just import the right PAL (maybe renamed private import) and everything is typechecked.