Yes! A smart one though, that limits itself to the type constraints you've specified to avoid redoing the work of your type checker.