{"push_id":541580620,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9680cbccd59095cf55d60b98462af7a82409a63e","before":"48715b78021c99f96d728826b33436a5c6c190d2","commits":[{"sha":"9680cbccd59095cf55d60b98462af7a82409a63e","author":{"email":"76bf5c1b18dc973f7f5ae52470831c47b7e20934@gmail.com","name":"Tenor Biel"},"message":"Add type class and instances for monad transformers","distinct":true,"url":"https://api.github.com/repos/L8D/Idris-dev/commits/9680cbccd59095cf55d60b98462af7a82409a63e"}]}