foo :: a -> a -> a
arg1
{-,arg2,arg3,arg4 -} :: a
-> a
-> Bool
test = foo arg1 arg2 arg3 arg4
Zm9vIDo6IGEgLT4gYSAtPiBhCmZvbyA9IHVuZGVmaW5lZAoKYXJnMSB7LSxhcmcyLGFyZzMsYXJnNCAtfSA6OiBhIC0+IGEgLT4gQm9vbAoKYXJnMSA9IHVuZGVmaW5lZAphcmcyID0gdW5kZWZpbmVkCmFyZzMgPSB1bmRlZmluZWQKYXJnNCA9IHVuZGVmaW5lZAoKdGVzdDo6IEJvb2wKdGVzdCA9IGZvbyBhcmcxIGFyZzIgYXJnMyBhcmc0CgptYWluIDo6IElPICgpCm1haW4gPSBwdXRTdHJMbiAib2siCg==