Ally:: -> Ally::Type