...and that definitely seems like a type-level dec...
# development
w
...and that definitely seems like a type-level decision.