--- /dev/null
+import "Prelude" hiding (fromMaybe)\r
+import "Random"\r
+\r
+importJava "org.simantics.scl.compiler.tests.imports.Maybe4Imports" where\r
+ toMaybeDouble :: String -> <Random> Maybe a\r
+\r
+fromMaybe :: a -> Maybe a -> a\r
+fromMaybe _ (Just v) = v\r
+fromMaybe def _ = def\r
+\r
+f x = do\r
+ a = fromMaybe (-1.0) (toMaybeDouble x)\r
+ b = fromMaybe (-1.0) (toMaybeDouble ("1" + x))\r
+ a+b\r
+\r
+main = withSeed 123 (f "2.0")\r
+--\r
+14.0
\ No newline at end of file