<div dir="ltr"><div>Hi all:</div><div><br></div><div>  I got the following error from agda. The source isn't particularly small but I'm happy to share it with anyone interested or open an issue on github, if that seems useful. I'm running agda 2.6.4.1.<br></div><div><br></div><div>An internal error has occurred. Please report this as a bug.<br>Location of the error: __IMPOSSIBLE__, called at src/full/Agda/TypeChecking/Rules/LHS.hs:447:29 in Agd-2.6.4.1-8cf9152f:Agda.TypeChecking.Rules.LHS<br></div><div><br></div><div>Robby<br></div></div>