module TNoneFunctionWithConstraint where

x :: (Eq a) => a
x = undefined