return polymorphism testing

class MyEffects m where
  runQuery :: (ToJSON a, FromJSON b) => QueryBody a -> m (QueryResponse b)