Jared Forsyth @jaredforsyth.com · Apr 5 Type inference of mutually recursive values! 6 likes 1 replies ? Reply Replies Jan <3 · Apr 5 What software is this? ^^