<div dir="ltr">Hi all,<br><div><br></div><div>Could someone help me understand what this Agda error means?</div><div><br></div><blockquote style="margin:0 0 0 40px;border:none;padding:0px"><div><font face="monospace"><b>Set !=< {some type}</b></font></div></blockquote><div><br></div><div>Thanks,</div><div>-db</div><div><br></div></div>