With this Main.purs (excluding imports):
Main.purs
main :: Effect Unit main = pure foo foo :: Unit foo = trace "foo" (\\_ -> unit)