Logics are able to derive type class instances for function spaces.
Merge ssh://github.com/jesper-bengtson/MirrorCharge