UninhabitedTypeNode

Debugger

UnusableCombinatorNode

Debugger

UnvisibleCombinatorNode

Debugger

UnvisibleTypeNode

Debugger

uninhabitedAgrs

CannotUseCombinator

uninhabitedArgs

CannotInhabitBacauseOfSubtype