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