Use type-level ifThenElse from base-package (Data.Type.Bool)