Complicated ComplexBasis | |

Complicated QuaternionBasis | |

Complicated QuaternionBasis' | |

Complicated TrigBasis | |

Rig r => Complicated (Complex r) | |

Rig r => Complicated (Quaternion r) | |

Rig r => Complicated (Quaternion' r) | |

Rig r => Complicated (Trig r) | |

Rig r => Complicated (ComplexBasis -> r) | |

Rig r => Complicated (QuaternionBasis -> r) | |

Rig r => Complicated (QuaternionBasis' -> r) | |

Rig r => Complicated (TrigBasis -> r) | |

Rig r => Complicated (:->: ComplexBasis r) | |

Rig r => Complicated (:->: QuaternionBasis r) | |

Rig r => Complicated (:->: QuaternionBasis' r) | |

Rig r => Complicated (:->: TrigBasis r) | |

Complicated a => Complicated (Covector r a) | |