A prototype implementation of overloaded record fields for GHC