T7805.hs:6:21:
    ‘HigherRank’ of kind ‘*’ is not promotable
    In the kind ‘HigherRank’