Are keypath like Haskell lenses? First class composable getters/setters?

Or just the getter part?