testsuite/tests/dependent/should_fail/T15380.stderr


1
2
3
4
5
6


T15380.hs:16:16: error:
    • Expecting one more argument to ‘To (M x)’
      Expected a type, but ‘To (M x)’ has kind ‘Rep (M x) -> M x’
    • In the type ‘To (M x)’
      In the type family declaration for ‘MDefault’