Ага, понял

s' id = flip const

Но это не универсально. s' из-за const в своём определении затирает часть информации безвозвратно:

Prelude> :t (s' map)
(s' map) :: [b] -> a -> [a]

Применим к массиву символов и числу

Prelude> (s' map) "abcd" 1
[1,1,1,1]

Опс - символы пропали. С map, к тому же, конструкцию (s' map) s не сделать. Вобщем, о том и речь - неуниверсально это...