haskell - レンズを使用して新しい記録を作成することは可能ですか?

Question

レンズを持つレコード タイプがある場合、基になるレコード アクセサーを使用せずに新しいレコードを作成することは可能ですか?

{-# LANGUAGE TemplateHaskell #-}

import Control.Lens
import Control.Lens.TH

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

makeLenses ''Foo

インスタンスを作成してレンズで変更することはできますが、すべてのレコード タイプに適切なデフォルトがあるわけではありません。Control.Lens には独自の方法がありますか?FooData.Defaultdef