An over-shot exploration on how much I can abstract type and still have it be legible