Here is some useful discussion from Niko about type checking closures: https://youtu.be/41pnkSS6MzY https://hackmd.io/5N94DPFWQwCbjfYPMXFyGA