Configuration<Int, Int> は問題ないけど、 Configuration<Valid, Valid> を勝手に作られたら、型で守っても壊されそうです・・・。