Namely, is there a way to opt out from seeing: - union/intersection type constituens - members of a type alias referring to an anonymous product type? 