InList can be an unboxed vector
Distributed.Types.InList is an unchanging list of State-Worker-Pairs, both of which are aliases for Int. Implementing it as unboxed vector would save space and improve access time.
Distributed.Types.InList is an unchanging list of State-Worker-Pairs, both of which are aliases for Int. Implementing it as unboxed vector would save space and improve access time.