| one particular feature i wanted in my fast io/serialization libs is | ability to return unboxed tuple from IO action. is this also possible? No -- that's an example of instantiating a polymorphic type with an unboxed one. Sorry. S