Usually it's used for saying something is heap allocated. In this case it doesn't seem very relevant, it looks like the article just assumes boxed records are

Usually it's used for saying something is heap allocated. In this case it doesn't seem very relevant, it looks like the article just assumes boxed records are dynamically or structurally typed, even though that's completely unrelated.