Do we also have tests for construction and deconstruction of partial functions.