properly-typed ⚠ Moved! This repo has been moved to @properly-typed namespace and split into separate packages, check it out!