hls-tactics-plugin-1.8.0.0: new/test/golden/MessageCantUnify.hs

{-# LANGUAGE DataKinds, GADTs #-}

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

test :: Z ab
test = _