isInfinite package:Agda