hazel
hazel copied to clipboard
`+ X(Int)` should not be a ground type
Breaking example on dev:
let x : + B( ) = B(1) in
let y : + B(Int) = x in
let B(n) = y in
n + 2
I think constructors should only be ground if all their arguments are hole type?