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

{-# LANGUAGE GADTs #-}

data Y a b = a ~ b => Y

fun3 :: Y a b -> a -> b
fun3 Y a = a