msgpack-idl-0.2.0: An IDL Compiler for MessagePack
Language.MessagePack.IDL.Check
check :: Spec -> BoolSource