getting started on full type safety.