Duplicate Record Fields in Haskell

Duplicate Record Fields in Haskell.hs

{-# LANGUAGE 
    DuplicateRecordFields
  , OverloadedLabels
  , DataKinds
  , TypeFamilies
  , FlexibleInstances
  , MultiParamTypeClasses 
#-}

import GHC.OverloadedLabels

data Foo  = Foo  { same :: Int   }
data Bar  = Bar  { same :: Float }
data Bazz = Bazz { same :: Int   }

instance (a ~ Int)   => IsLabel "same" (Foo  -> a) where
  fromLabel (Foo  x) = x

instance (a ~ Float) => IsLabel "same" (Bar  -> a) where
  fromLabel (Bar  x) = x

instance (a ~ Int)   => IsLabel "same" (Bazz -> a) where
  fromLabel (Bazz x) = x

main :: IO ()
main = do
    let x = Foo 1
    let y = Bar 2
    let z = Bazz 3
    print $ #same x
    print $ #same y 
    print $ #same z