valid type signatures