newtype MyRecord a = Record
    { field1 :: a
    }

blah :: (a -> Int) -> a -> MyRecord a
blah _ = Record