Re: Unpacking multi-type constructors