Type level programming: Dealing with ambiguous type error

jaror:

If all the ArithBlocks have constants as arguments

This is not the case