Automatic RTTI for ghci bindings