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

import Data.Int

data Test = Test Int32

test :: Test -> Int32
test t = _