path: root/testsuite/tests/partial-sigs/should_compile/EveryNamed.hs

{-# LANGUAGE PartialTypeSignatures, NamedWildCards #-}
module EveryNamed where

every :: (_a -> Bool) -> [_a] -> Bool
every _ [] = True
every p (x:xs) = p x && every p xs