Haskell's type system is clearly political dialectic.