1 2 3 4 5
{-# LANGUAGE PartialTypeSignatures #-} module SimpleGen where bar :: _ -> Bool bar _ = True