{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-}

module A where

import EffectCapabilities

data Cap a = Cap a
instance Capability Cap a