open import MJ.Types open import MJ.Classtable module MJ.Syntax {c}(Σ : Classtable c) where open import MJ.Syntax.Typed Σ public