3 ms·I ended up there too. Nice for theoretical work, bad for practical work. Functor is useful though.by fithisux 3y agoI ended up there too. Nice for theoretical work, bad for practical work. Functor is useful though.