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

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

joinCont :: Cont r (Cont r a) -> Cont r a
joinCont f far = f (\ g -> g far)