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