1 2 3 4 5
{-# LANGUAGE ScopedTypeVariables, PartialTypeSignatures #-} module T10463 where f (x :: _) = x ++ ""