<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:tahoma,sans-serif"><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Aug 28, 2020 at 7:38 PM Vladislav Zavialov <<a href="mailto:vladislav@serokell.io">vladislav@serokell.io</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi Csongor,<br>
<br>
I believe the reason for this failure is that  a -> @m b  gets parsed as  a -> @(m b).<br>
Why is that? Because a ‘btype’ includes type-level application.<br>
<br>
If you replace the ‘btype’ after PREFIX_AT with an ‘atype’, this particular issue should go away. At least that’s my hypothesis, I haven’t tested it.<br>
<br></blockquote><div><br><div class="gmail_default" style="font-family:tahoma,sans-serif">I confirm that this is correct and with that change the example string reduces as hoped.</div><br><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
- Vlad<br></blockquote><div> </div></div>-- <br><div dir="ltr" class="gmail_signature">Shayne Fletcher</div></div>