1 2 3 4 5
{-# LANGUAGE PartialTypeSignatures, NamedWildCards #-} module NamedTyVar where foo :: (_a, b) -> (a, _b) foo (x, y) = (x, y)