Added a workaround for changes in the behavior of the internal 'Magic' datatype under the current GHC PolyKinds implementation.