This is a collection of C Macros to put together abstract data types and pattern matching similar to that found in functional programming languages like Haskell and SML.