module FreeVar2 where

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

data Unit = Unit

bind x f = f Unit
return x = x

main = let x = primAdd 96 1
       in let f = \_ -> let g = \_ -> case Unit of Unit -> return 42
                        in bind x g
          in bind x f