Got types deriving correctly.