i1 : x = 100! o1 = 9332621544394415268169923885626670049071596826438162146859296389521759999322991560894146397615651828625369792082722375825118 5210916864000000000000000000000000 |
i2 : y = Bag {x} o2 = -*a bagged integer*- o2 : Bag |
i3 : unbag y o3 = 9332621544394415268169923885626670049071596826438162146859296389521759999322991560894146397615651828625369792082722375825118 5210916864000000000000000000000000 |