Allow instantiating unary type classes from a data type.
Record: Allow instantiating with macros.