Привет. Есть следующий код: performingProcess body methods = do

let decodedBody :: FromJSON a => Maybe (RequestRHC a)
decodedBody = decode . toLazyByteString $ body
lookupMethod (method decodedBody) methods
На что у меня ругается:
Couldn't match expected type: RequestRHC prm0
with actual type: Maybe (RequestRHC a0)
Что справедливо, я <- заменил let, в надежде, что как-то удастся дальше тайп-инференс направить в нужное направление. Дальше попытался следующий дикий приём применить:
performingProcess body methods = do
let decodedBody :: FromJSON a => Maybe (RequestRHC a)
decodedBody = decode . toLazyByteString $ body
decoded <- decodedBody
lookupMethod (method decoded) methods
с decoded <- decodedBody, проверить, сработает ли такой ужас - благо, нет)
Выдает первоначальную ошибку:
Ambiguous type variable ‘prm0’ arising from an expression type signature
prevents the constraint ‘(FromJSON prm0)’ from being solved.
Probable fix: use a type annotation to specify what ‘prm0’ should be.

Другая попытка:
performingProcess body methods = do
decodedBody <- (decode :: FromJSON prm => ByteString -> Maybe (RequestRHC prm))
. toLazyByteString $ body
lookupMethod (method decodedBody) methods

Вот и структура, которую пытаюсь декодировать и ее инстанс:
data RequestRHC prm = RequestRHC {
resVersion :: String,
method :: MethodName,
params :: Maybe prm,
reqId :: Maybe String
}

instance FromJSON a => FromJSON (RequestRHC a) where
parseJSON (Object v) =
RequestRHC <$> v .: "jsonrpc"
<*> v .: "method"
<*> v .: "params"
<*> v .: "id"
parseJSON _ = mempty

Теперь вопрос: Как явно прописать тайп-аннотации при байнде для функции decode aeson'а?
А может быть вовсе не в этом проблема, может быть есть какой-то специальный прием, позволяющий парсить полиморфные дата-тайпы?

decoded :: MyType <- decode