Domains with keyword : open type