{-# OPTIONS --without-K #-}
module Class.Show where

open import Class.Show.Core public
open import Class.Show.Instances public