import FFI
import Prelude

newtype MyInteger = MyInteger Int

x = case MyInteger undefined of
      MyInteger _ -> 1

y = case undefined of
      MyInteger _ -> 1

int :: Int
int = undefined

yInt = case int of
         _ -> 1

data Foo = Bar { bar :: Double }
newtype Baz = Baz { unwrapBaz :: Foo }

getBaz :: Fay Baz
getBaz = ffi "{ instance: 'Bar', bar: 1 }"

main = do
    print x
    print y
    print yInt
    print (Baz (Bar 1))
    baz <- getBaz
    print baz
    case baz of
      Baz (Bar i) -> print i
    print (bar $ unwrapBaz baz)