decompose

Claim

deconstruct

System Tinker ForAdHoc ForBooleanOps ForTypeClasses