1 2 3 4 5
{-# LANGUAGE PartialTypeSignatures, NamedWildCards #-} module GenNamed where bar :: _a -> _a bar x = not x