No need to decompose type anymore.