hkt-toolbelt
hkt-toolbelt copied to clipboard
Add tests checking for `Kind.InputOf` and `Kind.OutputOf` constraints
Right now, $<Kind.OutputOf, NaturalNumber.Increment>
returns never
instead of number
. This prevents composability checks from working properly.