joint-0.1.5: Control/Joint/Abilities/Adaptable.hs

module Control.Joint.Abilities.Adaptable where

import Control.Joint.Core (type (~>))

class Adaptable (subeff :: * -> *) (eff :: * -> *) | subeff -> eff where
	adapt :: subeff ~> eff