cacd245a ^
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
* Something about foo @ foo :: a -> b -> c foo a b = bar c b @ * Something about bar @ bar :: a -> b -> c bar a b = foo b a @ * And then we continue