# err: err3: can't unify, invariant illogicality with equality: base kind does not match (2 != 3)