{-# 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