Abstract ByteString out of MIME rendering

Author: dmjio

servant/src/Servant/API/ContentTypes.hs

@@ -167,7 +167,9 @@ newtype AcceptHeader = AcceptHeader BS.ByteString
 -- >
 -- > type MyAPI = "path" :> Get '[MyContentType] Int
 class Accept ctype => MimeRender ctype a where
-  mimeRender :: Proxy ctype -> a -> ByteString
+  type MimeRenderType a :: Type
+  type MimeRenderType a = ByteString
+  mimeRender :: Proxy ctype -> a -> MimeRenderType a
 
 class AllMime list => AllCTRender (list :: [Type]) a where
   -- If the Accept header can be matched, returns (Just) a tuple of the
@@ -213,7 +215,9 @@ instance
 --
 -- >>> type MyAPI = "path" :> ReqBody '[MyContentType] Int :> Get '[JSON] Int
 class Accept ctype => MimeUnrender ctype a where
-  mimeUnrender :: Proxy ctype -> ByteString -> Either String a
+  type MimeUnrenderType a :: Type
+  type MimeUnrenderType a = ByteString
+  mimeUnrender :: Proxy ctype -> MimeUnrenderType a -> Either String a
   mimeUnrender p = mimeUnrenderWithType p (contentType p)
 
   -- | Variant which is given the actual 'M.MediaType' provided by the other party.