-- | A function which takes a lens and looks through it.
-- The type given is specialized to provide a hint as to
-- how to write 'view'. The more intuitive type for its use
-- is
--
-- @_@
-- view :: Lens s t a b -> (s -> a)
-- @_@
-- >_> (a -> K a b) -> (s -> K a t)
view :: Optic (->) (K a) s t a b -> (s -> a)
view f = getK . f K
view :: Optic (->) (K a) s t a b -> (s -> a)
view f = getK . f K
view f = getK . f K