/hoogle-test/src/Bug825/

• ../
• Bug825.hs