ugh; why do we have refinements on functions now
ugh; why do we have refinements on functions now

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