error in stg example code: updateable thunks musst return boxed types