Magic.Types
type Magic
data MagicFlag