{-# OPTIONS --cubical-compatible #-}
module Class.Show where
 
open import Class.Show.Core public
open import Class.Show.Instances public