{-# OPTIONS --without-K --safe #-}

module Fragment.Examples.CSemigroup.Types where