1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE TypeApplications, RankNTypes #-} module ExplicitSpecificity1 where foo :: forall {a}. a -> a foo x = x bar :: () bar = let x = foo @Int 42 in ()