data PhantomType x a = PhantomType a
data PostId
data UserId
type UID = PhantomType UserId Int
type PID = PhantomType PostId Int