Can You Tell Me Smart by Using Types