Use simple Command GADT.