-- Inductive sequentially defined operation: not uniform!
g :: Bool -> Bool -> Int
g False False = 0
g _     True  = 1

loop :: Bool
loop = loop

-- Haskell pattern matching does not compute the normal form of
--
-- > g loop True
--
-- (in contrast to strategy "phi")