I took a look at `fold` and saw: ```haskell fold :: (a -> c) -> (b -> c) -> Future a b -> Future d c ``` This is not a fold, this is bimap.