finish functors portion of typeclassopedia: