Type-level programming is still programming

The type level evaluation order is unspecified in GHC (last I checked). It has even varied between releases. That makes it hard to write robust code.