Working on TypeIs demo