Untitled

{-# LANGUAGE GADTs, RecordWildCards #-}

module RU where

f x = x {myField = 3}

g MyRecord {..} = MyRecord {myField = 3}

data MyRecord where
  MyRecord
    :: (Num a) =>
    { myField :: a
    } ->
    MyRecord