let
c s =
C
.apply s.c