enhance kind inference
enhance kind inference

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