MonadFix for Quaternion
MonadFix for Plucker
MonadFix for Complex