{-# OPTIONS --type-in-type
    #-}

open import NeilPrelude

module Magma {A : Set}

       (_⊕_ : Op A)

where