{-# OPTIONS --without-K --safe #-}
module Everything where

import Data.BinOp
import Data.Type