Revised derived instance declarations