Interpret with types!