multitype example