Proxy (* -> Maybe *) ('Just *)
Proxy * *
Proxy * (TYPE 'UnliftedRep)