top down
パフォーマンスを度外視したらとりあえず動くようになった
毎回削除してしまうことにした
一々ghciに問い合わせるのは標準入出力のコストが高いから,キャッシュを導入することを検討中