Derive Direction and Action ADTs from Show type class