kframework/k — pull request #1171 by cos (2014-11-12 00:05:11+00:00)
Title: abstract `map` better

**please review** @dwightguth, @osa1