Starting a typed version.