SUMN using type checking now.