full type signatures