All Type Combinations are Not Possible