Surely there should be a law that says you can't use the same single-letter name for important notation and a variable together in one mathematical expression.

/random (not supposed to be runnable at all)

{-# LANGUAGE FlexibleInstances #-}
class CanBeI t where
    i :: t
 
instance CanBeI (IORef Ideal) where
    i = unsafePerformIO $ newIORef undefined
 
instance CanBeI (Set Point -> Ideal) where
    i pts = asIdeal $ Set.filter (all (== 0) . flip map ($ pts)) allPolynomials
 
wat :: (Ideal -> Set Point) -> IO Ideal
wat v = i . v <$> readIORef i

edit: darn, I wanted to make the title U+1D43C or use that character somewhere but it breaks the SQL. (It really should be a capital I.)

I would make a cynical wisecrack about Unicode handling and PHP and stuff except it sort of breaks MacVim too when your cursor moves on and off the line.

Darn.