{-
types:
A__dummy :: (*, data)
values:
p :: A__dummy -> Bool
A__dummy :: A__dummy
scope:
Prelude.A__dummy |-> Prelude.A__dummy, Type [A__dummy] []
Prelude.A__dummy |-> Prelude.A__dummy, con of A__dummy
A__dummy |-> Prelude.A__dummy, Type [A__dummy] []
A__dummy |-> Prelude.A__dummy, con of A__dummy
p |-> Prelude.p, Value
-}
module Dummy where
data A__dummy = A__dummy
p :: A__dummy -> Bool
p x = True
p x = False
p x = (\ (a, b, c) -> if b then a else c)
(p x,
uncurry{-Bool Bool Bool-} (||)
(flip{-Bool Bool Bool-} seq{-Bool Bool-} True (p x),
False),
p x)