fix Lens comment.

type parameter `F` is already removed 001047eea5a469f
fix PLens comment.

type parameter `F` is already removed 001047eea5a469f
Merge pull request #381 from xuwei-k/lens-comment

fix Lens and PLens comment