--- /dev/null
+import "Prelude"
+import "SafeDynamic"
+
+a = toSafeDynamic (1 :: Double)
+b = toSafeDynamic (2 :: Integer)
+
+main = do
+ print (fromSafeDynamic a :: Maybe Double)
+ print (fromSafeDynamic a :: Maybe Integer)
+ print (fromSafeDynamic b :: Maybe Double)
+ print (fromSafeDynamic b :: Maybe Integer)
+----
+Just 1.0
+Nothing
+Nothing
+Just 2
+()
\ No newline at end of file