{-# LANGUAGE PartialTypeSignatures #-} module T11399a where bar :: _ (bar) = id