Module Quaternions

module Q : sig ... end