That laziness isn't so smart when it comes time to write all the tests to check ...

		dboreham on Sept 10, 2021 \| parent \| context \| favorite \| on: An Introduction to Type Level Programming in Haske... That laziness isn't so smart when it comes time to write all the tests to check there won't be runtime exceptions due to treating values as the wrong type.