1 2 3 4 5
{-# LANGUAGE NamedWildCards #-} module InstantiatedNamedWildcardsInConstraints where foo :: (Enum _a, _) => _a -> (String, b) foo x = (show (succ x), x)