Closed georgefst closed 3 months ago
The stuff on construction also has examples of this, showing value applications when they should have type applications
> :t buildADT Task "Pending"
buildADT Task "Pending" :: ADT Task Expr
> :t buildADT Task "Complete"
buildADT Task "Complete" :: CompletedTask Expr -> ADT Task Expr
@abigailalice Am I right in thinking you fixed this?
I found at least one more example, I'm going through things thoroughly to see if there are any more.