thoughtpolice

import Data.List

import Data.Foldable
import Data.Traversable
import Control.Applicative
import Control.Monad (ap)

import Prelude.Extras
import Bound

thoughtpolice

{-# LANGUAGE CPP #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE FlexibleInstances #-}
module Intern where

import GHC.Generics (Generic)
import Data.Function (on)

import Data.Hashable