Add type signatures in "deriving" bindings