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

module A where

import EffectCapabilities
import GHC.Generics
import {-# SOURCE #-} B

data Cap a = Cap a deriving Generic
instance Capability Cap a

instance Send BChannel Cap ()