fmap fnil X nil fmap fcons Z U V cons Z V fmap U V X b Z b c U a V b cons c d d fcons b c a a fmap a b d fnil a nil d FULL benchmarks/applicative/Applicative_05__Ex4MapList.atrs