deriving pretty and driver for analysis js stuffs.