tree 76e4e914e5f323fe340db4696e48988e9ad81d45
parent 76de51c3465ce27d694c54479da65ee7500e347f
author iarkh <irina.arkhipets@gmail.com> 1564197455 +0700
committer iarkh <irina.arkhipets@gmail.com> 1564197455 +0700

Fixed Issue #435: got rid of higher order type variables.