Serokell’s Work on GHC: Dependent Types, Part 5

I’m surprised/disappointed. This gets rejected:

t42 = Typed (type Int) 42

    Unexpected keyword `type’
    Suggested fix: … `ExplicitNamespaces’ … (implied by …)

If there’s anything that implies that extension, surely it would be RequiredTypeArguments(?) I particularly remember that stipulation in the discussion.