decompose
Claim
deconstruct
System
Tinker
ForAdHoc
ForBooleanOps
ForTypeClasses