(import java.lang.System)
(require "./another" as another)

(ann-class java.lang.String)

(ann-class java.io.PrintStream
           methods
           (: println (-> [java.lang.String] Void)))

(ann-class java.lang.System
           fields
           (: out java.io.PrintStream))

(defclass Tagged [[java.lang.String tag] [java.lang.Object value]])

(definterface Function
  (: apply (-> [java.lang.Object] java.lang.Object)))

(defclass Tuple0 [])
(defclass Tuple1 [[java.lang.Object _0]])
(defclass Tuple2 [[java.lang.Object _0] [java.lang.Object _1]])

(def const "IDENTITY")

(def sample (#Tag "value"))

(def (constant x y)
  y)

(def (main args)
  (if true
    (_. (_.. System out) (println ["TRUE" "YOLO"]))
    (_. (_.. System out) (println "FALSE"))))