Oooh!!! It would be super cool to see something Activitypub in LiquidHaskell! Anyway, I think the thing I miss most when writing in OCaml is the lack of ergonomic metaprogramming support... writing macros takes sooo much time!