little type signatures