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

{-# LANGUAGE NamedFieldPuns #-}


data Foo = Foo { a :: Bool, b :: Bool }

foo Foo {a, b} = _