Guide: generics

`let x = &1; 2 ** x`. ;P