Partially fixes #30

Bail out of sealed trait codec derivation if there's no
`Discriminated[A, D]` in scope.