since this is implemented in terms of bracket I think we can generalize it's algebra so this is more than just a concrete data type