Any function with type (List a -> List a) returns a list containing only elements in the input list. … QED
Replying to @NathanSmutz
@NathanSmutz @fogus It is my understanding that Argument From Incredulity is a perfectly acceptable method of proof. On Twitter.
10:33 PM - 20 Jan 2015
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.