Report question

Question: Is it possible to place inequality constraints on haskell type variables?