Oh oh ... Looks like the type of `fold` would inferred to `Nothing` here. How does this even compile?