There is no MonkWiki page "Intersection Type|intersection". Search <a href="https://www.google.com/search?q=intersection+type%7Cintersection" target="_blank">Google</a>.