data MyRecord a = Record
    { field1 :: a
    , field2 :: Int
    }

blah :: (a -> Int) -> a -> MyRecord a
blah f a = Record {field1 = a, field2 = f a}