K
Size: a a a
JS
JS
MyIdentifiableRef a = (ID, IORef a)
, но на это отдельный глобальный IORef ID
требуетсяJS
MyIdentifiableRef a = (StableName (IORef a), IORef a)
, но глобальный счётчик можно выкинуть. спасибо!JS
JS
JS
JS
JS
AA
'
не будет, type
как раз вместо него же