{-# LANGUAGE UndecidableSuperClasses #-}
module Staged.SOP.Class (
    StagedGeneric (..),
    ) where

import Staged.Commons
import Generics.SOP (Generic,SOP,Code)

class Generic a => StagedGeneric a where
    sto   :: SOP C (Code a) -> TExpQ a
    sfrom :: TExpQ a -> (SOP C (Code a) -> TExpQ r) -> TExpQ r