Parse a mime.types file, and query the results
Sugar for enum's meta-object protocol
Typechecking based on kinds
Record types!
Failure sum type