Gibt es eine Standardimplementierung der "trivialen Einschränkung" oder "Objektklasse"?

Question

Ich will nur

class Trivial t 
instance Trivial t 

Das ist natürlich nutzlos in Haskell 98, da Sie nur die Einschränkung weglassen; aber mit ConstraintKinds können wir explizit benötigte Argumente der Art * -> Constraint haben. Idealerweise würde ich das gerne als "anonyme Typ-Level-Funktion" definieren, \type a ->(), aber das ist offensichtlich nicht möglich.

Was soll ich tun, etwas vordefiniertes verwenden oder die Klasse lokal genau dort definieren, wo ich sie brauche (da niemand auf sie zugreifen muss, weil die Instanz universell ist, scheint das auch ganz gut zu sein)?

Answer 1

Da dies scheint ziemlich populär zu sein, habe ich endlich eine solche trivial-Constraint-Klasse to a Hackage package geschoben.

import Data.Constraint.Trivial 

id' :: Unconstrained t => t -> t 
id' = id