mkTcForAllCo tv  co           = ASSERT( isTyVar tv ) TcForAllCo tv co
mkTcForAllCo tv  co           = ASSERT( isTyVar tv ) TcForAllCo tv co
mkTcForAllCo tv  co           = ASSERT( isTyVar tv ) TcForAllCo tv co