<div dir="ltr"><div>Hi GHC Devs,</div><div><br></div><div>Is it possible to make a core app with a function having contexts?</div><div>For example, let us take</div><div><br></div><div><div>showable :: P.Show a => a -> String</div><div>showable = P.show</div></div><div><br></div><div>Say, I would like to app showable with (Just 'a') in the core, which requires the following code</div><div><div><br></div><div>showable</div><div>    @ (Maybe Char)</div><div>    <b>($fShowMaybe @ Char $fShowChar)</b></div><div>    (Just @ Char (C# 'a'))</div></div><div><br></div><div>But I couldn't find a way to construct the dictionary required by showable function myself in the core.</div><div>Is there any ghc api using which I can get the required dictionary for a particular type (in the above case, Dictionary for Show instance of Maybe Char).</div><div><br></div><div>Regards,</div><div>Magesh B</div></div>