Define type signatures