--- /dev/null
+import "JavaBuiltin" as Java\r
+\r
+@JavaType "java.util.Collection"\r
+data Collection a\r
+\r
+@macro\r
+collectionToList :: Collection a -> [a]\r
+collectionToList = Java.unsafeCoerce\r
+\r
+singleton :: a -> Collection a\r
+singleton = Java.staticMethod "java.util.Collections.singletonList"\r
+\r
+main :: [Integer]\r
+main = collectionToList (singleton 15)\r
+--\r
+[15]
\ No newline at end of file