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

{-# LANGUAGE TypeFamilies #-}

type family Yo where
  Yo = Bool

test :: Yo -> Int
test False = _w0
test True = _w1