simplifying Lambdatiny even more to find the cycles
simplifying Lambdatiny even more to find the cycles

rolph-recto/liquidhaskell,rolph-recto/liquidhaskell,spinda/liquidhaskell,spinda/liquidhaskell,mightymoose/liquidhaskell,abakst/liquidhaskell,mightymoose/liquidhaskell,abakst/liquidhaskell,rolph-recto/liquidhaskell,rolph-recto/liquidhaskell,spinda/liquidhaskell,Kyly/liquidhaskell,mightymoose/liquidhaskell,mightymoose/liquidhaskell,Kyly/liquidhaskell,spinda/liquidhaskell,Kyly/liquidhaskell,mightymoose/liquidhaskell,abakst/liquidhaskell,mightymoose/liquidhaskell,rolph-recto/liquidhaskell,rolph-recto/liquidhaskell,abakst/liquidhaskell,abakst/liquidhaskell,Kyly/liquidhaskell,Kyly/liquidhaskell,Kyly/liquidhaskell,spinda/liquidhaskell,spinda/liquidhaskell,abakst/liquidhaskell