本当に欲しいのは制約であって型ではないし