Numeric.Coalgebra.Quaternion
class Distinguished t
class Complicated r
class Hamiltonian t
data QuaternionBasis'
data Quaternion' a
complicate'
vectorPart'
scalarPart'