{-# LANGUAGE TypeApplications #-}
module ShouldFail where

f x = x@x