allowing two type signatures together