We know that for general modules over a commutative ring with $1$, you can't always extract a basis from a generating set.
This makes me think that maybe there should be free modules of infinite rank which could be finitely generated. Do such things exist?