<div dir="ltr">Hi, </div><span>
</span><p dir="ltr">You don't know anything about your a's but that they have FromJSON instances. That in turn means you can get values from aeson parsing functions. Think parseJSON :: Value -> Parser a</p>Could you be more specific about the problem you try to solve? <div><br></div><div>Best</div><div>Jan</div><div><br><div class="gmail_quote"><div dir="ltr">Baa <<a href="mailto:aquagnu@gmail.com" target="_blank">aquagnu@gmail.com</a>> schrieb am Di., 1. Aug. 2017, 10:32:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hello, List!<br>
<br>
I have, for example, function with signature like<br>
<br>
  fn :: FromJSON a => Map Text a -> BlahBlah<br>
<br>
and I want to treat this `a` as String (or `Text`), to read it with<br>
`readMaybe`. Am I right that it's impossible? I get error about "...a<br>
is rigid type and could not be matched with Text...". But `Text` is<br>
`FromJSON` instance. Is it possible to do it (cast, convert, unwrap, etc)?<br>
<br>
The problem's source is that early I worked with `Text` values only<br>
(getting from HTML form) but now they become any type: int's, bool's,<br>
etc).<br>
<br>
===<br>
Best regards,<br>
  Paul<br>
_______________________________________________<br>
Beginners mailing list<br>
<a href="mailto:Beginners@haskell.org" target="_blank">Beginners@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners</a><br>
</blockquote></div></div>