Started implementing FunafituMonad and Snowden