たとえばaddなら、全然種類の違うものを足してないかチェックするとかｗ
足し算に期待する制約を表現すべきであって、それだとほんとに壁を作っただけになってないか？