hls-tactics-plugin-1.1.0.0: test/golden/GoldenJoinCont.hs.expected

type Cont r a = ((a -> r) -> r)

joinCont :: Cont r (Cont r a) -> Cont r a
joinCont f_r far = f_r (\ f_r2 -> f_r2 far)