path: root/testsuite/tests/typecheck/should_fail/T11313.hs

{-# LANGUAGE TypeApplications #-}

module T11313 where

import Data.Kind

x = fmap @ (*)

-- test error message output, which was quite silly before