HasType into EnableIf