infinity

generic and type-agnostic infinite type constructor