namespace: Kdyby -> ADT