module Control.Joint.Abilities.Modulator where

import Control.Joint.Abilities.Transformer (Transformer (Schema))

class Transformer t => Modulator t where
        {-# MINIMAL (-<$>-) #-}
        (-<$>-) :: (u a -> v b) -> Schema t u a -> Schema t v b