1 2 3 4 5
{-# LANGUAGE ScopedTypeVariables #-} module T7827 where bug :: a -> () bug ((_ :: a) :: a) = ()