Можно ли установить ограничение неравенства на typevariables для функции, la foo :: (a ~ b) => a -> b
, как в GHC тип docs, за исключением неравенство, а не равенство?
Я понимаю, что, возможно, нет прямого способа сделать это (поскольку документы ghc не перечисляют никаких моих знаний), но я был бы почти озадачен, если бы это не было возможно каким-либо образом в свете всех экзотический тип-фу, к которому я был подвергнут.