Idris has some weird features, you can specify the interface constraint after a function argument
Replying to @jfdm
it's not so much a feature as a thing that just happens if they're first class...
10:29 AM - 15 Nov 2016
0 replies
0 retweets
2 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.