Guide: generics

"but also ensures that ~~we have~~ the types passed in are correct." (?)