Rough types + Konachan parser