型を考える時間で実装できるとか
お前は依存型でも使ってるのか