Page "Intersection type#Intersection of a type family" not found :(