hls-tactics-plugin-1.8.0.0: new/test/golden/AutoThetaGADTDestruct.expected.hs

{-# LANGUAGE GADTs #-}

data X f = Monad f => X

fun1 :: X f -> a -> f a
fun1 X a = pure a