functor (R : REDUCER->
  sig val f : Rgb24.t -> Color.rgb Color.map -> Index8.t end