GHC 7.10.2 RC cannot build HList-0.4.0.0

Another Stackage find:

http://lpaste.net/135061

Data/HList/Record.hs:575:10:
    Illegal instance declaration for ‘HasFieldM l (r xs) v’
      The liberal coverage condition fails in class ‘HasFieldM’
        for functional dependency: ‘l r -> v’
      Reason: lhs types ‘l’, ‘r xs’ do not jointly determine rhs type ‘v’
    In the instance declaration for ‘HasFieldM l (r xs) v’

Data/HList/Record.hs:587:10:
    Illegal instance declaration for
      ‘HasField l (Record (Tagged l1 v1 : r)) v’
      The liberal coverage condition fails in class ‘HasField’
        for functional dependency: ‘l r -> v’
      Reason: lhs types ‘l’, ‘Record (Tagged l1 v1 : r)’
        do not jointly determine rhs type ‘v’
    In the instance declaration for
      ‘HasField l (Record (Tagged l1 v1 : r)) v’

Data/HList/Record.hs:646:10:
    Illegal instance declaration for ‘HDeleteAtLabel Record l v v'’
      The liberal coverage condition fails in class ‘HDeleteAtLabel’
        for functional dependency: ‘l v -> v'’
      Reason: lhs types ‘l’, ‘v’ do not jointly determine rhs type ‘v'’
    In the instance declaration for ‘HDeleteAtLabel Record l v v'’

Data/HList/Record.hs:723:10:
    Illegal instance declaration for
      ‘HUpdateAtLabel2 l v (Tagged l' e : xs) xs'’
      The liberal coverage condition fails in class ‘HUpdateAtLabel2’
        for functional dependency: ‘l r v -> r'’
      Reason: lhs types ‘l’, ‘Tagged l' e : xs’, ‘v’
        do not jointly determine rhs type ‘xs'’
    In the instance declaration for
      ‘HUpdateAtLabel2 l v (Tagged l' e : xs) xs'’

Trac metadata

Trac field	Value
Version	7.10.2-rc1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture

changed milestone to %7.10.2

changed weight to 5

added Tbug Trac import labels

changed weight to 7

Setting priority to high since it is a regression (or a change, at least) since 7.10.1.

Probably relevant is that the type classes involved are polykinded; I got too confused trying to work out the interaction between functional dependencies and polykinds to determine whether the program should be accepted or not.

Trac metadata

Trac field	Value
Priority	normal → high

mentioned in commit 7c07cf16

added 1 deleted label

closed

Merged to ghc-7.10.

Trac metadata

Trac field	Value
Resolution	Unresolved → ResolvedFixed

removed 1 deleted label

added FunctionalDependencies label

added Phigh label