So I have a typeclass somewhat like this class Stringify x where stringify :: x -> String and I have two other typeclasses somewhat like those class LText
I am trying to define an instance: newtype Join a = Join { getJoin :: a -> Bool } deriving Generic instance Monoid (Join a) where f <> g = ???