Typespecs elaborated