Has Science gone too far? I just wrote a typeclass called SortedTrifunctor for mapping over all three leaf types in my data family.
Follow
@cyrridven type classes aren't science they're witchcraft and the three leaf types to your trifunctor are the maiden, mother and crone
