aff lens library with fmap