Hot: non-coercion