/lib/rich_types/