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