demo for incompatible types