{-# LANGUAGE OverloadedStrings #-} -- | comment class Semigroup a => SomeData a instance SomeData All