functors, concrete types