subset types coerce to Bool