readme update

Author: markovejnovic

README.md

@@ -93,7 +93,22 @@ This pulls in Borsh serialization automatically — no extra dependencies needed
 | `#[hsrs::function]` | Method exported over FFI | Type-safe Haskell wrapper |
 | `#[hsrs::module]` | Groups a data type with its methods | Generates all FFI glue for the type |
 
-`Result<T, E>` becomes `Either E T` and `Option<T>` becomes `Maybe T`, both serialized transparently.
+`Result<T, E>` becomes `Either E T`, `Option<T>` becomes `Maybe T`, `Vec<T>` becomes `[T]`, and `String` becomes `Text` — all serialized transparently via Borsh.
+
+## Supported types
+
+| Rust | Haskell | Transfer |
+|---|---|---|
+| `i8`, `i16`, `i32`, `i64` | `Int8`, `Int16`, `Int32`, `Int64` | Direct (C FFI) |
+| `u8`, `u16`, `u32`, `u64` | `Word8`, `Word16`, `Word32`, `Word64` | Direct (C FFI) |
+| `bool` | `CBool` | Direct (C FFI) |
+| `usize` / `isize` | `Word64` / `Int64` | Direct (C FFI) |
+| `#[hsrs::enumeration]` enum | `Word8` newtype + patterns | Direct (C FFI) |
+| `#[hsrs::value_type]` struct | `data` record | Borsh |
+| `String` | `Text` | Borsh |
+| `Vec<T>` | `[T]` | Borsh |
+| `Option<T>` | `Maybe T` | Borsh |
+| `Result<T, E>` | `Either E T` | Borsh |
 
 ## Platform notes