1 2 3 4 5 6
{-# LANGUAGE ScopedTypeVariables #-} module T18740b where import Data.Proxy f (Proxy :: Proxy a) = a