Quaternion module that is heavy integrated with Data.Vec.