Added an 'instance Magma ()'.