Check default values are available from within sum derivations

[propensive]

It seems like a default value can be accessed when deriving a product type, but not if that product type is being derived as part of a sum type.