raw converter typecheck