smarted types still