{- tuple test -}
module Field where

instruction primAdd "addint" :: Int! -> Int! -> Int!

add x y
  = let! x = x 
         y = y
    in primAdd x y


first x = case x of
           (@0,2) a b -> a
           (@1,3) a b c -> a

triple tag a b c  = let! tag = tag in (@tag,3) a b c

main  = add (first (1,2)) (first (triple 1 41 42 43))