Monadify iface/BuildTyCl: use return