1 2 3 4 5 6
AND HTrue HTrue :: * = HTrue AND (OR HFalse HTrue) (OR HTrue HFalse) :: * = HTrue t :: (?callStack::CallStack) => HTrue t :: (?callStack::CallStack) => HFalse