Puddle Oops@puddleoops.com1wa little look at Absalom, a type family I've been working on since 20231113