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