One doc tagged with "intersection-types"