-- @shouldFailWith TypesDoNotUnify
module Main where

oops = "(" ")"