-- action: gen -- outcome: success a = "Heck" () -> a () -> a