On Tuesday, 19 January 2021 at 22:31:47 UTC, Paul Backus wrote: > You've almost got it. The correct syntax is `is(T == U[], U)`. > You can read it as "there exists some type U such that T == > U[]". Thanks! Do I need to specify U in the template function?