blob: da71a9a73d4ee97dc07a5a5160976b9a84f5e10a (
plain)
1
2
3
4
5
6
|
AND HTrue HTrue :: *
= HTrue
AND (OR HFalse HTrue) (OR HTrue HFalse) :: *
= HTrue
t :: (?callStack::GHC.Stack.Types.CallStack) => HTrue
t :: (?callStack::GHC.Stack.Types.CallStack) => HFalse
|