liquidhaskell-0.8.10.7: tests/terminate/pos/T1396.0.hs

module T1396 where

data Map k
  = Leaf
  | Node k (Map k)

foo :: (Ord k) => Map k -> k -> ()
foo (Node k l) key
  | key == k  = ()
  | otherwise = foo l key
foo Leaf _ = ()