runTC :: TC a -> Dang a
runTC (TC m) = fst `fmap` runM m RW { rwSubst = Subst.emptySubst }
runTC :: TC a -> Dang a
runTC (TC m) = fst `fmap` runM m RW { rwSubst = Subst.emptySubst }
runTC (TC m) = fst `fmap` runM m RW { rwSubst = Subst.emptySubst }