packages feed

aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/DerivingVia/multiple-via-clauses-context-boundary.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE EmptyDataDeriving #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE StarIsType #-}
{-# LANGUAGE TypeOperators #-}
module MultipleViaClausesContextBoundary where

class (a :: *) :+ (b :: Symbol)

data C a
  deriving () via *
  deriving () via (:+) => 'm'