More typings