module Control.Joint.Schemes.TU (TU (..)) where

import Control.Joint.Core (type (:.), type (:=))
import Control.Joint.Composition (Composition (Primary, run))

newtype TU t u a = TU (t :. u := a)

instance Composition (TU t u) where
        type Primary (TU t u) a = t :. u := a
        run (TU x) = x