GHC 7.8.2 asks for 'AllowAmbiguousType' in two modules.
Decided to switch from const-functions to 'Tagged', for phantom types.