TypeCheck v0.1.2 TypeCheck.Builtin.Guarded View Source