Runtime type-checking utilities
GuardGen provides macro that can be used as guard test to generates type-checks.