Failing case with incompatible types