purescript-0.7.2.0: examples/failing/ArrayType.purs

-- @shouldFailWith TypesDoNotUnify

module Main where

import Prelude
import Control.Monad.Eff.Console

bar :: Number -> Number -> Number
bar n m = n + m

foo = x `bar` y
  where
  x = 1
  y = []