typesafe-precure-0.2.0.0: Type-safe transformations and purifications of PreCures (Japanese Battle Heroine)