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