@@ -242,10 +242,10 @@ newtype MultipleErrors = MultipleErrors
242242 { runMultipleErrors :: [ErrorMessage] } deriving (Show, Monoid)
243243
244244instance UnificationError Type MultipleErrors where
245− occursCheckFailed = occursCheckFailed
245+ occursCheckFailed t = MultipleErrors [occursCheckFailed t]
246246
247247instance UnificationError Kind MultipleErrors where
248− occursCheckFailed = occursCheckFailed
248+ occursCheckFailed k = MultipleErrors [occursCheckFailed k]
249249
250250-- | Check whether a collection of errors is empty or not.
251251nonEmpty :: MultipleErrors -> Bool