get a start on representable functors