RE: Unpacking multi-type constructors