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