i1 : x = 100!
o1 = 933262154439441526816992388562667004907159682643816214685929638952175999
------------------------------------------------------------------------
932299156089414639761565182862536979208272237582511852109168640000000000
------------------------------------------------------------------------
00000000000000
|
i2 : y = Bag {x}
o2 = --a bagged integer--
o2 : Bag
|
i3 : unbag y
o3 = 933262154439441526816992388562667004907159682643816214685929638952175999
------------------------------------------------------------------------
932299156089414639761565182862536979208272237582511852109168640000000000
------------------------------------------------------------------------
00000000000000
|