<div dir="ltr"><div>Hello,</div><div><br></div><div>I have partial type function which is invoked by another type function.</div><div>When the inner type function fails with TypeError, outer type function is not been able to propagate that type error to its caller.</div><div>As a result of it, I'm getting following error</div><div>  • No instance for (KnownSymbol (NestedPartialTF (TypeError ...)))</div><div> instead of</div><div>  • Unexpected type @ NestedPartialTF: Char</div><div><br></div><div>Is this a bug? This behavior seems bit counter-intuitive as to work around, I had to write another (duplicate) type function at the top level to get the desired type error</div><div><br></div><div>I'm using GHC-8 RC 3 and have attached complete src for reference.</div><div><br></div><div>Regards,</div><div>Magesh B</div></div>