S, C: simplification with Functor