<div dir="ltr"><div><div><div>Hi,<br><br></div>What is the current solution to get a polymorphic Unit type working with FFI / IO?<br><br>My Code:<br>-------------------------------------------<br>record Unit {α} : Set α where<br>  constructor unit<br><br>{-# COMPILED_DATA Unit () () #-}<br><br></div>This is accepted by Agda but, of course, I get an error while compiling. (Error message: Expecting one fewer argument to ‘()’).<br><br></div><div>Best,<br></div>Stephan<br></div>