Tribit2 - without dependent types