The type-level check sounds fun, though!
# development
a
The type-level check sounds fun, though!