We usually only use `when` in the base fold and de...

# announcements

[raulraja]

We usually only use when in the base fold and derive the rest from it because as types get complex in the cases you find that you can't really match on type params due to erasure without casting, etc..