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