hlint fixes; add test for infinite type