Data.StableMemo
memo
memo2
memo3
type
f
-->
g
memoPoly