this looks really interesting

love the where blocks and

the data declarations (remind me of scala's case classes) and

the "progressive" type annotation (which mimics the way i use cython + python)

(less appealing, and this is purely subjective of course, is your logo, which seems to have been inspired by malware or perhaps by labels required for toxic chemicals)