plai-typed
plai-typed copied to clipboard
Fix typo in foldl docs