```
abstract type MM{T} end
capture(::Type{MM{T}}) where T = T
capture(MM{Int})
Int64
julia> const CMM{C} = MM{T} where T<:C
MM{T} where T<:C where C
julia> capture(::Type{CMM{T}}) where T = T
capture (generic function with 2 methods)
julia> capture(CMM{Int})
ERROR: UndefVarError: T not defined
Stacktrace:
[1] capture(::Type{MM{T} where T<:Int64}) at ./REPL[5]:1
[2] top-level scope at REPL[6]:1
```

The second one doesn’t work? Is there a way to capture Int in the second example?

Thanks