Network.Pushbullet.Internal.Reflection

type family Demote' (p :: KProxy k) :: k -> *

type Demote a

type Reflected a

class Reflect a

data KProxy t