auto implicit args
Compactify ...
Expand effects