diff --git a/1/euler1.rkt b/1/euler1.rkt
index 8b116df..954be5f 100644
--- a/1/euler1.rkt
+++ b/1/euler1.rkt
@@ -1,10 +1,7 @@
-#lang racket
+#lang typed/racket
 
-(define (multiples limit)
-  (foldl + 0 (filter (lambda (x) (cond
-                      [(= 0 (remainder x 3)) #t]
-                      [(= 0 (remainder x 5)) #t]
-                      (else #f)))
-        (range limit))))
-
-(multiples 1000)
\ No newline at end of file
+(foldl (λ ((x : Nonnegative-Integer)
+           (y : Nonnegative-Integer))
+         (if (or (zero? (remainder x 3))
+                 (zero? (remainder x 5)))
+             (+ x y) y)) 0 (range 1 1000))
\ No newline at end of file