make it typecheck