I can't cover `&fn` and `&mut` here because they're not introduced. The implicitly copyable jargon is not good - all types are implicitly copyable, some just don't move ownership when you copy them.