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