purescript-0.11.0: examples/failing/2567.purs

-- @shouldFailWith NoInstanceFound
module Main where

foo :: Int
foo = (0 :: Fail "This constraint should be checked" => Int)