Proxy (* -> Maybe *) ('Just *)
Proxy * *
Proxy * (TYPE ('BoxedRep 'Unlifted))