On Thursday, 16 June 2022 at 11:40:16 UTC, forkit wrote: > the constraint is optional, just as using meta programming is > optional. It isn't optional if you write libraries that other people depend on. If someone gives your library a type, then you need to deal with that type.