4 ms·
You can actually write the list constructor in prefix form if you like: [] a -> [] b
by evincarofautumn 11y ago
You can actually write the list constructor in prefix form if you like:
[] a -> [] b
- tome 11y agoAnd if you want to go really crazy type List = [] List a -> List b
- evincarofautumn 11y agotype Function = (->) type On f g a b = f (g a) (g b) {-# LANGUAGE TypeOperators #-} (Function `On` List) a b <_<