Explicitly specify the parameter type.
Explicitly specify the parameter type.

This avoids exponential constraint generation (AFAICT).

rnapier/SwiftCheck,rnapier/SwiftCheck,typelift/SwiftCheck,kykim/SwiftCheck,CodaFi/SwiftCheck,typelift/SwiftCheck,rnapier/SwiftCheck,CodaFi/SwiftCheck,typelift/SwiftCheck,typelift/SwiftCheck,ryanbooker/SwiftCheck,CodaFi/SwiftCheck,CodaFi/SwiftCheck,DanielAsher/SwiftCheck,CodaFi/SwiftCheck,kykim/SwiftCheck,DanielAsher/SwiftCheck,mpurland/SwiftCheck,ryanbooker/SwiftCheck,robrix/SwiftCheck,robrix/SwiftCheck,typelift/SwiftCheck,mpurland/SwiftCheck,mpurland/SwiftCheck