resolving types