Notes about typing