filling in types