{-# LANGUAGE DeriveFoldable #-} automatic typeclass derivation

DeriveAnyClass is a red herring. It will simply create empty instances. This only works for typeclasses that have default methods everywhere.

Allowing DeriveFoldable doesn’t seem that unreasonable, I think it might just be an oversight that it’s not allowed atm.

2 Likes