-- @shouldFailWith UnknownType
module Main where

import Prelude

test :: Number -> Something
test = {}