1 import "JavaBuiltin" as Java
\r
3 @JavaType "java.util.Collection"
\r
7 collectionToList :: Collection a -> [a]
\r
8 collectionToList = Java.unsafeCoerce
\r
10 singleton :: a -> Collection a
\r
11 singleton = Java.staticMethod "java.util.Collections.singletonList"
\r
14 main = collectionToList (singleton 15)
\r