Parameter Make.1-S

type a
val run : (encoder -> 'r state) -> encoder -> a -> 'r state