priority-sync-0.2.1.0: PrioritySync/Internal/UserData.hs

{-# LANGUAGE TypeFamilies #-}
module PrioritySync.Internal.UserData
    (UserData)
    where

type family UserData u :: *

type instance UserData [u] = UserData u
type instance UserData (c,m) = UserData c