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