Right cosets.
Value class Tuple2Int ~ (Int, Int) stored in a Long.