More strong typings