importJava "java.lang.System" where
    nanoTime :: () -> <Pred> Long

main = nanoTime ()
--
2:24-2:28: Didn't find effect constructor Pred.