Handle the case ((forall a. ...) -> type) -> result correctly. Allow to expr instead of only binex for patterns.
Handle the case ((forall a. ...) -> type) -> result correctly.
Allow to expr instead of only binex for patterns.

ppelleti/frege,sjfloat/frege,vsts/frege,vsts/frege,oppai/frege,vsts/frege,mperry/frege,ppelleti/frege,scrotty/frege,mperry/frege,oppai/frege,scrotty/frege,oppai/frege,sjfloat/frege,ppelleti/frege,sjfloat/frege,mperry/frege,scrotty/frege