them type signatures