<div class="gmail_quote">Hello everyone,<br><br>Could you tell me please whether there is anything to support unique types in Agda?<br><br>Thanks a lot,<br>Dmytro<br>
</div>