Three package:Agda

Tools for 3-way partitioning.
Enum type with 3 elements.