TypeApplications
f :: a -> m c
f @Int @[] @String 100
a Int m [] ...



f :: Int -> Int
f :: Int -> Int
f = undefined
result :: Int
result = f @Int 5 -- error









ampbiguous type variable error

main = do
print $ map read ["33", "4"]
print $ show . read $ "42"
TypeApplications使
{-# LANGUAGE TypeApplications #-}
main = do
print $ map (read @Int) ["33", "4"]
print $ show @Int . read $ "42"
TypeApplications使
main = print $ (show :: Int -> String) . read $ "42"