How to create a default for a generic parameter of a type?

Question

How would you build a type like the following:

type T = ...

so that you can consume it as T instead of always