概念を観察する
正しい命名をする
正しいメンタルモデルを見つける？
https://note.com/idein/n/ncdb32616e738
取りうる構造を規定する
Making Illegal States Unrepresentable
構造同士の類似性を発見する
モナド的な