Parse case and deriving declarations.