Merge pull request #148 from int-index/no-star
authorLennart Kolmodin <kolmodin@gmail.com>
Thu, 7 Jun 2018 19:58:05 +0000 (21:58 +0200)
committerGitHub <noreply@github.com>
Thu, 7 Jun 2018 19:58:05 +0000 (21:58 +0200)
Don't use * as Type in the presence of TypeOperators


Trivial merge