hkt-toolbelt icon indicating copy to clipboard operation
hkt-toolbelt copied to clipboard

Published 20 hours ago • verified publisher icon poteat

Add tests checking for `Kind.InputOf` and `Kind.OutputOf` constraints

Open poteat opened this issue 1 year ago • 0 comments

Right now, $<Kind.OutputOf, NaturalNumber.Increment> returns never instead of number. This prevents composability checks from working properly.

poteat avatar Aug 18 '23 20:08 poteat