(define-type S (scalar s1 s2))
(define f1::(-> S S))
(define f2::(-> S S))
(define f3::(-> S S))
(define f4::(-> S S))
(define f5::(-> S S))
(define g::(-> (-> S S) int))
(assert (/= f1 f2))
(assert (/= f1 f3))
(assert (/= f1 f4))
(assert (/= f1 f5))
(assert (/= f2 f3))
(assert (/= f2 f4))
(assert (/= f2 f5))
(assert (/= f3 f4))
(assert (/= (g f3) (g f5)))
(assert (/= (g f4) (g f5)))
(check)