Feldspar.Haskell
class HaskellType a
class HaskellValue a