mickey is a library for creating type-safe, statically specified objects