haskell record type is just syntactic sugar for rank n data type
 ```
 data X = X { foo :: Int, bar :: Char }
 ```

 is the same as

 ```
 data X = X Int Char

 foo :: X -> Int
 foo (X a b) = a

 bar :: X -> Char
 bar (X a b) = b
 ```