Some type signatures