filled in a bunch of infered types