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