-- @shouldFailWith CannotFindDerivingType
module Main where

import Prelude

type Something = Int

derive instance eqSomething ∷ Eq Something