hls-tactics-plugin-1.2.0.0: test/golden/LayoutRec.expected.hs
data Pair a b = Pair {pa :: a, pb :: b}
p :: Pair (a -> a) (a -> b -> c -> b)
p = Pair {pa = _, pb = \ a b c -> _}
data Pair a b = Pair {pa :: a, pb :: b}
p :: Pair (a -> a) (a -> b -> c -> b)
p = Pair {pa = _, pb = \ a b c -> _}