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

import Data.BinOp
import Data.List.Properties.Ext
import Data.Type
import Data.Type.Properties
import Data.Util