@hackage free-theorems dependencies

6 results