" Languages like Agda can do this even more impressively. You can do stuff like write
if_then_else_ : Bool -> a -> a -> a
And you can split up the "if", "then", and "else" and put the arguments where the underscores are. "
![[Home]](http://www.bayleshanks.com/cartoonbayle.png)
