Control.Monad.Wiring

class Wirable a b