liquidhaskell-0.4.0.0: tests/pos/duplicate-bind.hs

module Meas where

import Language.Haskell.Liquid.Prelude

insert key value [] = [(key, value)]
insert _ _ _        = error ""