Comment by ysangkok

It's not unboxed types that are unsafe, it is unpacking of IO.