{-# LANGUAGE PartialTypeSignatures #-}
module SimpleGen where

bar :: _ -> Bool
bar _ = True