hls-tactics-plugin-1.3.0.0: test/golden/MetaDeepOf.hs
whats_it_deep_of
:: (a -> a)
-> [(Int, Either Bool (Maybe [a]))]
-> [(Int, Either Bool (Maybe [a]))]
-- The assumption here is necessary to tie-break in favor of the longest
-- nesting of fmaps.
whats_it_deep_of f = [wingman| nested fmap, assumption |]