An example project using core.typed.