since i would rather return a finite type
# codereview
t
since i would rather return a finite type