allow all 4 types (but without type conversion)
(#6)