{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, DeriveGeneric #-}

module C where

import EffectCapabilities
import GHC.Generics
import A

data CChannel = CChannelV deriving Generic
instance Channel CChannel

capV :: Cap ()
capV = receive CChannelV ()