haskell - デフォルトの制約の種類は無視されます

Question

デフォルトの制約を定義するときに奇妙な問題が発生しました。制約が単位の場合、デフォルトのインスタンスは選択されません。他のすべての場合、期待どおりに機能します。

{-# LANGUAGE TypeFamilies, ConstraintKinds #-}
import qualified GHC.Exts as E

class Expression a where
  type Constr a v :: E.Constraint
  --type Constr a v = ()         -- with this line compilation fails
  --type Constr a v = v ~ v      -- compiles
  wrap :: Constr a v => a -> Maybe v

instance Expression () where
  wrap () = Just undefined

main = print (wrap () :: Maybe Int)

誰かがタイプチェッカーの動作の理由を明確にすることができますか？

Answer 1

本当の答えではありませんが、これはConstraintKinds

class Expression a where
   type Type a v
   type Type a v = ()
   wrap :: (Type a v) ~ () => a -> Maybe v

instance Expression () where
   wrap () = Just undefined

main = print (wrap () :: Maybe Int)

コンパイルされませんが、

class Expression a where
   type Type a v
   type Type a v = v
   wrap :: (Type a v) ~ v => a -> Maybe v

instance Expression () where
   wrap () = Just undefined

main = print (wrap () :: Maybe Int)

します

Answer 2

これは、7.4.1の関連するタイプのデフォルトのバグです。数週間前、＃haskellで修正された既知のバグであると言われましたが、GHCトラックでその言及を見つけることができません。