3 ms·

And if you want to go really crazy type List = [] List a -> List b

• evincarofautumn 11y ago
  type Function = (->) type On f g a b = f (g a) (g b) {-# LANGUAGE TypeOperators #-} (Function `On` List) a b <_<