# Grégoire Locqueville | Easy Type-Level Flags In Haskell

**URL:** <https://discourse.haskell.org/t/gregoire-locqueville-easy-type-level-flags-in-haskell/13411>\
**Category:** Links\
**Created:** [December 14, 2025, 5:19pm UTC](https://discourse.haskell.org/t/gregoire-locqueville-easy-type-level-flags-in-haskell/13411 "2025-12-14T17:19:01Z")\
**Posts on this page:** 1\
**Showing post:** 7

<div class="post-metadata">

**Author:** ![ashokkimmel](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/ashokkimmel/32/5111_2.png) [@ashokkimmel](https://discourse.haskell.org/u/ashokkimmel)\
**Post date:** [December 14, 2025, 8:49pm UTC](https://discourse.haskell.org/t/gregoire-locqueville-easy-type-level-flags-in-haskell/13411/7 "2025-12-14T20:49:24Z")

</div>

This [HKD: best or worst thing ever? - #7 by rhendric](https://discourse.haskell.org/t/hkd-best-or-worst-thing-ever/9450/7) extends on the use of Void/() for cardinality

---

_[View the full topic](https://discourse.haskell.org/t/gregoire-locqueville-easy-type-level-flags-in-haskell/13411)._