newtype T = MkT Int#

 

Provided T :: # (i.e. unlifted), I don’t think this would be too hard.  That is, you can give a new name (via newtype) to an unlifted type like Int#, Float#, Double# etc.

 

Worth a wiki page and a ticket.