chad-fast/src/CHAD/AST.hs-boot, branch user-types

chad-fast/src/CHAD/AST.hs-boot, branch user-types An implementation of CHAD, towards performance https://git.tomsmeding.com/chad-fast/atom?h=user-types 2025-11-27T20:30:17Z WIP user-specified custom types 2025-11-27T20:30:17Z Tom Smeding tom@tomsmeding.com 2025-11-27T20:30:17Z urn:sha1:20f7d7be13cd7869b338f98d1ab3fd33e8bbfb3e The big roadblock encountered is that accumulation wants addition of monoids to be elementwise float addition; this fundamentally clashes with the concept of a user type with a custom zero and plus.