determine mime type by file extension

Record types!

Record types!

Typechecking based on kinds

Typechecking based on kinds

Sugar for enum's meta-object protocol

produce the common type / role of a list of objects

Grammar and role for metadata entities: data types, column names, schema names, etc.

Failure sum type

Thread-safe static buffer