Можно ли создать новую запись с помощью линз?

Если у меня есть тип записи с линзами, можно ли создать новую запись без использования базовых средств доступа к записям?

{-# LANGUAGE TemplateHaskell #-}

import Control.Lens
import Control.Lens.TH

data Foo = Foo { _s :: String
               , _b :: Bool
               } deriving (Show, Eq)

makeLenses ''Foo

Я мог бы сделать Foo экземпляром Data.Default, а затем изменить def с помощью линз, но не все типы записей будут иметь разумные значения по умолчанию. Есть ли у Control.Lens собственный способ сделать это?