s' id = flip const
Prelude> :t (s' map) (s' map) :: [b] -> a -> [a]
Prelude> (s' map) "abcd" 1 [1,1,1,1]
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2008-02-12 07:26 am (UTC)Но это не универсально. s' из-за const в своём определении затирает часть информации безвозвратно:
Применим к массиву символов и числу
Опс - символы пропали. С map, к тому же, конструкцию (s' map) s не сделать. Вобщем, о том и речь - неуниверсально это...