fixed functors, somewhat