Defines the default macro options if no type is supplied.
Defines the default macro options if no type is supplied.
Since you can't have defaults for a type parameter (unless it's a contravariant type, it will default to Nothing), we supply the default via an implicit parameter.