Writable generics with writable type parameters