Sorry für die Frage als möglicherweise dumme Frage, aber zurück zu Haskell, um einige Konvertierung von einem Datenbank-Paket zu einem anderen zu tun, finde ich mich ein wenig verwirrt darüber, wie ma
Offenbar ein wenig abwesend, schrieb ich something like folgendes: {-# LANGUAGE ConstraintKinds #-}
{-# LANGUAGE TypeFamilies #-}
class Foo f where
type Bar f :: *
retbar :: Bar f -> IO