1 2 3 4 5
{-# LANGUAGE PartialTypeSignatures, NamedWildcards #-} module NamedExtraConstraintsWildcard where foo :: (Eq a, _a) => a -> a foo = undefined