Unsafe coerce and more efficient Agda code (-ftrust-me-im-agda) December 28, 2023 by Tarik Since this is a research question, we’ve got a few possible ways forward, but they all come down to: Play tricks reversing the tag bits of Maybe