Extension Functions on Type Aliases Should only Be Accessable From Similar Types

Language Design
4

Check out this recent thread and in particular what @elizarov said towards the end.