Formality is now able to fuse native datatypes (goodbye ugly λ-encodings)reddit.com·3 pts·maiavictor·0