-- @shouldFailWith TypesDoNotUnify
module Main where

import Prelude

test = 1 ++ "A"