hls-tactics-plugin-1.2.0.0: test/golden/MessageCantUnify.hs

{-# LANGUAGE DataKinds, GADTs #-}

data Z ab where
  Z :: (a -> b) -> Z '(a, b)

test :: Z ab
test = _