it is an error if a pattern binding has no variables
it is an error if a pattern binding has no variables

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