Consider how hygiene works around `foreign import`s

e.g. Is any old module allowed to return absolutely any type from a `foreign import`, or may it only return types defined in the same module?

I don't see any issues with a `foreign import` accepting any type as an argument, but it should still be considered further whether that's okay also.