Oh/So equivalent for Decidable and Preset, Poset as typeclasses