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

{-# LANGUAGE GADTs #-}

fun2 :: (a ~ b) => a -> b
fun2 = id -- id