module Palmse.Monoid.Exp (A : Set) where

infix 4 _○_

data Exp : Set where
  _○_ : Exp -> Exp -> Exp
  id  : Exp 
  at  : A -> Exp=