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