Shapshot ... constrained types