format code: deriving and where in def

format code: deriving and where in def #100