data Immediate : Type
.hasRef : Immediate -> Bool
.ref : HasIO io => Immediate -> io Immediate
.unref : HasIO io => Immediate -> io Immediate