(dmd_ty, e') = dmdAnal sigs dmd' e
to_co = snd (coercionKind co)
dmd'
- | Just (tc, args) <- splitTyConApp_maybe to_co
- , isRecursiveTyCon tc = evalDmd
- | otherwise = dmd
+-- | Just (tc, args) <- splitTyConApp_maybe to_co
+ = evalDmd
+-- , isRecursiveTyCon tc = evalDmd
+-- | otherwise = dmd
-- This coerce usually arises from a recursive
-- newtype, and we don't want to look inside them
-- for exactly the same reason that we don't look