TypeLevel.Reify

data Witness t a

class Reify t a