Consider unsealing traits to allow for external implementations.

[kitlith]

People could write their own types that Contain various things instead of just using my cons list/f-list.

tbh this is somewhat close in concept to structural types, and the structural crate, except I use newtypes as the field names, and the cons list structure allows for adding/overriding/removing types.