doCons (RecC c sts) = doCons $ NormalC c [(s, t) | (_, s, t) <- sts]
doCons (RecC c sts) = doCons $ NormalC c [(s, t) | (_, s, t) <- sts]
doCons (RecC c sts) = doCons $ NormalC c [(s, t) | (_, s, t) <- sts]