concrete functor and monad transformers

#44Missing Semigroup instance needed for compat with future GHC 8.4