Numeric.Coalgebra.Quaternion

class Distinguished t

class Complicated r

class Hamiltonian t

data QuaternionBasis'

data Quaternion' a

complicate'

vectorPart'

scalarPart'