Typed and checked twice - all in one go!