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

bar :: _a -> _a
bar x = not x