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

Failure sum type

Thread-safe static buffer