TypeCheck v0.3.1 TypeCheck.Builtin.Guarded View Source