Fixed missing imports#567

armanbilge merged 2 commits intotypelevel:maintypelevel/typelevel.github.com:mainfrom

seblm:mainseblm/typelevel.github.com:mainCopy head branch name to clipboard