ファントムタイプの引数に対してファントムタイプのインスタンスを比較するにはどうすればよいですか？

Question

私は幻の種類があります。その後、a1 < a2MyType a1 < MyType a2場合

newtype MyType a = {getSth :: SthType} 

はどのようにして、すなわち、a1とa2比較の結果に関してMyType a1とMyType a2を比較することができますか？

Answer 1

標準のEqおよびOrdタイプクラスを使用した比較では、比較される両方の値が同じタイプ（ファントムタイプのパラメータを含む）である必要があるため、独自の比較演算子を定義するか、たとえば：

{-# LANGUAGE ExistentialQuantification #-} 

newtype MyType a = MyType { getInt :: Int } 

data SomeType = forall a . SomeType (MyType a) 

instance Eq SomeType where 
    (SomeType (MyType a)) == (SomeType (MyType b)) = a == b 

instance Ord SomeType where 
    compare (SomeType (MyType a)) (SomeType (MyType b)) = compare a b 

test = SomeType a < SomeType b where 
    a :: MyType Char 
    a = MyType 10 

    b :: MyType Float 
    b = MyType 15 

別のオプションを使用すると、任意の定型インスタンスを記述することなく、標準的な比較関数を使用することを可能にするData.Coerceを使用することです。

import Data.Coerce 

test2 :: Bool 
test2 = coerce ((<) :: Int -> Int -> Bool) a b where 
    a :: MyType Char 
    a = MyType 10 

    b :: MyType Float 
    b = MyType 15