module { export = [main] } import "Prelude" data Path = EmptyPath | ConsPath String Path showR :: Path -> String showR EmptyPath = "@" showR (ConsPath h EmptyPath) = h showR (ConsPath h t) = "\(h)-\(showR t)" main = "Hello world!" -- Hello world!