f :: Eq a=> [a] -> Bool
f [] = True
f ls = replicate (length ls) (head ls) == ls

これのこと?