And make it typecheck