| Complicated ComplexBasis | |
| Complicated QuaternionBasis | |
| Complicated QuaternionBasis' | |
| Complicated TrigBasis | |
| (Distinguished (Complex r), Rig r) => Complicated (Complex r) | |
| (Distinguished (Quaternion r), Rig r) => Complicated (Quaternion r) | |
| (Distinguished (Quaternion' r), Rig r) => Complicated (Quaternion' r) | |
| (Distinguished (Trig r), Rig r) => Complicated (Trig r) | |
| (Distinguished (ComplexBasis -> r), Rig r) => Complicated (ComplexBasis -> r) | |
| (Distinguished (QuaternionBasis -> r), Rig r) => Complicated (QuaternionBasis -> r) | |
| (Distinguished (QuaternionBasis' -> r), Rig r) => Complicated (QuaternionBasis' -> r) | |
| (Distinguished (TrigBasis -> r), Rig r) => Complicated (TrigBasis -> r) | |
| (Distinguished (:->: ComplexBasis r), Rig r) => Complicated (:->: ComplexBasis r) | |
| (Distinguished (:->: QuaternionBasis r), Rig r) => Complicated (:->: QuaternionBasis r) | |
| (Distinguished (:->: QuaternionBasis' r), Rig r) => Complicated (:->: QuaternionBasis' r) | |
| (Distinguished (:->: TrigBasis r), Rig r) => Complicated (:->: TrigBasis r) | |
| (Distinguished (Covector r a), Complicated a) => Complicated (Covector r a) | |