hls-tactics-plugin-1.2.0.0: test/golden/DestructTyFam.expected.hs

{-# LANGUAGE TypeFamilies #-}

type family Yo where
  Yo = Bool

test :: Yo -> Int
test False = _
test True = _