hls-tactics-plugin-1.2.0.0: test/golden/AutoThetaReflDestruct.expected.hs
{-# LANGUAGE GADTs #-}
data Z a b where Z :: Z a a
fun4 :: Z a b -> a -> b
fun4 Z a = a -- id
{-# LANGUAGE GADTs #-}
data Z a b where Z :: Z a a
fun4 :: Z a b -> a -> b
fun4 Z a = a -- id