Higher-Kinded Data (types for both validated and raw data witho redundancy)

reasonablypolymorphic.com