First class composable record labels for Haskell.