-importJava "java.lang.System" where\r
- nanoTime :: () -> <Pred> Long\r
-\r
-main = nanoTime ()\r
---\r
+importJava "java.lang.System" where
+ nanoTime :: () -> <Pred> Long
+
+main = nanoTime ()
+--
2:24-2:28: Didn't find effect constructor Pred.
\ No newline at end of file