I guess it could also type check, I suppose