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

{-# LANGUAGE PartialTypeSignatures #-}
module Every where

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