{-# OPTIONS --safe --without-K #-}
module Class.HasHsType where

open import Class.HasHsType.Core public
open import Class.HasHsType.Instances public