Right, there's no syntax to specify that only cons...

# announcements

[dalexander]

Right, there's no syntax to specify that only constructable types are acceptable as a type parameter, because with erasure new T() is impossible.