UninhabitedTypeNode

Debugger

UnusableCombinatorNode

Debugger

uninhabitedAgrs

CannotUseCombinator

uninhabitedArgs

CannotInhabitBacauseOfSubtype