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