-- | The constructors that the unfolding could never be:
-- returns @[]@ if no information is available
otherCons :: Unfolding -> [AltCon]
otherCons (OtherCon cons) = cons
otherCons :: Unfolding -> [AltCon]
otherCons (OtherCon cons) = cons
otherCons (OtherCon cons) = cons