hls-tactics-plugin-1.8.0.0: old/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