Implement Snd
Implement String
Add link to Kmett's semigroups library.