-- NOTE: the @(s -> a)@ part could be generalized to @ReaderM m s@.
view :: Getting a s a -> s -> a
view l = \ s -> runConst (l Const s)
view :: Getting a s a -> s -> a
view l = \ s -> runConst (l Const s)
view l = \ s -> runConst (l Const s)