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
()