liquidhaskell-0.9.0.2.1: tests/pos/Duplicate_bind.hs

module Duplicate_bind where

import Language.Haskell.Liquid.Prelude

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