module T20200KG where

checkpointSubstitution :: a