HACK: remove --without-K flag to placate termination checker
Explicit instances
Merge branch 'instances'
Remove some other --without-K for agda 2.4.2