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

module Meas where

import Language.Haskell.Liquid.Prelude

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