purescript-0.7.2.0: examples/failing/UnknownType.purs

-- @shouldFailWith UnknownType
module Main where

import Prelude

test :: Number -> Something
test = {}