{-# LANGUAGE NoImplicitPrelude #-}

module Termonad.Prelude
  ( module X
  ) where

import ClassyPrelude as X
import Data.Proxy as X