{-# LANGUAGE TypeFamilies #-} module Classes.ToDatabase where import Data.Kind (Type) class ToDatabase a where type InTuple a :: Type toDatabase :: a -> InTuple a