Main.purs

module Main where

newtype Foo = Foo { module :: String }

-- fine but the syntax highlighter hates it
foo :: Foo
foo = Foo { module: "hi" }

--  also fine but the syntax highlighter hates it
getModule :: Foo -> String
getModule (Foo rec ) = rec.module

-- _not fine_ -- cannot destructure module field
-- getModule :: Foo -> String
-- getModule (Foo { module }) = module