Assertions for Types Defined in Arrow Kt Core LIbrary - View it on GitHub