{-# LANGUAGE OverloadedStrings #-}

class Semigroup a => SomeData a

instance SomeData All