<div dir="ltr"><div>Hello,</div><div><br></div><div>I'm not quite sure I understand the issue you're hitting. Generic1 is poly-kinded, so I would expect it to be able to handle data types where the last type parameter has differing kinds. Can you post a complete example of the program you expect to typecheck, but doesn't?</div><div><br></div><div>Best,</div><div><br></div><div>Ryan<br></div></div>