Add tests checking for `Kind.InputOf` and `Kind.OutputOf` constraints
poteat opened this issue · comments
Right now, $<Kind.OutputOf, NaturalNumber.Increment>
returns never
instead of number
. This prevents composability checks from working properly.