this is how you typecheck btw