1whats_it_deep_of 2 :: (a -> a) 3 -> [(Int, Either Bool (Maybe [a]))] 4 -> [(Int, Either Bool (Maybe [a]))] 5-- The assumption here is necessary to tie-break in favor of the longest 6-- nesting of fmaps. 7whats_it_deep_of f = [wingman| nested fmap, assumption |] 8 9