Admitted type class instances for BILogic to get around universe
inconsistencies.