Re: [GHC] #14107: Implement Semigroup and Monoid instances for the ST monad