{-# OPTIONS --safe --cubical #-}

module Consumer.Everything where

-- Typechecking this module runs every ff-spartan6 consumer smoke check.
import Consumer