monad-genのアイデア

[viercc]

現在のmonad-genは

join (ffx :: f (f Var)) = ?

の?を探索するとき、全てのありうるf Varを一度にすべて試している。

その代わりに、まず

join (ffx :: f (f ())) = ? :: f ()

のように、形状（f ()）だけを探索し、Monad則にあうものを選んでから位置（Var）部分を探索してもいいのでは？