unscramble :: TcType -> (TcType, [TcType])
-- unscramble ((w,s1) .. sn) = (w, [s1..sn])
unscramble :: TcType -> (TcType, [TcType])
-- unscramble ((w,s1) .. sn) = (w, [s1..sn])
= case tcSplitTyConApp_maybe ty of
Just (tc, [t,s]) | tc == pairTyCon
= case tcSplitTyConApp_maybe ty of
Just (tc, [t,s]) | tc == pairTyCon